Publications related to Recovery Algorithms for Paxos-Based State Machine Replication

Related publications (27)

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

Simon Olivier Berner, Christian Enz, Hung-Chi Han

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 ...

IEEE2023

On the Granularity of Explanations in Model Agnostic NLP Interpretability

Pascal Frossard, Yves Rychener

Current methods for Black-Box NLP interpretability, like LIME or SHAP, are based on altering the text to interpret by removing words and modeling the Black-Box response. In this paper, we outline limitations of this approach when using complex BERT-based c ...

SPRINGER INTERNATIONAL PUBLISHING AG2023

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

Denis Gillet, Isabelle Barbara Marie-Hélène Cardia

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 ...

IEEE2023

User study of omnidirectional treadmill control algorithms in VR

Ronan Boulic, Mathias Guy Delahaye

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 ...

IEEE COMPUTER SOC2023

Hyperdimensional computing for biosignal monitoring: Applications for epilepsy detection

Una Pale

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 ...

EPFL2023

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

Alireza Amirshahi, Saleh Baghersalimi

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 ...

IEEE COMPUTER SOC2023

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

Lisa Carole Françoise Laurent, Giancarlo Ferrari Trecate, Jean-Sébastien Hubert Brouillon

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 ...

IEEE2023

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

Francesco Mondada, Barbara Bruno, Jessica Elke Dehler Zufferey, Laila Abdelsalam El-Hamamsy, Helena Kovacs, Jean-Philippe Pellet

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 ...

2023

Optima Age Over Erasure Channels

Emre Telatar, Rajai Nasser, Elie Najm

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 ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

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

James Richard Larus, Sahand Kashani, Seyedmahyar Emami

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 ...

IEEE COMPUTER SOC2022

Topology Optimization of Soft Magnetic Composites with Integer Programming

Yves Perriard, Adrien Jean-Michel Thabuis, Xiaotao Ren

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 ...

IEEE2022

Privacy in Retrieval, Computing, and Learning

Michael Christoph Gastpar

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Robustness Against Read Committed: A Free Transactional Lunch

Christoph Koch, Bas Ketsman

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 ...

ASSOC COMPUTING MACHINERY2022

Indexing Protected Deep Face Templates by Frequent Binary Patterns

Sébastien Marcel, Hatef Otroshi Shahreza

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 ...

IEEE2022

Leveraging Self-Supervision for Cross-Domain Crowd Counting

Pascal Fua, Weizhe Liu, Nikita Durasov

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 ...

IEEE COMPUTER SOC2022

Exploring Heterogeneous Feature Representation for Document Layout Understanding

Guosheng Feng

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 ...

IEEE COMPUTER SOC2022

Sharp asymptotics on the compression of two-layer neural networks

Mohammad Hossein Amani, Marco Mondelli

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 ...

IEEE2022

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

Christopher Arnold Criscitiello, Nicolas Boumal

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 ...

SPRINGER2022

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

Vassily Hatzimanikatis, Ljubisa Miskovic, Subham Choudhury, Daniel Robert Weilandt, Pierre Guy Rémy Salvy, David Michael Moret

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 ...

NATURE PORTFOLIO2022

Optimal Combination Policies For Adaptive Social Learning

Stefan Vlaski, Virginia Bordignon, Ping Hu

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 ...

IEEE2022