Recovery Algorithms for Paxos-Based State Machine Replication

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.

The Gm/ID approach has proven to be an efficient technique for the design of low-power analog circuits. Until now it was mostly demonstrated on older CMOS technology nodes. In this paper we will show that the Gm/ID methodology still holds for advanced tech ...

Sexual harassment is prevalent at all levels of higher education and research and in all disciplines, which means that engineering education is no exception. Following the #MeToo movement, students have started to report cases of abuses publicly in our ins ...

We conducted a comparative user study of the Infinadeck [1] omnidirectional treadmill native control algorithm alongside an approach based on a state observer control scheme combining a kinematic model with error dynamics that allows users to change their ...

Hyperdimensional (HD) computing is a novel approach to machine learning inspired by neuroscience, which uses vectors in a hyper-dimensional space to represent data and models. This approach has gained significant interest in recent years with applications ...

The acquisition of survey responses is a crucial component in conducting research aimed at comprehending public opinion. However, survey data collection can be arduous, time-consuming, and expensive, with no assurance of an adequate response rate. In this ...

This paper defines a Maximum Likelihood Estimator (MLE) for the admittance matrix estimation of distribution grids, utilising voltage magnitude and power measurements collected only from common, unsychronised measuring devices (Smart Meters). First, we pre ...

Context: Introducing Computer Science (CS) into formal education can be challenging, notably when considering the numerous stakeholders involved which include the students, teachers, schools, and policy makers. We believe these perspectives should be con ...

Previous works on age of information and erasure channels have dealt with specific models and computed the average age or average peak age for certain settings. In this paper, given a source that produces a letter every T-s seconds and an erasure channel t ...

As the usage of FPGAs spreads, engineers will inevitably employ them in ways unforeseen-or unwanted-by their manufacturers. Xilinx's toolchains offer multiple points for customizing the FPGA compilation flow, but all flows must end with Vivado as it is the ...

Soft Magnetic Composites (SMCs) have huge application potential in electrical devices. With the development of additive manufacturing (AM), the properties of SMCs can be boosted. It is therefore required an optimization algorithm to design SMCs considering ...

Transaction processing is a central part of most database applications. While serializability remains the gold standard for desirable transactional semantics, many database systems offer improved transaction throughput at the expense of introducing potenti ...

In this work, we present a simple biometric indexing scheme which is binning and retrieving cancelable deep face templates based on frequent binary patterns. The simplicity of the proposed approach makes it applicable to unprotected as well as protected, i ...

State-of-the-art methods for counting people in crowded scenes rely on deep networks to estimate crowd density. While effective, these data-driven approaches rely on large amount of data annotation to achieve good performance, which stops these models from ...

There are increasing interests in document layout representation learning and understanding. Transformer, with its great power, has become the mainstream model architecture and achieved promising results in this area. As elements in a document layout consi ...

In this paper, we study the compression of a target two-layer neural network with N nodes into a compressed network with M < N nodes. More precisely, we consider the setting in which the weights of the target network are i.i.d. sub-Gaussian, and we minimiz ...

We describe the first gradient methods on Riemannian manifolds to achieve accelerated rates in the non-convex case. Under Lipschitz assumptions on the Riemannian gradient and Hessian of the cost function, these methods find approximate first-order critical ...

Kinetic models of metabolism relate metabolic fluxes, metabolite concentrations and enzyme levels through mechanistic relations, rendering them essential for understanding, predicting and optimizing the behaviour of living organisms. However, due to the la ...

This paper investigates the effect of combination policies on the performance of adaptive social learning in non-stationary environments. By analyzing the relation between the error probability and the underlying graph topology, we prove that in the slow a ...

A major obstacle to achieving global convergence in distributed and federated learning is the misalignment of gradients across clients, or mini-batches due to heterogeneity and stochasticity of the distributed data. In this work, we show that data heteroge ...

Recovery Algorithms for Paxos-Based State Machine Replication

Chat with Graph Search

Design of Low-power Analog Circuits in Advanced Technology Nodes using the Gm/ID Approach

Supporting Well-Being: A Digital Intervention Model for Disclosing Sexual Harassment in Higher Education

User study of omnidirectional treadmill control algorithms in VR

Hyperdimensional computing for biosignal monitoring: Applications for epilepsy detection

Predicting Survey Response with Quotation-based Modeling: A Case Study on Favorability towards the United States

Maximum likelihood estimation of distribution grid topology and parameters from Smart Meter data

A Research-Practice Partnership to Introduce Computer Science in Secondary School: Lessons from a Pilot Program

Optima Age Over Erasure Channels

Bitfiltrator: A general approach for reverse-engineering Xilinx bitstream formats

Topology Optimization of Soft Magnetic Composites with Integer Programming

Privacy in Retrieval, Computing, and Learning

Robustness Against Read Committed: A Free Transactional Lunch

Indexing Protected Deep Face Templates by Frequent Binary Patterns

Leveraging Self-Supervision for Cross-Domain Crowd Counting

Exploring Heterogeneous Feature Representation for Document Layout Understanding

Sharp asymptotics on the compression of two-layer neural networks

An Accelerated First-Order Method for Non-convex Optimization on Manifolds

Reconstructing Kinetic Models for Dynamical Studies of Metabolism using Generative Adversarial Networks

Optimal Combination Policies For Adaptive Social Learning

Implicit Gradient Alignment in Distributed and Federated Learning