Publication

Safety-Liveness Exclusion in Distributed Computing

Publications associées (32)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Safety-Liveness Exclusion in Distributed Computing

Rachid Guerraoui, Victor Bushkov

The history of distributed computing is full of trade-offs between safety and liveness. For instance, one of the most celebrated results in the field, namely the impossibility of consensus in an asynchronous system basically says that we cannot devise an a ...

ACM Press2015

Toward a Materials Genome Approach for Ionic Liquids: Synthesis Guided by Ab Initio Property Maps

Berend Smit

The Materials Genome Approach (MGA) aims to accelerate development of new materials by incorporating computational and data-driven approaches to reduce the cost of identification of optimal structures for a given application. Here, we use the MGA to guide ...

Amer Chemical Soc2014

, ,

Set agreement is a fundamental problem in distributed computing in which processes collectively choose a small subset of values from a larger set of proposals. The impossibility of fault-tolerant set agreement in asynchronous networks is one of the seminal ...

2012

Data-driven tuning of linear parameter varying precompensators

Alireza Karimi, Mark Edward John Butcher

Methods for direct data-driven tuning of the parameters of precompensators for LPV systems are developed. Since the commutativity property is not always satisfied for LPV systems, previously proposed methods for LTI systems that use this property cannot be ...

Wiley-Blackwell2010

How Live Can a Transactional Memory Be?

Rachid Guerraoui, Michal Kapalka

This paper asks how much liveness a transactional memory (TM) implementation can guarantee. We first devise a formal framework for reasoning about liveness properties of TMs. Then, we prove that the strongest liveness property that a TM can ensure in an as ...

2009

Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement

Rachid Guerraoui, Seth Gilbert, Dan Alistarh

Springer2009

On Obstruction-Free Transactions

Rachid Guerraoui, Michal Kapalka

This paper studies obstruction-free software transactional memory systems (OFTMs). These systems are appealing, for they combine the atomicity property of transactions with a liveness property that ensures the commitment of every transaction that eventuall ...

ACM2008

On Obstruction-Free Transactions

Rachid Guerraoui, Michal Kapalka

2008

Adaptive Load Sharing for Network Processors

Jean-Yves Le Boudec

A novel scheme for processing packets in a router is presented that provides load sharing among multiple network processors distributed within the router. It is complemented by a feedback control mechanism designed to prevent processor overload. Incoming t ...

2008

Property (T) and rigidity for actions on Banach spaces

Nicolas Monod

We study property (T) and the fixed point property for actions on Lp and other Banach spaces. We show that property (T) holds when L2 is replaced by Lp (and even a subspace/quotient of Lp), and that in fact it is independent of 1 ≤ p < ∞. We show that the ...

2007