现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
以前科研组 : | ACASA |
- L. Abidi, S. Bejaoui, Ch. Cérin, J. Lejeune, Y. Ngoko, W. Saad : “Data Management for the RedisDG Scientific Workflow Engine”, IEEE International Conference on Computer and Information Technology, Nadi, Fiji, pp. 599-606 [Abidi 2016]
- D. Akkoorath, A. Tomsic, M. Bravo, Zh. Li, T. Crain, A. Bieniusa, N. Preguiça, M. Shapiro : “Cure: Strong semantics meets high availability and low latency”, Int. Conf. on Distributed Computing Systems (ICDCS), Nara, Japan, pp. 405-414, (IEEE) [Akkoorath 2016b]
- K. Altisen, S. Devismes, A. Durand, F. Petit : “Gradual Stabilization under τ-Dynamics”, Euro-Par 2016 - 22nd International Conference on Parallel and Distributed Computing, vol. 9833, Lecture Notes in Computer Science, Grenoble, France, pp. 588-602, (Springer) [Altisen 2016]
- H. Attiya, S. Burckhardt, A. Gotsman, A. Morrison, H. Yang, M. Zawirski : “Specification and Complexity of Collaborative Text Editing”, Int. Symp. on Principles of Distributed Computing (PODC) 2016, vol. PODC 2016, Int. Symp. on Principles of Distributed Computing (PODC) 2016, Chicago, IL, United States, pp. 10 [Attiya 2016]
- L. Blin, F. Boubekeur, S. Dubois : “Algorithme auto-stabilisant efficace en mémoire pour la construction d'un arbre couvrant de diamètre minimum”, ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Bayonne, France [Blin 2016a]
- A. Blin, C. Courtaud, J. Sopena, J. Lawall, G. Muller : “Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System”, 28th EUROMICRO Conference on Real-Time Systems (ECRTS'16), Toulouse, France [Blin 2016b]
- A. Blin, C. Courtaud, J. Sopena, J. Lawall, G. Muller : “Understanding the Memory Consumption of the MiBench Embedded Benchmark”, Netys, Marakech, Morocco [Blin 2016c]
- G. Bosilca, A. Bouteiller, A. Guermouche, Th. Hérault, Y. Robert, P. Sens, J. Dongarra : “Failure Detection and Propagation in HPC systems”, SC 2016 - The International Conference for High Performance Computing, Networking, Storage and Analysis, Salt Lake City, United States [Bosilca 2016]
- M. Bournat, A. Datta, S. Dubois : “Self-Stabilizing Robots in Highly Dynamic Environments”, SSS 2016 - 18th International Symposium Stabilization, Safety, and Security of Distributed Systems, vol. 10083, Lecture Notes in Computer Science, Lyon, France, pp. 54-69, (Springer) [Bournat 2016a]
- L. Briot, P. Urso, M. Shapiro : “High Responsiveness for Group Editing CRDTs”, ACM International Conference on Supporting Group Work, Sanibel Island, FL, United States [Briot 2016]
- F. Coriat, A. Fladenmuller, L. Arantes, O. Marin : “Crowdsourcing-based architecture for post-disaster geolocation: A comparative performance evaluation”, 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA), Cambridge, MA, United States, pp. 1-9 [Coriat 2016]
- R. Cortes, X. Bonnaire, O. Marin, L. Arantes, P. Sens : “GeoTrie: A Scalable Architecture for Location-Temporal Range Queries over Massive GeoTagged Data Sets”, The 15th IEEE International Symposium on Network Computing and Applications (NCA 2016), Cambridge, MA, United States [Cortes 2016]
- A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro : “'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems”, Symposium on Principles of Programming Languages, Saint Petersburg, FL, United States, pp. 371–384 [Gotsman 2016]
- A. Graciela de Moraes Rossetto, Claudio R. Geyer, L. Arantes, P. Sens : “Implementing a flexible failure detector that expresses the confidence in the system”, LADC 2016 - 7th Latin-American Symposium on Dependable Computing, Cali, Colombia [Graciela de Moraes Rossetto 2016b]
- S. Iskounen, Th.‑M.‑T. Nguyen, S. Monnet : “WiFi-Direct Simulation for INET in OMNeT++”, Proceedings of the 3rd OMNeT++ Community Summit, Brno, Czechia [Iskounen 2016a]
- É. Jeanneau, L. Rodrigues, E. Duarte Júnior, L. Arantes : “An Autonomic Hierarchical Reliable Broadcast Protocol for Asynchronous Distributed Systems with Failure Detector”, Latin-American Symposium on Dependable Computing (LADC), Cali, Colombia [Jeanneau 2016a]
- M. Najafzadeh, A. Gotsman, H. Yang, C. Ferreira, M. Shapiro : “The CISE Tool: Proving Weakly-Consistent Applications Correct”, PaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, Londres, United Kingdom, (ACM) [Najafzadeh 2016b]
- Luiz A. Rodrigues, L. Arantes, E. Duarte Júnior : “An Autonomic Majority Quorum System”, 30th IEEE International Conference on Advanced Information Networking and Applications (AINA), Crans-Montana, Switzerland [Rodrigues 2016]
- M. Shapiro, M. Saeida Ardekani, G. Petri : “Consistency in 3D”, Int. Conf. on Concurrency Theory (CONCUR) 2016, vol. CONCUR 2016, Int. Conf. on Concurrency Theory (CONCUR) 2016, Québec, Canada, pp. 15 [Shapiro 2016c]
- A. Tomsic, T. Crain, M. Shapiro : “PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolation”, PaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, London, United Kingdom, pp. 4, (ACM) [Tomsic 2016]
- M. Zawirski, C. Baquero, A. Bieniusa, N. Preguiça, M. Shapiro : “Eventually Consistent Register Revisited”, Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), vol. PaPoC 2016, Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), London, United Kingdom, pp. 7 [Zawirski 2016]