2950 search results - page 479 / 590 » Computing with Infinitely Many Processes |
123
Voted
PVM
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. SKaMPI is a benchmark for MPI implementations. Its purpose is the detailed analysis of the runtime of individual MPI operations and comparison of these for di erent imple...
102
click to vote
ICSE
1997
IEEE-ACM
15 years 6 months ago
1997
IEEE-ACM
The planning of additional featuresand releases is a major concem for commercialsoftware companies. We describe how, in collaboration with Ericsson Radio Systems, we developed and...
121
Voted
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
114
click to vote
SMILE
2000
Springer
15 years 5 months ago
2000
Springer
Brute-forcedensematchingisusuallynotsatisfactorybecausethesame search range is used for the entire image, yielding potentially many false matches. In this paper, we propose a progr...
121
click to vote
ESA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Kinetic data structures provide a framework for computing combinatorial properties of continuously moving objects. Although kinetic data structures for many problems have...