Výsledky vyhľadávania - "Parallel computer program verification"

Program Verification: Vision and Reality.

Autori: Vardi, Moshe Y.¹ vardi@cs.rice.edu

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

Predmety: *COMPUTER software, *COMPUTER programming, *COST effectiveness, PARALLEL computer program verification, MACHINE learning

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

Autori: Riaz-ud-Din, Faizal Zhou, Wanlei Doss, Robin

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

Predmety: *PARALLEL computer program verification, *CLOUD computing, *DATABASES, *WEB hosting, *COMPUTER software

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

Autori: 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.

Predmety: *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

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

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

Predmety: *PARALLEL computer program verification, *MATHEMATICAL models, *ALGORITHMS, *SCALABILITY, *PROBLEM solving, *MACHINE theory

Verifying Programs Using Abstraction and Theorem Proving.

Autori: Junyan Qian Baowen Xu

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

Predmety: Automatic theorem proving, Abstract thought, Software verification, Parallel computer program verification, Computer software

Non-intrusive parallelization of multibody system dynamic simulations.

Autori: González, Francisco Luaces, Alberto Lugrís, Urbano a ďalší

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

Predmety: MULTIBODY systems, ELECTRONIC systems, PARALLEL computer program verification, SPARSE matrices, NUMERICAL analysis

Fingerprint verification using ridge direction distribution and minutiae correspondence.

Autori: Wakahara, Toru Kimura, Yoshimasa Suzuki, Akira a ďalší

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

Predmety: Human fingerprints, Anthropometry, Imaging systems, Combinatorics, Parallel computer program verification, Software verification

Stochastic Modelling of Communication Protocols from Source Code

Autori: 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.

Predmety: 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.

Autori: Myung Gyoon Lee In Sung Jang

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

Predmety: *PARALLEL computer program verification, *PHOTOMETRY, *STELLAR luminosity function, *ELLIPTICAL galaxies

Korporácia: HUBBLE Space Telescope (Spacecraft)

Infinera extends reach and capacity for TeliaSonera International Carrier with Super- Channel SD-FEC.

Zdroj: Fiber Optics Weekly Update; 09/13/2013, Vol. 33 Issue 37, p2-3, 2p

Predmety: PARALLEL computer program verification, ERROR correction (Information theory), COMPUTER networks, TELECOMMUNICATION, HIGH technology industries

Korporácia: INFINERA Networks Corp., TELIASONERA International Carrier (Company)

Hapa Laetus launches late-stage customiser for blisterpacks.

Zdroj: Manufacturing Chemist. Sep2008, Vol. 79 Issue 9, p31-31. 1/4p.

Predmety: *PHARMACEUTICAL industry, *INDUSTRIAL design, BLISTER packs, PARALLEL computer program verification

Korporácia: HAPA-Laetus (Company)