A new look at atomic broadcast in the asynchronous crash-recovery model
Related publications (37)
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
Conventionally, nonreciprocity in time-varying systems is achieved by exploiting both temporal and spatial modulations. In this paper, we introduce a concept of magnetless bianisotropic time-modulated systems that support nonreciprocal wave propagation at ...
This paper presents a novel distributed approach for solving AC power flow (PF) problems. The optimization problem is reformulated into a distributed form using a communication structure corresponding to a hypergraph, by which complex relationships between ...
With 1 billion watch-time hours per day, YouTube now plays a major role in communication. Unfortunately, a large amount of misinformation is produced and widely shared on this platform (Donzelli et al., 2018; Allgaier, 2019; Loeb et al., 2019). In this pap ...
This paper presents a strategy for providing reliable state estimates that allow a group of robots to realize a formation even when communication fails and the tracking data alone is insufficient for maintaining a stable formation. Furthermore, the trackin ...
We prove an asymptotic formula for the second moment of a product of two Dirichlet L-functions on the critical line, which has a power saving in the error term and which is uniform with respect to the involved Dirichlet characters. As special cases we give ...
The parameterization of rational Bézier surfaces greatly affects rendering and tessellation results. The uniformity and orthogonality of iso-parametric curves are two key properties of the optimal parameterization. The only rational Bézier surfaces with un ...
In distributed optimization and machine learning, multiple nodes coordinate to solve large problems. To do this, the nodes need to compress important algorithm information to bits so that it can be communicated over a digital channel. The communication tim ...
We introduce a greedy non-intrusive reduced order method(ROM) for parameterized time-dependent problems with an emphasis on problems in fluid dynamics. The non-intrusive ROM is based on two-level proper orthogonal decomposition(POD) to extract temporal and ...
American Institute of Aeronautics and Astronautics2017
Multicore hardware demands software parallelism. Transaction processing workloads typically exhibit high concurrency, and, thus, provide ample opportunities for parallel execution. Unfortunately, because of the characteristics of the application, transacti ...
In a range proof, the prover convinces the verifier in zero-knowledge that he has encrypted or committed to a value a ∈ [0,H] where H is a public constant. Most of the previous non-interactive range proofs have been proven secure in the random oracle model ...