6941 search results - page 1111 / 1389 » Testing as a Certification Approach |
127
click to vote
ISPAN
1996
IEEE
15 years 9 months ago
1996
IEEE
In this paper, we have presented the design and evaluation of a compiler system, called APE,for automatic parallelization of scientific and engineering applications on distributed...
151
click to vote
EMMCVPR
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. In this paper a rigorous mathematical framework of deterministic annealing and mean-field approximation is presented for a general class of partitioning, clustering and ...
138
Voted
ICLP
1997
Springer
15 years 9 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
156
Voted
HPDC
1993
IEEE
15 years 9 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
197
click to vote
CPE
1994
Springer
15 years 9 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...