3441 search results - page 404 / 689 » Parallel Logic Programming Systems |
140
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
178
click to vote
WOMPAT
2004
Springer
15 years 9 months ago
2004
Springer
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...
147
click to vote
WOMPAT
2001
Springer
15 years 9 months ago
2001
Springer
In contrast to the common belief that OpenMP requires data-parallel extensions to scale well on architectures with non-uniform memory access latency, recent work has shown that it ...
133
click to vote
FPL
2009
Springer
15 years 2 months ago
2009
Springer
In this article, we introduce the ongoing research in modeling and mapping for heterogeneous, customizable, parallel systems, as part of the effort in the newly established Center...
126
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...