Replicated state machines without replicated execution

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.

Sliding at a quasi-statically loaded frictional interface can occur via macroscopic slip events, which nucleate locally before propagating as rupture fronts very similar to fracture. We introduce a microscopic model of a frictional interface that includes ...

The process of frictional rupture, i.e., the failure of frictional systems, abounds in the technological and natural world around us, ranging from squealing car brake pads to earthquakes along geological faults. A general framework for understanding and in ...

The popularity and applicability of mobile crowdsensing applications are continuously increasing due to the widespread of mobile devices and their sensing and processing capabilities. However, we need to offer appropriate incentives to the mobile users who ...

Current online applications, such as search engines, social networks, or file sharing services, execute across a distributed network of machines. They provide non-stop services to their users despite failures in the underlying network. To achieve such a hi ...

Generalized linear models, where a random vector x is observed through a noisy, possibly nonlinear, function of a linear transform z = A x, arise in a range of applications in nonlinear filtering and regression. Approximate message passing (AMP) methods, b ...

In this paper we construct an explicit interpolation formula for Schwartz functions on the real line. The formula expresses the value of a function at any given point in terms of the values of the function and its Fourier transform on the set {0,+/- 1,+/- ...

We consider sums of oscillating functions on intervals in cyclic groups of size close to the square root of the size of the group. We first prove non-trivial estimates for intervals of length slightly larger than this square root (bridging the "Polya-Vinog ...

The legacy of Joseph Fourier in science is vast, especially thanks to the essential tool that the Fourier transform is. The flexibility of this analysis, its computational efficiency and the physical interpretation it offers makes it a cornerstone in many ...

The purpose of the roadmap proposed by IRGC is to recommend a structured process that organisations can follow in their transition towards the development of precision medicine. The process is adaptable, and each organisation should further develop it to a ...

Online services are becoming more and more ubiquitous and keep growing in scale. At the same time, they are required to be highly available, secure, energy-efficient, and to achieve high performance. To ensure these (and many other) properties, replication ...

Compressed sensing is provided a data-acquisition paradigm for sparse signals. Remarkably, it has been shown that the practical algorithms provide robust recovery from noisy linear measurements acquired at a near optimal sampling rate. In many real-world a ...

The estimation of a random vector with independent components passed through a linear transform followed by a componentwise (possibly nonlinear) output map arises in a range of applications. Approximate message passing (AMP) methods, based on Gaussian appr ...

The invention relates to a method and an apparatus for encoding and/or decoding digital images, wherein said encoding apparatus (1100) comprises processing means (1110) configured for determining weights of a graph related to an image by minimizing a cost ...

Inexact circuits and approximate computing have been gaining a lot of interest in order to improve performances and energy efficiency beyond the boundaries of conventional digital circuits. Image and video processing is one of the best candidate for applyi ...

A contactless payment lets a card holder execute payment without any interaction (e.g., entering PIN or signing) between the terminal and the card holder. Even though the security is the first priority in a payment system, the formal security model of cont ...

Replicated state machines without replicated execution

Chat with Graph Search

How collective asperity detachments nucleate slip at frictional interfaces

Emergence of Cracklike Behavior of Frictional Rupture: The Origin of Stress Drops

Privacy Preserving and Cost Optimal Mobile Crowdsensing using Smart Contracts on Blockchain

System Support for Efficient Replication in Distributed Systems

Inference for Generalized Linear Models via Alternating Directions and Bethe Free Energy Minimization

Fourier interpolation on the real line

On Short Sums Of Trace Functions

Fourier could be a data scientist: From graph Fourier transform to signal processing on graphs

A roadmap for the development of precision medicine

Scaling Byzantine Fault Tolerance

Unified Theory for Recovery of Sparse Signals in a General Transform Domain

Fixed Points of Generalized Approximate Message Passing with Arbitrary Matrices

Methods and apparatuses for encoding and decoding digital images or video streams

Design of Energy-Efficient Discrete Cosine Transform using Pruned Arithmetic Circuits

Secure Contactless Payment