489 search results - page 20 / 98 » An Extensible Framework for Distributed Testing of MPI Imple... |
146
Voted
IJCIS
1998
15 years 2 months ago
1998
We present the systematic design and development of a distributed query scheduling service DQS in the context of DIOM, a distributed and interoperable query mediation system 26 ...
143
Voted
CCGRID
2010
IEEE
15 years 3 months ago
2010
IEEE
The MPI programming model hides network type and topology from developers, but also allows them to seamlessly distribute a computational job across multiple cores in both an intra ...
103
Voted
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
104
Voted
IROS
2008
IEEE
15 years 9 months ago
2008
IEEE
— Intense efforts to define a common structure in robotic applications, both from a conceptual and from an implementation point of view, have been carried out in the last years ...
132
Voted
CCGRID
2009
IEEE
15 years 9 months ago
2009
IEEE
—Cloud computing has emerged as a new technology that provides large amount of computing and data storage capacity to its users with a promise of increased scalability, high avai...