Search Result Save to File Save as CSV
Your search for 38700 returns 2666 document(s)
NOPE: A nondeterministic program evaluator, (LNCS-Lecture Notes in Computer Science 1557) Hal 490-499
Author: Dieter Kranzlmuller; Jens Volkert; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Record / Replay for Nondeterministic Program Executions
Author: Michiel Ronsse, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Performance analysis and derived parallelization strategy for a SCF program at the hartree fock level, (LNCS-Lecture Notes in Computer Science 1557) Hal 163-172
Author: Siegfried Hofinger; Othmar Steinhauser; Peter Zinterhof; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time program refinement using auxiliary variables (LNCS-Lecture Notes in Computer Science 1926) Hal 170-184
Author: Ian Hayes; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A Note on equivalences among logics of program,(LNCS-Lecture Notes in Computer Science 999) Hal. 282-299
Author: Albert R. Meyer; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Verification of coccurent program temporal proof principles, (LNCS-Lecture Notes in Computer Science 131) Hal. 200- 252
Author: Zohar Manna; Amir Pneuli; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Toward a logical theory of program data, (LNCS-Lecture Notes in Computer Science 131) Hal. 37-51
Author: Robert Cartwright; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
HPF and numerical libraries, (LNCS-Lecture Notes in Computer Science 1557) Hal 140-152
Author: Harald J. Ehold; Wilfried N. Gansterer; Dieter F. Kvasnicka; Christoph W. Ueberhuber; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Dynamic scheduling on a network heterogenous computer system, (LNCS-Lecture Notes in Computer Science 1557) Hal 584-585
Author: Janez Brest; Viljem Zumer; Milan Ojstersek; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Non-standard parallel solution strategies for distributed sparse linear systems, (LNCS-Lecture Notes in Computer Science 1557) Hal 13-27
Author: Yousef Saad; Maria Sosonkina; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next