Autonomous Critical Embedded Systems team | ![]() |
|
||
---|---|---|
hal-02287556v1
Journal articles
In-Band Synchronization for Distributed SDN Control Planes Computer Communication Review, 2016, 46 (1), pp.37-43 |
||
|
||
hal-02287768v1
Journal articles
Non-interference and local correctness in transactional memory Theor. Comput. Sci., 2017, 688, pp.103-116. ⟨10.1016/j.tcs.2016.06.021⟩ ![]() |
||
hal-01180864v1
Reports
On the Uncontended Complexity of Anonymous Consensus [Research Report] University of Bordeaux LaBRI, UMR 5800, F-33400 Talence, France Telecom ParisTech. 2015 |
||
hal-03559623v1
Conference papers
Revisiting Optimal Resilience of Fast Byzantine Consensus PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.343-353, ⟨10.1145/3465084.3467924⟩ |
||
hal-03560232v1
Conference papers
Optimal Concurrency for List-Based Sets Parallel Computing Technologies - 16th International Conference, Sep 2021, Kaliningrad, Russia |
||
|
||
hal-01887733v1
Conference papers
Brief Announcement: Performance Prediction for Coarse-Grained Locking PODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩ |
||
hal-01888607v1
Conference papers
On Helping and Stacks The International Conference on Networked Systems, May 2018, Essaouira, Morocco |
||
hal-01416981v1
Conference papers
Set-Consensus Collections are Decidable OPODIS, Dec 2016, MADRID, Spain |
||
hal-02287767v1
Journal articles
On the uncontended complexity of anonymous agreement Distributed Computing, 2017, 30 (6), pp.459-468. ⟨10.1007/s00446-017-0297-z⟩ |
||
hal-01365304v1
Reports
Perfect Failure Detection with Very Few Bits [Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016 |
||
hal-03022570v1
Conference papers
Reconfigurable Lattice Agreement and Applications OPODIS, Dec 2019, Neuchatel, Switzerland |
||
hal-01423637v1
Conference papers
Perfect Failure Detection with Very Few Bits 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, Lyon, France |
||
hal-03022579v1
Conference papers
Online Payments by Merely Broadcasting Messages DSN, Jun 2020, Valencia, Spain |
||
hal-03022581v1
Conference papers
Asynchronous Reconfiguration with Byzantine Failures DISC, Oct 2020, VIRTUAL, France |
||
hal-03022583v1
Conference papers
Brief Announcement: On Decidability of 2-Process Affine Models DISC, Oct 2020, VIRTUAL, France |
||
hal-01206434v1
Conference papers
Inherent Limitations of Hybrid Transactional Memory DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_13⟩ |
||
hal-01206451v1
Conference papers
Grasping the Gap between Blocking and Non-Blocking Transactional Memories DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_16⟩ |
||
hal-02412405v1
Conference papers
Parallel Combining: Benefits of Explicit Synchronization 22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, 2018, Hong Kong, China. pp.11:1-11:16, ⟨10.4230/LIPIcs.OPODIS.2018.11⟩ |
||
hal-02287770v1
Journal articles
Parallel Combining: Making Use of Free Cycles CoRR, 2017, abs/1710.07588 |
||
hal-02287873v1
Book sections
Safety and Deferred Update in Transactional Memory Transactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, pp.50-71, 2015, ⟨10.1007/978-3-319-14720-8_3⟩ |
||
cea-02321547v1
Reports
Reconfigurable Lattice Agreement and Applications [Research Report] Institut Polytechnique Paris; CEA List. 2019 |
||
hal-01304268v2
Conference papers
Complexité du consensus anonyme en l'absence de concurrence ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France |
||
hal-01411528v1
Conference papers
On the Uncontended Complexity of Anonymous Consensus 19th International Conference on Principles of Distributed Systems - OPODIS 2015, Dec 2015, Rennes, France. ⟨10.4230/LIPIcs.OPODIS.2015.12⟩ |
||
hal-03559549v1
Journal articles
Review of the Third Summer School on the Practice and Theory of Distributed Computing SPTDC 2020 ACM SIGACT News, Association for Computing Machinery (ACM), 2020, 51 (4), pp.82-84. ⟨10.1145/3444815.3444828⟩ |
||
hal-03559551v1
Conference papers
Brief Announcement: Accountability and Reconfiguration -Self-Healing Lattice Agreement 35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freibourg, Germany. ⟨10.4230/LIPIcs.DISC.2021.54⟩ |
||
hal-02364297v1
Journal articles
Inherent limitations of hybrid transactional memory Distributed Computing, Springer Verlag, 2018, 31 (3), pp.167-185. ⟨10.1007/s00446-017-0305-3⟩ ![]() |
||
hal-02364290v1
Conference papers
The Consensus Number of a Cryptocurrency the 2019 ACM PODC, Jul 2019, Toronto ON, Canada. pp.307-316, ⟨10.1145/3293611.3331589⟩ ![]() |
||
hal-02287223v1
Conference papers
Progressive Transactional Memory in Time and Space PaCT, Sep 2015, Petrozavodsk, Russia |
||
|