Search the dblp DataBase
Frédéric Magniette: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Aurelien Bouteiller, Franck Cappello, Thomas Hérault, Géraud Krawezik, Pierre Lemarinier, Frédéric Magniette
MPICH-V2: a Fault Tolerant MPI for Volatile Nodes based on Pessimistic Sender Based Message Logging. [Citation Graph (0, 0)][DBLP]
SC, 2003, pp:25- [Conf] - George Bosilca, Aurelien Bouteiller, Franck Cappello, Samir Djilali, Gilles Fedak, Cécile Germain, Thomas Hérault, Pierre Lemarinier, Oleg Lodygensky, Frédéric Magniette, Vincent Néri, Anton Selikhov
MPICH-V: toward a scalable fault tolerant MPI for volatile nodes. [Citation Graph (0, 0)][DBLP]
SC, 2002, pp:1-18 [Conf] - Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet
Approximate Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
VMCAI, 2004, pp:73-84 [Conf] - Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette
Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. [Citation Graph (0, 0)][DBLP]
DISC, 2000, pp:223-237 [Conf] - Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette
Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. [Citation Graph (0, 0)][DBLP]
Chicago J. Theor. Comput. Sci., 2002, v:2002, n:, pp:- [Journal] - Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg, Frédéric Magniette
Proving convergence of self-stabilizing systems using first-order rewriting and regular languages. [Citation Graph (0, 0)][DBLP]
Distributed Computing, 2001, v:14, n:2, pp:83-95 [Journal] - Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:195-214 [Journal] - Franck Cappello, Samir Djilali, Gilles Fedak, Thomas Hérault, Frédéric Magniette, Vincent Néri, Oleg Lodygensky
Computing on large-scale distributed systems: XtremWeb architecture, programming models, security, tests and convergence with grid. [Citation Graph (0, 0)][DBLP]
Future Generation Comp. Syst., 2005, v:21, n:3, pp:417-437 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002