3660 search results - page 136 / 732 » Parallel Program Archetypes |
175
click to vote
CLOUD
2010
ACM
15 years 10 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
130
Voted
PDP
2010
IEEE
16 years 6 hour ago
2010
IEEE
—Multicore nodes have become ubiquitous in just a few years. At the same time, writing portable parallel software for multicore nodes is extremely challenging. Widely available p...
141
click to vote
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we show that data races, a type of bug that generally only causes havoc in parallel programs, can also occur in sequential programs that use signal handlers. Fortunat...
143
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
201
click to vote
ECBS
1996
IEEE
15 years 9 months ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...