Skip to Main content Skip to Navigation

inria-00000990v2  Conference papers
Sébastien MonnetChristine MorinRamamurthy Badrinath. A Hierarchical Checkpointing Protocol for Parallel Applications in Cluster Federations
9th IEEE Workshop on Fault-Tolerant Parallel, Distributed and Network-Centric Systems, Apr 2004, Santa Fe, New Mexico, Mexico. pp.211
hal-01952884v1  Journal articles
Thomas RoparsAmina GuermoucheFranck Cappello. HydEE : Vers un protocole de recouvrement arrière hiérarchique pour les machines exascales De l'exploitation du déterminisme des émissions dans les protocoles de recouvrement arrière
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, 31 (8-10), pp.1049-1078
hal-01909653v1  Conference papers
Igor KonnovJosef Widder. ByMC: Byzantine Model Checker
ISoLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2018, Limassol, Cyprus. pp.327-342, ⟨10.1007/978-3-030-03424-5_22⟩
hal-01121959v1  Conference papers
Thomas RoparsArnaud LefrayDohyun KimAndré Schiper. Efficient Process Replication for MPI Applications: Sharing Work Between Replicas
29th IEEE International Parallel & Distributed Processing Symposium (IPDPS2015), 2015, Hyderabad, India
hal-00708684v1  Conference papers
Inès DoghriLaurent ReynaudIsabelle Guérin-Lassous. On The Recovery Performance of Single- and Multipath OLSR in Wireless Multi-Hop Networks
Third International ICST Conference on Ad Hoc Networks, ADHOCNETS 2011, Sep 2011, Paris, France. pp.239, ⟨10.1007/978-3-642-29096-1⟩
hal-01165186v2  Reports
Emmanuel AgulloLuc GiraudMawussi Zounon. On the resilience of a parallel sparse hybrid solver
[Research Report] RR-8744, INRIA Bordeaux; INRIA. 2015
tel-01231838v2  Theses
Mawussi Zounon. On numerical resilience in linear algebra
Numerical Analysis [cs.NA]. Université de Bordeaux, 2015. English. ⟨NNT : 2015BORD0038⟩
tel-00472781v1  Theses
Florian Huc. Conception de Réseaux Dynamiques Tolérants aux Pannes
Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2008. Français
tel-00643729v2  Habilitation à diriger des recherches
François Taïani. Some Contributions to The Programming of Large-Scale Distributed Systems: Mechanisms, Abstractions, and Tools
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Rennes 1, 2011
hal-01086834v2  Reports
Jiajun CaoMatthieu SimoninGene CoopermanChristine Morin. Checkpointing as a Service in Heterogeneous Cloud Environments
[Research Report] RR-8633, INRIA-IRISA Rennes Bretagne Atlantique; Northeastern University‎ (Boston, Mass); INRIA. 2014, pp.10
hal-02861511v3  Journal articles
Alex AuvolatDavide FreyMichel RaynalFrançois Taïani. Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof
Bulletin of Association for Theoretical Computer Science (BEATCS), Kazuo Iwama, RIMS, Kyoto University Kitashirakawa-Oiwakecho, Kyoto 606-8502, Japan, 2020, 132
hal-00949762v3  Conference papers
Cristian RuizJoseph EmerasEmmanuel JeanvoineLucas Nussbaum. Distem: Evaluation of Fault Tolerance and Load Balancing Strategies in Real HPC Runtimes through Emulation
CCGRID - 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2016, Cartagena, Colombia
tel-01094212v1  Habilitation à diriger des recherches
Clément Pernet. High Performance and Reliable Algebraic Computing
Symbolic Computation [cs.SC]. Université Joseph Fourier, Grenoble 1, 2014
tel-00486939v1  Theses
Xavier Besseron. Tolérance aux fautes et reconfiguration dynamique pour les applications distribuées à grande échelle
Informatique [cs]. Institut National Polytechnique de Grenoble - INPG, 2010. Français
hal-00857964v1  Journal articles
Bogdan NicolaeFranck Cappello. BlobCR: Virtual Disk Based Checkpoint-Restart for HPC Applications on IaaS Clouds
Journal of Parallel and Distributed Computing, Elsevier, 2013, 73 (5), pp.698-711. ⟨10.1016/j.jpdc.2013.01.013⟩
hal-00180768v1  Conference papers
Simon GyulaMiklós MolnárLaszlo GonczyBernard Cousin. Dependable k-coverage algorithms for sensor networks
IEEE Instrumentation and Measurement Technology Conference, May 2007, Varsovie, Poland. pp.ISSN: 1091-5281, ⟨10.1109/IMTC.2007.379153⟩