3686 search results - page 140 / 738 » Pattern-Based Parallel Programming |
PDP
2010
IEEE
15 years 9 months 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...
121
click to vote
EUROPAR
2004
Springer
15 years 7 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...
117
click to vote
IPPS
1998
IEEE
15 years 6 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...
170
Voted
ECBS
1996
IEEE
15 years 6 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...
113
click to vote
IEEEPACT
2009
IEEE
15 years 9 months ago
2009
IEEE
Parallel programming is a requirement in the multi-core era. One of the most promising techniques to make parallel programming available for the general users is the use of parall...