Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- N. Alon, H. Attiya, Sh. Dolev, S. Dubois, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems”, SSS 2011 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 6976, Lecture Notes in Computer Science, Grenoble, France, pp. 19-31, (Springer) [Alon 2011]
- L. Arantes, J. Lejeune, M. Piffaretti, O. Marin, P. Sens, J. Sopena, Alysson N. Bessani, Vinicius V. Cogo, M. Correia, P. Costa, M. Pasin, Fabrício A. B. Silva : “Étude d'une architecture MapReduce tolérant les fautes byzantines.”, Actes des 20éme Rencontres francophones du parallélisme (RENPAR'11), Saint-Malo, France [Arantes 2011]
- L. Blin, Sh. Dolev, M. Potop‑Butucaru, S. Rovedakis : “Construction auto-stabilisante d'un arbre couvrant de poids minimum”, 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Cap Estérel, France [Blin 2011b]
- B. Bonakdarpour, S. Devismes, F. Petit : “Coordination de comités instantanément stabilisante”, 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Cap Estérel, France [Bonakdarpour 2011a]
- B. Bonakdarpour, S. Devismes, F. Petit : “Snap-Stabilizing Committee Coordination”, 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, United States, pp. 231-242, (IEEE) [Bonakdarpour 2011b]
- F. Bonnet, A. Milani, M. Potop‑Butucaru, S. Tixeuil : “Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction”, OPODIS 2011 - 15th International Conference on Principles of Distributed Systems, vol. 7109, Lecture Notes in Computer Science, Toulouse, France, pp. 251-265, (Springer) [Bonnet 2011b]
- Z. Bouzid, P. Sutra, C. Travers : “Anonymous Agreement: The Janus Algorithm”, OPODIS'11 - 15th International Conference On Principles Of Distributed Systems, vol. 7109, Lecture Notes in Computer Science, Toulouse, France, pp. 175-190, (Springer) [Bouzid 2011c]
- D. Cassou, E. Balland, Ch. Consel, J. Lawall : “Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications”, ICSE'11: Proceedings of the 33rd International Conference on Software Engineering, Honolulu, HI, United States, pp. 431-440, (ACM) [Cassou 2011]
- Sh. Dolev, S. Dubois, M. Potop‑Butucaru, S. Tixeuil : “Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO”, 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Cap Estérel, France [Dolev 2011a]
- S. Dubois, T. Masuzawa, S. Tixeuil : “Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1”, 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Cap Estérel, France [Dubois 2011c]
- S. Dubois, T. Masuzawa, S. Tixeuil : “Maximum Metric Spanning Tree made Byzantine Tolerant”, DISC 2011 - 25th International Symposium on Distributed Computing, vol. 6950, Lecture Notes in Computer Science, Rome, Italy, pp. 150-164, (Springer) [Dubois 2011e]
- P. Floriano, A. Goldman, L. Arantes : “Formalization of the Necessary and Sufficient Connectivity Conditions to the Distributed Mutual Exclusion Problem in Dynamic Networks”, Proceedings of The Tenth IEEE International Symposium on Networking Computing and Applications, NCA 2011, Cambridge, MA, United States, pp. 203-210, (IEEE) [Floriano 2011]
- F. Gaud, R. Lachaize, B. Lepers, G. Muller, V. Quéma : “Optimisations applicatives pour multi-cœurs NUMA : un cas d'étude avec le serveur web Apache”, CFSE'8 - Conférence Française en Systèmes d'Exploitation, Saint-Malo, France [Gaud 2011b]
- L. Gidra, G. Thomas, J. Sopena, M. Shapiro : “Assessing the Scalability of Garbage Collectors on Many Cores”, PLOS '11 - 6th Workshop on Programming Languages and Operating Systems, Cascais, Portugal, pp. 7:1-7:5, (ACM) [Gidra 2011b]
- F. Gonçalves Pereira Greve, L. Arantes, P. Sens : “What model and what conditions to implement unreliable failure detectors in dynamic networks?”, Proceedings of the 3rd International Workshop on Theoretical Aspects of Dynamic Distributed Systems, TADDS '11, Rome, Italy, pp. 13-17, (ACM) [Gonçalves Pereira Greve 2011a]
- F. Gonçalves Pereira Greve, P. Sens, L. Arantes, V. Simon : “A Failure Detector for Wireless Networks with Unknown Membership”, Euro-Par, Bordeaux, France, pp. 27-38, (Springer) [Gonçalves Pereira Greve 2011b]
- M. Gradinariu Potop‑Butucaru, M. Raynal, S. Tixeuil : “Distributed Computing with Mobile Robots: an Introductory Survey”, NBiS 2011 - 14th International Conference on Network-Based Information Systems, Tirana, Albania, pp. 318-324, (IEEE) [Gradinariu Potop-Butucaru 2011]
- F. Hermenier, Julia L. Lawall, J.‑M. Menaud, G. Muller : “Consolidation dynamique d'applications Web haute-disponibilité”, CFSE - 8ème Conférence Francophone sur les Systèmes d'Exploitation, St Malo, France [Hermenier 2011b]
- N. Hidalgo, E. Rosas, L. Arantes, O. Marin, P. Sens, X. Bonnaire : “DRing: A Layered Scheme for Range Queries over DHTs”, IEEE International Conference on Computer and Information Technology, Paphos, Cyprus, pp. 29-34, (IEEE) [Hidalgo 2011a]
- N. Hidalgo, L. Arantes, P. Sens, X. Bonnaire : “A Tabu Based Cache to Improve Latency and Load Balancing on Prefix Trees”, ICPADS 2011 - IEEE International Conference on Parallel and Distributed Systems, Tainan, Taiwan, Province of China, pp. 557-564, (IEEE) [Hidalgo 2011b]
- T. Izumi, M. Potop‑Butucaru, M. Valero : “Physical expander in Virtual Tree Overlay”, DISC 2011 - 25th International Symposium on Distributed Computing, vol. 6950, Lecture Notes in Computer Science, Rome, Italy, pp. 82-96, (Springer) [Izumi 2011a]
- A. Lamani, A. Cournier, S. Dubois, F. Petit, V. Villain : “Acheminement de Messages Instantanément Stabilisant : Solution Optimale sur les Topologies Linéaires”, Rencontres francophones du Parallélisme, Saint Malo, France [Lamani 2011]
- S. Legtchenko, S. Monnet, P. Sens : “DONUT: Building Shortcuts in Large-Scale Decentralized Systems with Heterogeneous Peer Distributions”, 30th Symposium on Reliable Distributed Systems (SRDS 2011), Madrid, Spain, pp. 91-100, (IEEE) [Legtchenko 2011b]
- J.‑P. Lozi : “Le Remote Core Lock (RCL) : une nouvelle technique de verrouillage pour les architectures multi-coeur”, 8ème Conférence Française en Systèmes d'Exploitation, Saint-Malo, France [Lozi 2011a]
- W. Maldonado, P. Marlier, P. Felber, Julia L. Lawall, G. Muller, É. Rivière : “Deadline-Aware Scheduling for Software Transactional Memory”, Proceedings of the International Conference on Dependable Systems and Networks (DSN 2011), Hong Kong, Hong Kong, pp. 257-268, (IEEE) [Maldonado 2011a]
- W. Maldonado, P. Marlier, P. Felber, Julia L. Lawall, G. Muller, É. Rivière : “Kernel-Assisted Scheduling and Deadline Support for Software Transactional Memory”, Proceedings of the Conférence Française en Systèmes d'Exploitation (CFSE), Saint-Malo, France [Maldonado 2011b]
- J. Michaux, X. Blanc, P. Sutra, M. Shapiro : “A Semantically Rich Approach for Collaborative Model Edition”, Symp. on Applied Computing (SAC), vol. 26, Taichung, Taiwan, Province of China, pp. 1470-1475, (Assoc. for Computing Machinery) [Michaux 2011]
- N. Palix, G. Thomas, S. Saha, Ch. Calvès, Julia L. Lawall, G. Muller : “Faults in Linux: Ten Years Later”, ASPLOS 2011 - 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Newport Beach, California, United States, pp. 305-318, (ACM) [Palix 2011]
- Th. Preud'Homme, J. Sopena, G. Thomas, B. Folliot : “BatchQueue : file producteur / consommateur optimisée pour les multi-cœurs”, 8ème Conférence Française sur les Systèmes d'Exploitation (CFSE'11), Saint-Malo, France, pp. 1-12 [Preud'Homme 2011a]
- M. Saeida Ardekani, P. Sutra, M. Shapiro : “The Impossibility of Ensuring Snapshot Isolation in Genuine Replicated STMs”, WTTM 2011: third workshop on the theory of transactional memory, Roma, Italy [Saeida Ardekani 2011]
- S. Saha, Julia L. Lawall, G. Muller : “An approach to improving the structure of error-handling code in the Linux kernel”, ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, Chicago, IL, United States, pp. 41-50, (ACM) [Saha 2011a]
- S. Saha, Julia L. Lawall, G. Muller : “Finding Resource-Release Omission Faults in {Linux}”, 6th Workshop on Programming Languages and Operating Systems, Cascais, Portugal, (ACM) [Saha 2011b]
- M. Santos De Lima, F. Gonçalves Pereira Greve, L. Arantes, P. Sens : “The time-free approach to Byzantine failure detection in dynamic networks”, Dependable Systems and Networks Workshops, Hong Kong, Hong Kong, pp. 3-8, (IEEE) [Santos De Lima 2011]
- M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski : “Conflict-free Replicated Data Types”, SSS 2011 - 13th International Symposium Stabilization, Safety, and Security of Distributed Systems, vol. 6976, Lecture Notes in Computer Science, Grenoble, France, pp. 386-400, (Springer) [Shapiro 2011c]
- P. Sutra, M. Shapiro : “Fast Genuine Generalized Consensus”, SRDS 2011 - 30th IEEE Symposium on Reliable Distributed Systems, Madrid, Spain, pp. 255-264, (IEEE Computer Society) [Sutra 2011a]
- P. Sutra, M. Shapiro : “Résolution efficace du consensus généralisé dans les systèmes répartis par passage de messages”, ALGOTEL 2011 - 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications, Cap Estérel, France [Sutra 2011b]
- M. Valero, L. Arantes, M. Gradinariu Potop‑Butucaru, P. Sens : “Architectures de filtrage reconfigurables dynamiquement.”, Conférence Française en Systèmes d'Exploitation, Saint-Malo, France [Valero 2011a]
- M. Valero, L. Arantes, M. Gradinariu Potop‑Butucaru, P. Sens : “Enhancing Fault Tolerance of Distributed R-Tree”, 5th Latin-American Symposium on Dependable Computing, Sao Jose dos Campos, Brazil, pp. 25-34, (IEEE) [Valero 2011b]
- M. Zawirski, M. Shapiro, N. Preguiça : “Asynchronous rebalancing of a replicated tree”, Conférence Française en Systèmes d'Exploitation (CFSE), Saint-Malo, France, pp. 12 [Zawirski 2011]