Výsledky vyhledávání - "COMPUTER PROGRAM VERIFICATION"

Program Verification: Vision and Reality.

Autoři: Vardi, Moshe Y.¹ vardi@cs.rice.edu

Zdroj: Communications of the ACM. Jul2021, Vol. 64 Issue 7, p5-5. 1p.

Témata: *COMPUTER software, *COMPUTER programming, *COST effectiveness, PARALLEL computer program verification, MACHINE learning

Query verification schemes for cloud-hosted databases: a brief survey.

Autoři: Riaz-ud-Din, Faizal Zhou, Wanlei Doss, Robin

Zdroj: International Journal of Parallel, Emergent & Distributed Systems. Dec2016, Vol. 31 Issue 6, p543-561. 19p.

Témata: *PARALLEL computer program verification, *CLOUD computing, *DATABASES, *WEB hosting, *COMPUTER software

Formalization of a Parameterized Parallel Adder within the Coq Theorem Prover.

Autoři: Gang Chen¹ gang.chen@lingcore.com

Zdroj: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Jan2010, Vol. 29 Issue 1, p149-153. 5p. 1 Graph.

Témata: *PARAMETER estimation, *INTEGRATED circuits, PARALLEL computer program verification, COMPUTER arithmetic, FORMAL methods (Computer science)

On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties

Autoři: Barnat, Jiří Brim, Luboš Ročkai, Petr

Zdroj: Science of Computer Programming. Oct2012, Vol. 77 Issue 12, p1272-1288. 17p.

Témata: *PARALLEL computer program verification, *MATHEMATICAL models, *ALGORITHMS, *SCALABILITY, *PROBLEM solving, *MACHINE theory

Flexible and configurable verification policies with Omnibus

Autoři: Wilson, Thomas Maharaj, Savi Clark, Robert a další

Přispěvatelé: Wilson, Thomas Maharaj, Savi Clark, Robert a další

Zdroj: Software & Systems Modeling. 7:257-272

Témata: Omnibus (Computer program language), 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computer program Verification

Popis souboru: application/pdf

Přístupová URL adresa: http://dspace.stir.ac.uk/bitstream/1893/3679/1/WilsonMaharajClark.pdf
https://link.springer.com/10.1007/s10270-007-0060-1
https://link.springer.com/article/10.1007%2Fs10270-007-0060-1
https://dspace.stir.ac.uk/bitstream/1893/3679/1/WilsonMaharajClark.pdf
https://dblp.uni-trier.de/db/journals/sosym/sosym7.html#WilsonMC08
https://dspace.stir.ac.uk/handle/1893/3679

Verifying Programs Using Abstraction and Theorem Proving.

Autoři: Junyan Qian Baowen Xu

Zdroj: International MultiConference of Engineers & Computer Scientists 2007 (Volume 1). 2007, p1044-1049. 6p. 1 Chart.

Témata: Automatic theorem proving, Abstract thought, Software verification, Parallel computer program verification, Computer software

Non-intrusive parallelization of multibody system dynamic simulations.

Autoři: González, Francisco Luaces, Alberto Lugrís, Urbano a další

Zdroj: Computational Mechanics; Oct2009, Vol. 44 Issue 4, p493-504, 12p, 3 Diagrams, 4 Charts, 4 Graphs

Témata: MULTIBODY systems, ELECTRONIC systems, PARALLEL computer program verification, SPARSE matrices, NUMERICAL analysis

Fingerprint verification using ridge direction distribution and minutiae correspondence.

Autoři: Wakahara, Toru Kimura, Yoshimasa Suzuki, Akira a další

Zdroj: Systems & Computers in Japan. 3/1/2007, Vol. 38 Issue 3, p72-82. 11p. 1 Black and White Photograph, 1 Chart, 1 Graph.

Témata: Human fingerprints, Anthropometry, Imaging systems, Combinatorics, Parallel computer program verification, Software verification

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

Přispěvatelé: Office of University Communications

Témata: software engineering, electromagnetic scattering, antenna radiation patterns, computerized simulation, electromagnetic fields, symposia, neural nets, finite element analysis, integrated circuits, radar cross sections, electromagnetic interference, computer graphics, data displays, computer program verification, method of moments, electromagnetic compatibility

Popis souboru: application/pdf

Relation: https://hdl.handle.net/10945/45291

Dostupnost: https://hdl.handle.net/10945/45291

Stochastic Modelling of Communication Protocols from Source Code

