Search - Equipe Autonomic and Critical Embedded Systems Access content directly

Filter your results

9 Results
Structure: Internal structure identifier : 454310

Perfect Failure Detection with Very Few Bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord
18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, Lyon, France
Conference papers hal-01423637v1

RTNS 2022: The 30th International Conference on Real-Time Networks and Systems

Yasmina Abdeddaïm , Liliana Cucu-Grosjean , Geoffrey Nelissen , Laurent Pautet
Proceedings hal-03951192v1
Image document

On Helping and Stacks

Vitalii Aksenov , Petr Kuznetsov , Anatoly Shalyto
The International Conference on Networked Systems, May 2018, Essaouira, Morocco
Conference papers hal-01888607v1
Image document

Brief Announcement: Performance Prediction for Coarse-Grained Locking

Vitalii Aksenov , Dan Alistarh , Petr Kuznetsov
PODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩
Conference papers hal-01887733v1
Image document

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users

Ana de Almeida Borges , Annalí Casanueva Artís , Jean-Rémy Falleri , Emilio Jesús Gallego Arias , Érik Martin-Dorel , et al.
14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩
Conference papers hal-04098856v2

A Concurrency-Optimal Binary Search Tree

Vitalii Aksenov , Vincent Gramoli , Petr Kuznetsov , Anna Malova , Srivatsan Ravi
23rd International European Conference on Parallel and Distributed Computing - Euro-Par 2017, Aug 2017, Santiago de Compostella, Spain
Conference papers hal-01664898v1

The weakest failure detector for eventual consistency

Swan Dubois , Rachid Guerraoui , Petr Kuznetsov , Franck Petit , Pierre Sens
Distributed Computing, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩
Journal articles hal-02413314v1
Image document

Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper)

Lucas Massoni Sguerra , Pierre Jouvelot , Emilio Jesús Gallego Arias , Gérard Memmi , Fabien Coelho
FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States
Conference papers hal-03210222v1

Set-Consensus Collections are Decidable

Carole Delporte-Gallet , Hugues Fauconnier , Eli Gafni , Petr Kuznetsov
OPODIS, Dec 2016, MADRID, Spain
Conference papers hal-01416981v1