| Your search for 38691 returns 5589 document(s) |
| Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving, (LNCS-Lecture Notes in Computer Science 939) Hal 54-69 |
|
Author: Jurgen Dingel; Thomas Filkorn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Optimal tridiagonal solvers on mesh interconnection networks, (LNCS-Lecture Notes in Computer Science 1557) Hal 28-37 |
|
Author: Eunice E. Santos; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combined systolic array for matrix portrait computation, (LNCS-Lecture Notes in Computer Science 1557) Hal 58-67 |
|
Author: Gabriel Oksa; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational issues in optimizing ophthalmic lens, (LNCS-Lecture Notes in Computer Science 1557) Hal 173-182 |
|
Author: Enric Fontdecaba; Jose M. Cela; Juan C. Dursteler; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hierarchical block matching motion estimation on a hypercube multiprocessor, (LNCS-Lecture Notes in Computer Science 1557) Hal 265-275 |
|
Author: Charalampos Konstantopoulos; Andreas Svolos; Christos Kaklamanis; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modeling and scheduling for MPEG-4 based video encoder using a cluster of workstations, (LNCS-Lecture Notes in Computer Science 1557) Hal 306-316 |
|
Author: Yong He; Ishfaq Ahmad; Ming L. Liou; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithms and programming paradigms for 2-D wavelet packet decomposition on multicomputers and multiprocessors, (LNCS-Lecture Notes in Computer Science 1557) Hal 367-376 |
|
Author: Manfred Feil; Andreas Uhl; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time layered video compression using SIMD computation, (LNCS-Lecture Notes in Computer Science 1557) Hal 377-387 |
|
Author: Morten Vadskaer Jensen; Brian Nielsen; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The locality property in topological irregular graph hierarchies, (LNCS-Lecture Notes in Computer Science 1557) Hal 437-449 |
|
Author: Helmut Kofler; Ernst J. Haunschmid; Wilfried N. Gansterer; Christoph W. Ueberhuber; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Geometry-aided rectilinear partitioning of unstructured meshes, (LNCS-Lecture Notes in Computer Science 1557) Hal 450-459 |
|
Author: Rainer Koppler; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result