Your search for 38228 returns 3160 document(s) |
On the model checking problem for branching time logics and basic parallel processes, (LNCS-Lecture Notes in Computer Science 939) Hal 353-366 |
Author: Javier Esparza; Astrid Kiehn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The parallel abstract machine : a common execution model for FDTs, (LNCS-Lecture Notes in Computer Science 670) Hal 285-293 |
Author: Guillaume Doumenc; Jean-Francois Monin; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Strategies for parallel linear recursive query processing (LNCS-Lecture Notes in Computer Science 985) |
Author: Thomas Zurek, Peter Thanisch; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Implementation and evaluation of WiMedia MAC LSI, (LNCS-Lecture Notes in Computer Science 5576) Hal. 438-450 |
Author: Kazuyuki Sakoda; Yuichi Morioka; Chihiro Fujita; Erica Tanimoto; Kenzoh Nishikawa, Mitsurhiro Suzuki; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
FPGA Implementation of Elliptic Curve Point Multiplication over GF (2191), (LNCS-Lecture Notes in Computer Science 5576) Hal 619-634 |
Author: Sameh m. Shohdy; Ashraf b. El-sisi; Nabil Ismail; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Implementation of (normalised) RLS lattice on virtex, (LNCS-Lecture Notes in Computer Science 2147) Hal 91-100 |
Author: Felix Albu; Jiri Kadlec; Chris Softley; Rudolf Matousek; Antonim Hermanek; Nick Coleman; Anthony Fagan; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Implementation of a NURBS to bezier conversor with constant latency, (LNCS-Lecture Notes in Computer Science 2147) Hal 213-222 |
Author: Paula N. Mallon; Montserrat Boo; Javier D. Bruguera; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Evaluation of an FPGA implementation of the discrete element method, (LNCS-Lecture Notes in Computer Science 2147) Hal 306-314 |
Author: Benjamin Carrion Schafer; Steven F. Quigley; Andrew H.C.Chan; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parsha-256 - a new parallelizable hash function and a multihreaded implementation, (LNCS-Lecture Notes in Computer Science 2887) Hal 347-361 |
Author: Pinakpani Pal; Palash Sarkar; | Call Number: 652.8 Joh f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
High performance implementation of MPI for myrinet, (LNCS-Lecture Notes in Computer Science 1557) Hal 510-521 |
Author: Maciej Golebiewski; Markus Baum; Rolf Hempel; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|