Autoři: Smith, Michael J.A.¹ M.J.A.Smith@sms.ed.ac.uk

Zdroj: ENTCS: Electronic Notes in Theoretical Computer Science. Sep2007, Vol. 190 Issue 3, p129-145. 17p.

Témata: Source code, Parallel computer program verification, Stochastic processes, Linear algebra, Integer programming

Resolving the Discrepancy of Distance to M60, a Giant Elliptical Galaxy in Virgo.

Autoři: Myung Gyoon Lee In Sung Jang

Zdroj: Astrophysical Journal. 5/20/2017, Vol. 841 Issue 1, p1-1. 1p.

Témata: *PARALLEL computer program verification, *PHOTOMETRY, *STELLAR luminosity function, *ELLIPTICAL galaxies

Korporace: HUBBLE Space Telescope (Spacecraft)

FORMAL MODELING, MONITORING, AND CONTROL OF EMERGENCE IN DISTRIBUTED CYBER PHYSICAL SYSTEMS

Autoři: Johnson,Taylor T University of Texas at Arlington Arlington United States

Přispěvatelé: Johnson,Taylor T University of Texas at Arlington Arlington United States

Témata: Computer Programming and Software, Computer Systems Management and Standards, MACHINE LEARNING, AUTONOMOUS MACHINE BEHAVIOR, MULTIAGENT SYSTEMS, DRONES, SATELLITE CONSTELLATIONS, VULNERABILITY, COMPUTER SECURITY, COMPUTER PROGRAM VERIFICATION, CONTROL SYSTEMS, CYBERATTACKS, Formal methods, emergent behavior, DCPS (distributed cyber-physical systems)

Popis souboru: text/html

Relation: http://www.dtic.mil/docs/citations/AD1047510

Dostupnost: http://www.dtic.mil/docs/citations/AD1047510
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=AD1047510

SECURE MATHEMATICALLY- ASSURED COMPOSITION OF CONTROL MODELS

Autoři: Cofer,Darren Backes,John Gacek,Andrew a další

Přispěvatelé: Cofer,Darren Backes,John Gacek,Andrew a další

Témata: Computer Programming and Software, Computer Systems Management and Standards, denial of service attack, cyberattacks, computer access control, COMPUTER PROGRAM VERIFICATION, software development, control systems engineering, system software, operating systems, debugging, computer security, Cybersecurity, software assurance, formal methods, smaccm(Secure Mathematically-Assured Composition of Control Models), manag, archi

Relation: http://www.dtic.mil/docs/citations/AD1039782

Dostupnost: http://www.dtic.mil/docs/citations/AD1039782

Verified compilation of Concurrent Managed Languages

Autoři: Jagannathan,Suresh Vitek,Jan Purdue University West Lafayette United States

Přispěvatelé: Jagannathan,Suresh Vitek,Jan Purdue University West Lafayette United States

Témata: Computer Programming and Software, COMPUTER PROGRAM VERIFICATION, methodology, PROGRAMMING LANGUAGES, reasoning, Program verification, compiler design, concurrency, memory models, theorem proving, garbage collection, java memory model

Popis souboru: text/html

Relation: http://www.dtic.mil/docs/citations/AD1043395

Dostupnost: http://www.dtic.mil/docs/citations/AD1043395
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=AD1043395

TEAMBLOCKS: HYBRID ABSTRACTIONS FOR PROVABLE MULTI-AGENT AUTONOMY

Autoři: Kingston,Peter Martin,Patrick BAE Systems AIT Burlington United States

Přispěvatelé: Kingston,Peter Martin,Patrick BAE Systems AIT Burlington United States

Témata: Computer Programming and Software, MULTIAGENT SYSTEMS, COMPUTER PROGRAM VERIFICATION, differential equations, computer simulations, unmanned underwater vehicles, unmanned aerial vehicles, fixed wing aircraft, control systems, algorithms, hybrid systems, information systems, automata, V and V(Verification and validation), autonomy, LTL(Linear Temporal Logic), SOS(SUM of Squares), cps(cyber-physical systems)

Popis souboru: text/html

Relation: http://www.dtic.mil/docs/citations/AD1037273

Dostupnost: http://www.dtic.mil/docs/citations/AD1037273
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=AD1037273

A library of failure regions

Autoři: Shimeall, Timothy J. Computer Science (CS) Naval Postgraduate School (U.S.) a další

Přispěvatelé: Shimeall, Timothy J. Computer Science (CS) Naval Postgraduate School (U.S.) a další

