| Your search for 40390 returns 223 document(s) |
| Concurrent execution of non-communicating programs on SIMD processors, Hal. 29-36 |
|
Author: Philip A. Wilsey; Debra A.; Hensgen, Nael B.; Abu-Ghuzaleh; | Call Number: SEM-173 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Evaluation of Speculative Instruction Execution on Simultaneous Multithreaded Processors |
|
Author: S. Swanson, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multi-pass execution of functional logic programs,Hal 361-374 |
|
Author: Jukka Paakki; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proving concurrent constraint programs correct,Hlm 98-108 |
|
Author: Frank S.de Boer; Maurizio Gabbrielli; Elena Marchiori; Catuscia Palamidessi; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The architecture of concurrent programs/ Per Brinch Hansen |
|
Author: Hansen, Per Brinch; | Call Number: 005.13 Han a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Higher-order concurrent programs with finite communications topology,Hlm 84-97 |
|
Author: Hanne Riis Nielson; Flemming Nielson; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Stream transformation based locality optimization for stream programs on multi-core processors, Hal. 3575-3579 |
|
Author: Tao Tang; Yufei Lin; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs, page 51-93 |
|
Author: James C. Corbett | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A proof environment for concurrent programs,(LNCS-Lecture Notes in Computer Science 670) Hal 196-215 |
|
Author: Naima BROWN; Dominique MERY; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
|
Author: Ade Azurat; | Call Number: Ringdis-014 | Type: Ringkasan Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result