1
Pubblicazione 2006
Sommario: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Testo
Elettronico eBook
2
Pubblicazione 2013
Sommario: ... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...
Testo
Elettronico eBook
3
Pubblicazione 2007
Sommario: ... -- Block-Based Approach to Solving Linear Systems -- Numerical Tests with Gauss-Type Nested Implicit Runge...
Testo
Elettronico eBook
4
Pubblicazione 2007
Sommario: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
Testo
Elettronico eBook
5
Pubblicazione 2005
Sommario: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
Testo
Elettronico eBook
6
Pubblicazione 2007
Sommario: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
Testo
Elettronico eBook