Témata: Software Testing, Software Experiments, Failure Conditions, Reachability, Error Generation, Error Propagation, COMPUTER PROGRAM VERIFICATION

Popis souboru: NA; application/pdf

Relation: NA; https://hdl.handle.net/10945/29366

Dostupnost: https://hdl.handle.net/10945/29366

Design Concepts for Automating Maintenance Instructions

Autoři: Badler, Norman I Erignac, Charles A McDonald, Patrick Vincent a další

Témata: aircraft maintenance, Databases and Information Systems, data acquisition, Computer Sciences, 9. Industry and infrastructure, air force personnel, instruction manuals, technology assessment, computer program verification, computer aided instruction, 12. Responsible consumption, Engineering, maintenace management, Graphics and Human Computer Interfaces, data management, automation

Popis souboru: application/pdf

Přístupová URL adresa: https://repository.upenn.edu/cgi/viewcontent.cgi?article=1231&context=hms
https://repository.upenn.edu/hms/190/
https://repository.upenn.edu/cgi/viewcontent.cgi?article=1231&context=hms

Kleene Algebra and Bytecode Verification

Autoři: Kozen,Dexter Kot,Lucja Cornell University Ithaca United States

Přispěvatelé: Kozen,Dexter Kot,Lucja Cornell University Ithaca United States

Témata: COMPUTER PROGRAM VERIFICATION, java programming language, transfer functions, BYTECODE, STATIC ANALYSIS, ABSTRACT INTERPRETATION, KLEENE ALGEBRA, JAVA BYTECODE VERIFICATION

Popis souboru: text/html

Relation: http://www.dtic.mil/docs/citations/AD1000313

Dostupnost: http://www.dtic.mil/docs/citations/AD1000313
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=AD1000313

Information Flow Integrity for Systems of Independently-Developed Components

Autoři: Jaeger, Trent Ganapathy, Vinod Jha, Somesh a další

Přispěvatelé: Jaeger, Trent Ganapathy, Vinod Jha, Somesh a další

Zdroj: DTIC

Témata: Computer Programming and Software, Computer Systems Management and Standards, COMPUTER ACCESS CONTROL, COMPUTER NETWORK SECURITY, COMPUTER PROGRAMS, COMPUTER PROGRAM VERIFICATION, COMPUTER VIRUSES, HACKING(COMPUTER SECURITY), INFORMATION ASSURANCE, INFORMATION EXCHANGE, INTERNET, INTRUSION DETECTION(COMPUTERS), KERNEL FUNCTIONS, NETWORK FLOWS, OPERATING SYSTEMS(COMPUTERS), PROGRAMMING LANGUAGES, SOFTWARE ENGINEERING, VULNERABILITY, CONFUSED DEPUTY ATTACKS, CODE REUSE ATTACKS, RETROFITTING LEGACY CODES, WEB BROWSERS, OPERATING SYSTEM KERNELS, ATTACK SURFACES, ACCESS CONTROL, PRIVILEGE SEPARATION, INFORMATION SLOW, CONTROL-FLOW INTEGRITY, info, geo

Relation: http://www.dtic.mil/docs/citations/ADA621545

Dostupnost: http://www.dtic.mil/docs/citations/ADA621545

Compositional Verification with Abstraction, Learning, and SAT Solving

Autoři: Komuravelli, Anvesh CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE

Přispěvatelé: Komuravelli, Anvesh CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE

Zdroj: DTIC

Témata: Statistics and Probability, Computer Programming and Software, Computer Systems, OPERATING SYSTEMS(COMPUTERS), REASONING, SCALE MODELS, SOFTWARE TOOLS, SYSTEMS ANALYSIS, ALGORITHMS, APPROXIMATION(MATHEMATICS), COMPUTER PROGRAM VERIFICATION, DECISION MAKING, DECOMPOSITION, INVARIANCE, LEARNING, LOGIC, MONOLITHIC STRUCTURES(ELECTRONICS), NUMERICAL METHODS AND PROCEDURES, PARALLEL ORIENTATION, POLYNOMIALS, PROBABILITY, RECURSIVE FUNCTIONS, SAFETY, THESES, MODEL CHECKING, PROOF, COUNTEREXAMPLES, SAT(SATISFIABILITY), SMT(SAT MODULO THEORIES), ORACLE

Popis souboru: text/html

Relation: http://www.dtic.mil/docs/citations/ADA624302

Dostupnost: http://www.dtic.mil/docs/citations/ADA624302
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA624302