367
click to vote
QEST
2015
IEEE
10 years 2 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...
362
click to vote
QEST
2015
IEEE
10 years 2 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...
869
Voted
PVM
2015
Springer
10 years 2 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...
720
Voted
PVM
2015
Springer
10 years 2 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...
730
Voted
PVM
2015
Springer
10 years 2 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...