• Suche: "COMPUTER PROGRAM VERIFICATION"

Treffer 1 - 20 von 3.530

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
Zu den Favoriten
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
Zu den Favoriten
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
Zu den Favoriten
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
Zu den Favoriten
5

Flexible and configurable verification policies with Omnibus
Wilson, Thomas ; Maharaj, Savi ; Clark, Robert ; et al.
Software & Systems Modeling. 7:257-272

Omnibus (Computer progra... 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences Computer program Verific...
Fachzeitschrift
Zu den Favoriten
6

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
Zu den Favoriten
7

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
Zu den Favoriten
8

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
Zu den Favoriten
9

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
Zu den Favoriten
10

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
Zu den Favoriten
11

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
Zu den Favoriten
12

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
Zu den Favoriten
13

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
Zu den Favoriten
14

Design Concepts for Automating Maintenance Instructions
Badler, Norman I ; Erignac, Charles A ; McDonald, Patrick Vincent ; et al.

aircraft maintenance Databases and Informatio... data acquisition Computer Sciences 9. Industry and infrastr... air force personnel …
Report
Zu den Favoriten
15

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
Zu den Favoriten
16

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
Zu den Favoriten
17

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
Zu den Favoriten
18

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
Zu den Favoriten
19

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
Zu den Favoriten
20

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
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter