Publication

Modeling and validating the performance of atomic broadcast algorithms in high-latency networks

Related publications (52)

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.

Contextual Stochastic Bilevel Optimization

Daniel Kuhn, Andreas Krause, Yifan Hu, Jie Wang

We introduce contextual stochastic bilevel optimization (CSBO) -- a stochastic bilevel optimization framework with the lower-level problem minimizing an expectation conditioned on some contextual information and the upper-level decision variable. This fram ...

2023

Overcoming decision paralysis—A digital twin for decision making in energy system design

François Maréchal, Tuong-Van Nguyen, Julia Granacher

The design of efficient energy systems, through the development of new technologies and the improvement of current ones, requires the use of rigorous process synthesis methods for generating and analysing design alternatives. We introduce a digital twin of ...

2022

Analyzing and Protecting Communication Metadata

Ludovic Barman

Most communication systems (e.g., e-mails, instant messengers, VPNs) use encryption to prevent third parties from learning sensitive information.However, encrypted communications protect the contents but often leak metadata: the amount of data sent and the ...

EPFL2021

Multi-armed Bandits in Action

Farnood Salehi

Making decisions is part and parcel of being human. Among a set of actions, we want to choose the one that has the highest reward. But the uncertainty of the outcome prevents us from always making the right decision. Making decisions under uncertainty can ...

EPFL2020

SBFT: a Scalable and Decentralized Trust Infrastructure

Dragos-Adrian Seredinschi

SBFT is a state of the art Byzantine fault tolerant state machine replication system that addresses the challenges of scalability, decentralization and global geo-replication. SBFT is optimized for decentralization and is experimentally evaluated on a depl ...

IEEE COMPUTER SOC2019

Influence of façade details on early design decisions regarding daylight performance of neighborhoods

Marilyne Andersen, Luisa Pastore, Minu Agarwal

Neighborhood form and building facade design are key drivers of indoor daylight performance. Architectural design at the neighborhood scale starts with massing scheme proposals and other design specifications including façade design are typically enriched ...

2018

A two-stage model of decision making

Michael Herzog, Adrien Christophe Doerig, Leila Drissi Daoudi - Kleinbauer

The drift diffusion model (Ratcliff, 1978) is widely used to model binary decision-making. In this model, evidence for the two alternatives is integrated over time until it hits a decision boundary leading to a reaction. The drift diffusion model fits many ...

2017

Optimistic Causal Consistency for Geo-Replicated Key-Value Stores

Willy Zwaenepoel, Diego Didona, Kristina Spirovska

In this paper we present a new approach to implementing causal consistency in geo-replicated data stores, which we call Optimistic Causal Consistency (OCC). The optimism in our approach lies in that updates from a remote data center are immediately made vi ...

Ieee Computer Soc2017

Trade policy: Home market effect versus terms-of-trade externality

Chiara Forlati

We study trade policy in a two-sector Krugman (1980) trade model, allowing for wage, import and export subsidies/taxes. We study non-cooperative trade policies, first for each individual instrument and then for the situation where all instruments can be se ...

Elsevier2014

Trade Policy: Home Market Effect versus Terms-of-Trade Externality

Chiara Forlati

We study trade policy in a two-sector Krugman (1980) trade model, allowing for production, import and export subsidies/taxes. We consider non-cooperative and cooperative trade policy, first for each individual instrument and then for the situation where al ...

Center for Fiscal Policy Working Paper Series2013