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