779 search results - page 24 / 156 » A Simple Program Transformation for Parallelism |
ICLP
2011
Springer
12 years 11 months ago
2011
Springer
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
IPPS
1998
IEEE
13 years 12 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...
PACT
2007
Springer
14 years 1 months ago
2007
Springer
T-system is a tool for parallel computing developed at the PSI RAS. The most recent implementation is available on both Linux and Windows platforms. The paper is dedicated to one o...
SNPD
2003
13 years 9 months ago
2003
This paper introduces accumulation into list homomorphisms for systematic development of both efficient and correct parallel programs. New parallelizable recursive pattern called...
VISSYM
2004
13 years 9 months ago
2004
This paper presents a simple approach for rendering isosurfaces of a scalar field. Using the vertex programming capability of commodity graphics cards, we transfer the cost of com...