138 search results - page 13 / 28 » Issues of the Automatic Generation of HPF Loop Programs |
CGO
2010
IEEE
14 years 2 months ago
2010
IEEE
This paper presents a finding and a technique on program behavior prediction. The finding is that surprisingly strong statistical correlations exist among the behaviors of diffe...
ICSE
2009
IEEE-ACM
13 years 12 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
OSDI
1994
ACM
13 years 8 months ago
1994
ACM
A fine-grain parallel program is one in which processes are typically small, ranging from a few to a few hundred instructions. Fine-grain parallelism arises naturally in many situ...
CBSE
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
JAIR
1998
13 years 7 months ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...