Publications related to Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement

Related publications (33)

Enabling Deep Learning Models for Seizure Monitoring within Wearables Lifecycle

Continuous monitoring of various physiological conditions enables early detection of potential health issues. The monitoring offers real-time insights into patient well-being and rapid medical interventions. As a case study, in epilepsy, a prevalent neurol ...

EPFL2025

Efficient Signature-Free Validated Agreement

Rachid Guerraoui, Jovan Komatovic, Manuel José Ribeiro Vidigueira, Pierre Philippe Civit

Byzantine agreement enables n processes to agree on a common L-bit value, despite up to t > 0 arbitrary failures. A long line of work has been dedicated to improving the bit complexity of Byzantine agreement in synchrony. This has culminated in COOL, an er ...

Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing2024

EdgeFace: Efficient Face Recognition Model for Edge Devices

Hatef Otroshi Shahreza

In this paper, we present EdgeFace - a lightweight and efficient face recognition network inspired by the hybrid architecture of EdgeNeXt. By effectively combining the strengths of both CNN and Transformer models, and a low rank linear layer, EdgeFace achi ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2024

Proofs, Circuits, and Communication

Mika Tapani Göös

We survey lower-bound results in complexity theory that have been obtained via newfound interconnections between propositional proof complexity, boolean circuit complexity, and query/communication complexity. We advocate for the theory of total search prob ...

2022

Byzantine-Resilient Multi-Agent System

Rachid Guerraoui, Alexandre David Olivier Maurer

We consider the problem of making a multi-agent system (MAS) resilient to Byzantine failures through replication. We consider a very general model of MAS, where randomness can be involved in the behavior of each agent. We propose the first universal scheme ...

IEEE COMPUTER SOC2022

Design and Optimization of Quantum Electronic Circuits

Giovanni De Micheli

Quantum electronic circuits where the logic information is processed and stored in single flux quanta promise efficient computation in a performance/power metric, and thus are of utmost interest as possible replacement or enhancement of CMOS. Several elect ...

ASSOC COMPUTING MACHINERY2022

Efficient deterministic preparation of quantum states using decision diagrams

Giovanni De Micheli, Fereshte Mozafari Ghoraba

Loading classical data into quantum registers is one of the most important primitives of quantum computing. While the complexity of preparing a generic quantum state is exponential in the number of qubits, in many practical tasks the state to prepare has a ...

2022

The influence of trip length distribution on urban traffic in network-level models

Mikhail Murashkin

Modeling urban traffic on the level of network is a wide research area oriented to the development of ITS. In this thesis properties of models based on MFD (Macroscopic Fundamental Diagram) are studied. The idea behind MFD is to say that the state of the t ...

EPFL2021

Automated Integration of Dual-Edge Clocking for Low-Power Operation in Nanometer Nodes

Andreas Peter Burg, Andrea Bonetti, Adam Shmuel Teman, Nicholas Alexander Preyss

Clocking power, including both clock distribution and registers, has long been one of the primary factors in the total power consumption of many digital systems. One straightforward approach to reduce this power consumption is to apply dual-edge-triggered ...

Association for Computing Machinery2017

Guest Editorial: Introduction to the Special Issue on Long-Term Human Motion Prediction

Alexandre Massoud Alahi

The articles in this special section focus on long term human motion prediction. This represents a key ability for advanced autonomous systems, especially if they operate in densely crowded and highly dynamic environments. In those settings understanding a ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

On some algebraic and extremal problems in discrete geometry

Seyed Hossein Nassajianmojarrad

In the present thesis, we delve into different extremal and algebraic problems arising from combinatorial geometry. Specifically, we consider the following problems. For any integer

n\ge 3

, we define

e(n)

to be the minimum positive integer such that an ...

EPFL2017

Dynamic Byzantine Reliable Broadcast

Rachid Guerraoui, Jovan Komatovic, Dragos-Adrian Seredinschi

Reliable broadcast is a communication primitive guaranteeing, intuitively, that all processes in a distributed system deliver the same set of messages. The reason why this primitive is appealing is twofold: (i) we can implement it deterministically in a co ...

Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik2021

Asynchronous distributed coordination and consensus with threshold logical clocks

Bryan Alexander Ford

Consensus protocols for asynchronous networks are usually complex and inefficient, leading practical systems to rely on synchronous protocols. The invention proposes an approach to simplify asynchronous consensus by building it atop a novel threshold logic ...

2021

Axo: Tolerating Delay Faults in Real-Time Systems

Jean-Yves Le Boudec, Simon Bliudze, Wajeb Saab, Maaz Mashood Mohiuddin

We address delay faults: faults that cause a software component to take more time for completing an action than a given deadline. Such faults are particularly of interest in real- time mission-critical control applications that use general-purpose computin ...

2016

The Schur-Erdos problem for sesmi-algebraic colorings

János Pach

We considerm-colorings of the edges of a complete graph, where each color class is defined semi-algebraically with bounded complexity. The casem= 2 was first studied by Alon et al., who applied this framework to obtain surprisingly strong Ramsey-type resul ...

HEBREW UNIV MAGNES PRESS2020

Distributed Computing with Modern Shared Memory

Mihail Igor Zablotchi

In this thesis, we revisit classic problems in shared-memory distributed computing through the lenses of (1) emerging hardware technologies and (2) changing requirements. Our contributions consist, on the one hand, in providing a better understanding of th ...

EPFL2020

Incremental Syllable-Context Phonetic Vocoding

Petr Motlicek, Philip Neil Garner

Current very low bit rate speech coders are, due to complexity limitations, designed to work off-line. This paper investigates incremental speech coding that operates real-time and incrementally (i.e., encoded speech depends only on already-uttered speech ...

2015

Comparative Study of Trust Modeling For Automatic Landmark Tagging

Touradj Ebrahimi, Péter Vajda, Ivan Ivanov

Many images uploaded to social networks are related to travel, since people consider traveling to be an important event in their life. However, a signiﬁcant amount of travel images on the Internet lack proper geographical annotations or tags. In many cases ...

Ieee-Inst Electrical Electronics Engineers Inc2013

Quartiers résidentiels périurbains en transition : Comparaison multicritère de scénarios prospectifs à l'horizon 2050

Judith Elisa Drouilles

Since the Industrial Revolution, urban spaces have undergone a profound reorganisation in parallel with a transformation of society and lifestyles. Urban sprawl has become widespread in Switzerland, as in countless countries, due to continuous innovations ...

EPFL2019

The committee machine: computational to statistical gaps in learning a two-layers neural network

Nicolas Macris, Florent Gérard Krzakala, Lenka Zdeborová, Jean François Emmanuel Barbier

Heuristic tools from statistical physics have been used in the past to locate the phase transitions and compute the optimal learning and generalization errors in the teacher-student scenario in multi-layer neural networks. In this paper, we provide a rigor ...

IOP PUBLISHING LTD2019