• Suche: "COMPUTER PROGRAM VERIFICATION"

Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 20 von 1.883

1

Program Verification: Vision and Reality.
Vardi, Moshe Y.
Communications of the ACM. Jul2021, Vol. 64 Issue 7, p5-5. 1p.

COMPUTER software COMPUTER programming COST effectiveness PARALLEL computer progra... MACHINE learning
Zeitschrift
Zur Merkliste hinzufügen
2

Query verification schemes for cloud-hosted databases: a brief survey.
Riaz-ud-Din, Faizal ; Zhou, Wanlei ; Doss, Robin
International Journal of Parallel, Emergent & Distributed Systems. Dec2016, Vol. 31 Issue 6, p543-561. 19p.

PARALLEL computer progra... CLOUD computing DATABASES WEB hosting COMPUTER software
Fachzeitschrift
Zur Merkliste hinzufügen
3

Formalization of a Parameterized Parallel Adder within the Coq Theorem Prover.
Gang Chen
IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Jan2010, Vol. 29 Issue 1, p149-153. 5p. 1 Graph.

PARAMETER estimation INTEGRATED circuits PARALLEL computer progra... COMPUTER arithmetic FORMAL methods (Computer...
Fachzeitschrift
Zur Merkliste hinzufügen
4

On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
Barnat, Jiří ; Brim, Luboš ; Ročkai, Petr
Science of Computer Programming. Oct2012, Vol. 77 Issue 12, p1272-1288. 17p.

PARALLEL computer progra... MATHEMATICAL models ALGORITHMS SCALABILITY PROBLEM solving MACHINE theory
Fachzeitschrift
Zur Merkliste hinzufügen
5

Verifying Programs Using Abstraction and Theorem Proving.
Junyan Qian ; Baowen Xu
International MultiConference of Engineers & Computer Scientists 2007 (Volume 1). 2007, p1044-1049. 6p. 1 Chart.

Automatic theorem provin... Abstract thought Software verification Parallel computer progra... Computer software
Buch
Zur Merkliste hinzufügen
6

Non-intrusive parallelization of multibody system dynamic simulations.
González, Francisco ; Luaces, Alberto ; Lugrís, Urbano ; et al.
Computational Mechanics; Oct2009, Vol. 44 Issue 4, p493-504, 12p, 3 Diagrams, 4 Charts, 4 Graphs

MULTIBODY systems ELECTRONIC systems PARALLEL computer progra... SPARSE matrices NUMERICAL analysis
Fachzeitschrift
Zur Merkliste hinzufügen
7

Fingerprint verification using ridge direction distribution and minutiae correspondence.
Wakahara, Toru ; Kimura, Yoshimasa ; Suzuki, Akira ; et al.
Systems & Computers in Japan. 3/1/2007, Vol. 38 Issue 3, p72-82. 11p. 1 Black and White Photograph, 1 Chart, 1 Graph.

Human fingerprints Anthropometry Imaging systems Combinatorics Parallel computer progra... Software verification
Fachzeitschrift
Zur Merkliste hinzufügen
8

9th Annual Review of Progress in Applied Computational Electromagnetics at the Naval Postgraduate School, Monterey, CA, March 22-26, 1993, Conference Proceedings
Office of University Communications

software engineering electromagnetic scatteri... antenna radiation patter... computerized simulation electromagnetic fields symposia …
Konferenz
Zur Merkliste hinzufügen
9

Stochastic Modelling of Communication Protocols from Source Code
Smith, Michael J.A.
ENTCS: Electronic Notes in Theoretical Computer Science. Sep2007, Vol. 190 Issue 3, p129-145. 17p.

Source code Parallel computer progra... Stochastic processes Linear algebra Integer programming
Zeitschrift
Zur Merkliste hinzufügen
10

Resolving the Discrepancy of Distance to M60, a Giant Elliptical Galaxy in Virgo.
Myung Gyoon Lee ; In Sung Jang
Astrophysical Journal. 5/20/2017, Vol. 841 Issue 1, p1-1. 1p.

HUBBLE Space Telescope (... PARALLEL computer progra... PHOTOMETRY STELLAR luminosity funct... ELLIPTICAL galaxies
Fachzeitschrift
Zur Merkliste hinzufügen
11

FORMAL MODELING, MONITORING, AND CONTROL OF EMERGENCE IN DISTRIBUTED CYBER PHYSICAL SYSTEMS
Johnson,Taylor T ; University of Texas at Arlington Arlington United States

Computer Programming and... Computer Systems Managem... MACHINE LEARNING AUTONOMOUS MACHINE BEHAV... MULTIAGENT SYSTEMS DRONES …
Fachzeitschrift
Zur Merkliste hinzufügen
12

A library of failure regions
Shimeall, Timothy J. ; Computer Science (CS) ; Naval Postgraduate School (U.S.) ; et al.

Software Testing Software Experiments Failure Conditions Reachability Error Generation Error Propagation …
Report
Zur Merkliste hinzufügen
13

SECURE MATHEMATICALLY- ASSURED COMPOSITION OF CONTROL MODELS
Cofer,Darren ; Backes,John ; Gacek,Andrew ; et al.

Computer Programming and... Computer Systems Managem... denial of service attack cyberattacks computer access control COMPUTER PROGRAM VERIFIC... …
Fachzeitschrift
Zur Merkliste hinzufügen
14

Verified compilation of Concurrent Managed Languages
Jagannathan,Suresh ; Vitek,Jan ; Purdue University West Lafayette United States

Computer Programming and... COMPUTER PROGRAM VERIFIC... methodology PROGRAMMING LANGUAGES reasoning Program verification …
Fachzeitschrift
Zur Merkliste hinzufügen
15

TEAMBLOCKS: HYBRID ABSTRACTIONS FOR PROVABLE MULTI-AGENT AUTONOMY
Kingston,Peter ; Martin,Patrick ; BAE Systems AIT Burlington United States

Computer Programming and... MULTIAGENT SYSTEMS COMPUTER PROGRAM VERIFIC... differential equations computer simulations unmanned underwater vehi... …
Fachzeitschrift
Zur Merkliste hinzufügen
16

Kleene Algebra and Bytecode Verification
Kozen,Dexter ; Kot,Lucja ; Cornell University Ithaca United States

COMPUTER PROGRAM VERIFIC... java programming languag... transfer functions BYTECODE STATIC ANALYSIS ABSTRACT INTERPRETATION …
Fachzeitschrift
Zur Merkliste hinzufügen
17

Information Flow Integrity for Systems of Independently-Developed Components
Jaeger, Trent ; Ganapathy, Vinod ; Jha, Somesh ; et al.
DTIC

Computer Programming and... Computer Systems Managem... COMPUTER ACCESS CONTROL COMPUTER NETWORK SECURIT... COMPUTER PROGRAMS COMPUTER PROGRAM VERIFIC... …
Fachzeitschrift
Zur Merkliste hinzufügen
18

Compositional Verification with Abstraction, Learning, and SAT Solving
Komuravelli, Anvesh ; CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE
DTIC

Statistics and Probabili... Computer Programming and... Computer Systems OPERATING SYSTEMS(COMPUT... REASONING SCALE MODELS …
Fachzeitschrift
Zur Merkliste hinzufügen
19

Crema
Reilly, Karen ; Torrey, Jacob ; Frank, Jared ; et al.
DTIC

Computer Programming and... Computer Systems Managem... C PROGRAMMING LANGUAGE COMPUTER PROGRAM VERIFIC... COMPUTER NETWORK SECURIT... DEBUGGING(COMPUTERS) …
Fachzeitschrift
Zur Merkliste hinzufügen
20

Advanced Development of Certified OS Kernels
Shao, Zhong ; YALE UNIV NEW HAVEN CT
DTIC

Computer Programming and... Computer Systems COMPUTER LOGIC COMPUTER PROGRAM VERIFIC... KERNEL FUNCTIONS SOFTWARE ENGINEERING …
Fachzeitschrift
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter