Publication

On the liveness of transactional memory

Publications associées (7)

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

Cellular Covers of Local Groups

Jérôme Scherer

We prove that, in the category of groups, the composition of a cellularization and a localization functor need not be idempotent. This provides a negative answer to a question of Emmanuel Dror Farjoun. ...

SPRINGER BASEL AG2018

Non-autonomous functionals, borderline cases and related function classes

Maria Colombo

The class of non-autonomous functionals under study is characterized by the fact that the energy density changes its ellipticity and growth properties according to the point; some regularity results are proved for related minimizers. These results are the ...

2016

This paper analyses Maillart’s Vessy Bridge from a design point of view using thrust lines. As it has previously been shown that Robert Maillart used graphic statics to design the line and the structural features of his bridges, it proves appropriate to re ...

2014

, ,

Despite the large amount of work on Transactional Memory (TM), little is known about how much liveness it could provide. This paper presents the first formal treatment of the question. We prove that no TM implementation can ensure local progress, the analo ...

2011

Crystal collimation studies at the Tevatron (T-980)

Valentina Previtali

Bent-crystal channeling is a technique with a potential to increase beam-halo collimation efficiency in high-energy colliders. First measurements at the Tevatron in 2005 have shown that using a thin silicon crystal to deflect the 1-TeV proton beam halo ont ...

2010

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

Totally geodesic subgraphs of the pants complex

Hugo Parlier

In recent work of Brock's, the pants graph is shown to be a combinatorial model for the completion of the Weil-Petersson metric on Teichmuller space. We prove that every Farey graph embedded in the pants graph is totally geodesic, in analogy with the extri ...

2008