61 search results - page 3 / 13 » Commutativity Analysis: A Technique for Automatically Parall... |
HPCC
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
IPPS
2005
IEEE
13 years 11 months ago
2005
IEEE
The problem of writing high performance parallel applications becomes even more challenging when irregular, sparse or adaptive methods are employed. In this paper we introduce com...
VLSID
2009
IEEE
14 years 6 months ago
2009
IEEE
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
JPDC
2011
12 years 8 months ago
2011
Scripting languages such as R and Matlab are widely used in scientific data processing. As the data volume and the complexity of analysis tasks both grow, sequential data process...
PLDI
1997
ACM
13 years 10 months ago
1997
ACM
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produce...