3686 search results - page 185 / 738 » Pattern-Based Parallel Programming |
144
Voted
LCR
1998
Springer
15 years 6 months ago
1998
Springer
There is an emerging class of real-time interactive applications that require the dynamic integration of task and data parallelism. An example is the Smart Kiosk, a free-standing ...
100
Voted
ISCA
1992
IEEE
15 years 6 months ago
1992
IEEE
This paper discusses three techniques useful in relaxing the constraints imposed by control flow on parallelism: control dependence analysis, executing multiple flows of control s...
129
click to vote
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
122
Voted
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Recent years have seen a trend in using graphic processing units (GPU) as accelerators for general-purpose computing. The inexpensive, single-chip, massively parallel ar...
122
Voted
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...