307 search results - page 27 / 62 » Automatic Parallelization Techniques for the EM-4 |
121
Voted
ASAP
2005
IEEE
15 years 7 months ago
2005
IEEE
The task of automatic design space exploration of heterogeneous multi-processor systems is often tackled with Evolutionary Algorithms. In this paper, we propose a novel approach i...
107
click to vote
CISIS
2008
IEEE
15 years 8 months ago
2008
IEEE
—Techniques for detecting synthetic lethal mutations in double gene deletion experiments are emerging as powerful tool for analysing genes in parallel or overlapping pathways wit...
109
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...
104
click to vote
PVM
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. With the number of computing elements spiraling to hundred of thousands in modern HPC systems, failures are common events. Few applications are nevertheless fault toleran...
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...