5159 search results - page 452 / 1032 » Structural Testing of Executables |
247
click to vote
SC
2005
ACM
16 years 1 months ago
2005
ACM
On SMP clusters, mixed mode collective MPI communications, which use shared memory communications within SMP nodes and point-to-point communications between SMP nodes, are more eļ...
208
click to vote
SEKE
2005
Springer
16 years 1 months ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
264
click to vote
CAV
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against speciļ¬cations given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
229
click to vote
PVM
2004
Springer
16 years 29 days ago
2004
Springer
We propose lightweight middleware solutions that facilitate and simplify the execution of MPI programs across multidomain clusters. The system described in this paper leverages H2O...
210
click to vote
SAC
2010
ACM
16 years 28 days ago
2010
ACM
Developed using the principles of the Model-View-Controller architectural pattern, FolksEngine is a parametric search engine for folksonomies that allows us to test arbitrary sear...