892 search results - page 28 / 179 » Adaptive Parallelism for OpenMP Task Parallel Programs |
149
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
101
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
113
Voted
ICPP
1994
IEEE
15 years 6 months ago
1994
IEEE
1 In this paper, we explore the problem of scheduling parallel programs using task duplication for messagepassing multicomputers. Task duplication means scheduling a parallel progr...
LFP
1990
15 years 3 months ago
1990
Many parallel algorithms are naturally expressed at a ne level of granularity, often ner than a MIMD parallel system can exploit eciently. Most builders of parallel systems have...
100
click to vote
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
As multicore architectures enter the mainstream, there is a pressing demand for high-level programming models that can effectively map to them. Stream programming offers an attrac...