Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
- M. Bertier, L. Arantes, P. Sens : “Hierarchical token based mutual exclusion algorithms”, [Bertier 2004a]
- M. Bouassida, I. Chrisment, V. Guyot, V. Legrand, D. Raffo, S. Ubéda : “L4.02 : Sécurité et Réseaux Ad Hoc”, 35 p pages [Bouassida 2004]
- J.‑M. Busca, F. Picconi, P. Sens : “Pastis: a Highly-Scalable Multi-User Peer-to-Peer File System”, 29 pages [Busca 2004b]
- J.‑M. Busca, M. Bertier, F. Belkouch, P. Sens, L. Arantes : “A Performance Evaluation of a Quorum-Based State-Machine Replication Algorithm for Computing Grids”, 17 pages [Busca 2004c]
- J.‑Ch. Faugère, G. Ars : “Comparison of XL and Gröbner basis algorithms over Finite Fields”, 26 pages [Faugère 2004a]
- S. Fechter, C. Dubois : “Towards a formal definition of the Foc language”, [Fechter 2004a]
- S. Fechter, O. Boite : “BBFoc”, [Fechter 2004b]
- G. Haïk : “Introduction of Mobility for Distributed Numerical Simulation Frameworks : a Formal Study”, [Haïk 2004]
- C. Hanen, A. Munier‑Kordon : “Ordonnancements périodiques pour contraintes de précédence linéaires”, [Hanen 2004a]
- C. Hanen, D. Tayachi : “A dynamic programming algorithm for minimizing the total duplication cost in scheduling an outtree with communication delays”, [Hanen 2004c]
- C. Le Guernic, M. Safey El Din : “On the practical computation of one point in each connected component of a semi-algebraic set defined by a polynomial system of equations and non-strict inequalities”, [Le Guernic 2004b]
- M. Marzouki, C. Méadel : “De l'organisation des nouveaux collectifs à l'organisation de la cité : gouvernance technique et gouvernement politique d'Internet”, [Marzouki 2004b]
- N. Mitton, E. Fleury, I. Guérin‑Lassous, S. Tixeuil : “Self-stabilization in Self-organized Wireless Multihop Networks”, n°5426, LIP6 [Mitton 2004]
- M. Safey El Din, Ph. Trébuchet : “Strong Bi-homogeneous Bézout's Theorem and degree bounds for algebraic optimization”, [Safey El Din 2004c]