Frédéric Magniette

According to our database1, Frédéric Magniette authored at least 10 papers between 2000 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Statistical algorithms for particle trajectography.
Computer Physics Communications, 2018

2008
Normalization for triple-target microarray experiments.
BMC Bioinformatics, 2008

2005
Computing on large-scale distributed systems: XtremWeb architecture, programming models, security, tests and convergence with grid.
Future Generation Comp. Syst., 2005

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC.
Electr. Notes Theor. Comput. Sci., 2005

2004
Approximate Probabilistic Model Checking.
Proceedings of the Verification, 2004

2003
MPICH-V2: a Fault Tolerant MPI for Volatile Nodes based on Pessimistic Sender Based Message Logging.
Proceedings of the ACM/IEEE SC2003 Conference on High Performance Networking and Computing, 2003

2002
Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.
Chicago J. Theor. Comput. Sci., 2002

MPICH-V: toward a scalable fault tolerant MPI for volatile nodes.
Proceedings of the 2002 ACM/IEEE conference on Supercomputing, 2002

2001
Proving convergence of self-stabilizing systems using first-order rewriting and regular languages.
Distributed Computing, 2001

2000
Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.
Proceedings of the Distributed Computing, 14th International Conference, 2000


  Loading...