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