Your search for 38910 returns 2672 document(s) |
LP as global search heuristic across different constrainedness regions, (LNCS-Lecture Notes in Computer Science 3709) Hal 853 |
Author: Lucian Leahu; Carla Gomes; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
From linear relaxations to global constraint propagation, (LNCS-Lecture Notes in Computer Science 3709) Hal 867 |
Author: Claude-Guy Quimper; Alejandro Lopez-Ortiz; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Global virtual time approximation for split queue time warp, (LNCS-Lecture Notes in Computer Science 1557) Hal 541-548 |
Author: Helge Hagenauer; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Compilation increasing the scheduling scope for multi-memory-FPGA-based custom computing machines, (LNCS-Lecture Notes in Computer Science 2147) Hal 523-533 |
Author: Joao M P Cardoso; Horacio C Neto; | Call Number: 005.115 Fie | 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
|
Toupie = u-calculus + constraints, (LNCS-Lecture Notes in Computer Science 939) Hal 114-126 |
Author: Antoine Rauzy; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Partitioning the global space for distributed memory systems, Hal. 327-336 |
Author: A. Zaafrani and MR. Ito; | Call Number: SEM-193 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
CAVEAT: technique and tool for computer aided verification and transformation, (LNCS-Lecture Notes in Computer Science 939) Hal 70-83 |
Author: E. Pascal Gribomont; Didier Rossetto; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Multipliers and deviders: insights on arithmetic circuit verification (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 1-3 |
Author: Randal E. Bryant; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|