Your search for 38697 returns 2508 document(s) |
Reducing cache conflicts by a parametrized memory mapping, (LNCS-Lecture Notes in Computer Science 1557) Hal 460-469 |
Author: Daniela Genius; Jorn Eisenbiegler; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Fractal video compression on shared memory systems, (LNCS-Lecture Notes in Computer Science 1557) Hal 317-326 |
Author: Andreas Pommer; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Optimizing I/O for irregular applications on distributed-memory machines, (LNCS-Lecture Notes in Computer Science 1557) Hal 470-479 |
Author: Jesus Carratero; Jaechun No; Alok Choudhary; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Visual -MCM: visualising execution histories on multiple memory consistency models, (LNCS-Lecture Notes in Computer Science 1557) Hal 500-509 |
Author: Alba Cristina Melo; Simone Cintra Chagas; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parallel numerical algorithms for distributed memory machines, (LNCS-Lecture Notes in Computer Science 1557) Hal 581-583 |
Author: Pierre Bassomo; Ibrahima Sakho; Annie Corbel; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Hardware and software aspects for 3-D wavelet decomposition on shared memory MIMD computers, (LNCS-Lecture Notes in Computer Science 1557) Hal 347-356 |
Author: Rade Kutil; Andreas Uhl; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On the parallel implementation of the fast wavelet packet transform on MIMD distributed memory environments, (LNCS-Lecture Notes in Computer Science 1557) Hal 357-366 |
Author: Stefania Corsaro; Luisa D' Amore; Almerico Murli; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parametrized verification of linear networks using automata as invariants, (LNCS-Lecture Notes in Computer Science 1254) Hal 412-423 |
Author: A. Prasad Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parametrized verification of linear networks using automata as invariants, (LNCS-Lecture Notes in Computer Science 1254)Hal. 412-423 |
Author: A. Prasad Sistia; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Reducing inductive definitions to propositional satisfiability, (LNCS-Lecture Notes in Computer Science 3668) Hal 221-234 |
Author: Nikolay Pelov; Eugenia Ternovska; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|