14 search results - page 1 / 3 » Static and Dynamic Partitioning of Pointers as Links and Thr... |
94
Voted
ICFP
1996
ACM
15 years 7 months ago
1996
ACM
133
Voted
APPT
2005
Springer
15 years 9 months ago
2005
Springer
Simultaneous MultiThreading (SMT) achieves better system resource utilization and higher performance because it exploits ThreadLevel Parallelism (TLP) in addition to “conventiona...
149
Voted
IFIP
1998
Springer
15 years 7 months ago
1998
Springer
This paper presents a hybrid approach to automatic parallelization of computer programs which combines static extraction of threads (tasks) with dynamic scheduling for parallel an...
149
Voted
HIPC
2003
Springer
15 years 8 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
151
Voted
ESOP
2011
Springer
14 years 7 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...