Sciweavers

260 search results - page 13 / 52
» Haskell on a shared-memory multiprocessor
Sort
View
CAV
1999
Springer
78views Hardware» more  CAV 1999»
14 years 27 days ago
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...
IPPS
1999
IEEE
14 years 27 days ago
Cascaded Execution: Speeding Up Unparallelized Execution on Shared-Memory Multiprocessors
Both inherently sequential code and limitations of analysis techniques prevent full parallelization of many applications by parallelizing compilers. Amdahl's Law tells us tha...
Ruth E. Anderson, Thu D. Nguyen, John Zahorjan