Search Results - "Parallel computer program verification"

Verifying Programs Using Abstraction and Theorem Proving.

Authors: Junyan Qian Baowen Xu

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

Fingerprint verification using ridge direction distribution and minutiae correspondence.

Authors: Wakahara, Toru Kimura, Yoshimasa Suzuki, Akira et al.

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

Program Verification: Vision and Reality.

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

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

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

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

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

Subjects: Parallel computer program verification, Cloud computing, Databases, Web hosting, Computer software

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

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

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

Subjects: Parallel computer program verification, Mathematical models, Algorithms, Scalability, Problem solving, Machine theory

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

Authors: Gang Chen¹ gang.chen@lingcore.com

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

Subjects: Parallel computer program verification, Computer arithmetic, Formal methods (Computer science), Parameter estimation, Integrated circuits

Memory Models: A Case for Rethinking Parallel Languages and Hardware.

Authors: Adve, Sarita V. Boehm, Hans -J.

Source: Communications of the ACM; August 2010, Vol. 53 Issue 8, p90-101, 12p

Asserting and Checking Determinism for Multithreaded Programs.

Authors: Burnim, Jacob Sen, Koushik

Source: Communications of the ACM; June 2010, Vol. 53 Issue 6, p97-105, 9p

Non-intrusive parallelization of multibody system dynamic simulations.

Authors: González, Francisco Luaces, Alberto Lugrís, Urbano et al.

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

Subjects: Multibody systems, Electronic systems, Parallel computer program verification, Sparse matrices, Numerical analysis

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

Authors: Chen, Gang

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; January 2010, Vol. 29 Issue 1, p149-153, 5p

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

Authors: Myung Gyoon Lee In Sung Jang

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

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

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

Hapa Laetus launches late-stage customiser for blisterpacks.

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