489 search results - page 20 / 98 » An Extensible Framework for Distributed Testing of MPI Imple... |
IJCIS
1998
13 years 8 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 ...
CCGRID
2010
IEEE
13 years 9 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 ...
CONCUR
1999
Springer
14 years 27 days 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...
IROS
2008
IEEE
14 years 3 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 ...
CCGRID
2009
IEEE
14 years 3 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...