309
click to vote
QEST
2015
IEEE
9 years 11 months ago
2015
IEEE
Abstract. The analysis of models specified with formalisms like Markovian process algebras or stochastic automata can be based on equivalence relations among the states. In this p...
307
Voted
QEST
2015
IEEE
9 years 11 months ago
2015
IEEE
In our mission to advance innovation by industrial adoption of academic results, we perform many projects with high-tech industries. Favoring formal methods, we observe a gap betwe...
773
Voted
PVM
2015
Springer
9 years 11 months ago
2015
Springer
Advanced failure recovery strategies in HPC system benefit tremendously from in-place failure recovery, in which the MPI infrastructure can survive process crashes and resume com...
647
click to vote
PVM
2015
Springer
9 years 11 months ago
2015
Springer
There is a growing need to perform large computations on small systems, as access to large systems is not widely available and cannot keep up with the scaling of data. BDMPI was r...
658
click to vote
PVM
2015
Springer
9 years 11 months ago
2015
Springer
We consider the problem of accurately measuring the time to complete an MPI collective operation, as the result strongly depends on how the time is measured. Our goal is to develo...