Výsledky vyhľadávania - "Parallel computer program verification"
-
1
Autori: Vardi, Moshe Y.1 vardi@cs.rice.edu
Zdroj: Communications of the ACM. Jul2021, Vol. 64 Issue 7, p5-5. 1p.
-
2
Autori:
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
-
3
Autori: Gang Chen1 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.
-
4
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
Autori:
Zdroj: Science of Computer Programming. Oct2012, Vol. 77 Issue 12, p1272-1288. 17p.
-
5
Autori:
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
-
6
Autori: a ďalší
Zdroj: Computational Mechanics; Oct2009, Vol. 44 Issue 4, p493-504, 12p, 3 Diagrams, 4 Charts, 4 Graphs
-
7
Autori: 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.
-
8
Autori: Smith, Michael J.A.1 M.J.A.Smith@sms.ed.ac.uk
Zdroj: ENTCS: Electronic Notes in Theoretical Computer Science. Sep2007, Vol. 190 Issue 3, p129-145. 17p.
-
9
Autori:
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)
-
10
Zdroj: Fiber Optics Weekly Update; 09/13/2013, Vol. 33 Issue 37, p2-3, 2p
-
11
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)
Full Text Finder
Nájsť tento článok vo Web of Science