Sciweavers

33 search results - page 1 / 7
» ieeehpcs 2010
Sort
View
IEEEHPCS
2010
13 years 2 months ago
Computation with competing patterns in Life-like automaton
Genaro Juárez Martínez, Andrew Adama...
IEEEHPCS
2010
13 years 2 months ago
Timed protocols insecurity problem is NP-complete
—In this paper we study the protocol insecurity problem for time dependent security protocols with a finite number of sessions, extending to the timed case the results of M. Rus...
Massimo Benerecetti, Nicola Cuomo, Adriano Peron
IEEEHPCS
2010
13 years 2 months ago
Resilient workflows for high-performance simulation platforms
Workflows systems are considered here to support largescale multiphysics simulations. Because the use of large distributed and parallel multi-core infrastructures is prone to soft...
Toan Nguyen, Laurentiu Trifan, Jean-Antoine Deside...