Publication

Transactional memory, linking theory and practice

Publications associées (35)

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

Transaction Polymorphism

Rachid Guerraoui, Vincent Gramoli

Concurrent implementations of abstract types usually rely on lock-free primitives or locks and are highly tuned to support a finite set of efficient operations. However, it is very hard to extend such types for specific needs by adding new operations. The ...

2011

Governing the dynamics of the network industries

Matthias Finger, Marc Laperrouza, Nicolas Crettenand

This paper wants to further develop the theory of co-evolution between technology and institutions in the network industries by addressing one of the critiques that is generally raised, namely the lack of taking into account its dynamics. The paper outline ...

Discussion paper series on the coherence between institutions and technologies in infrastructures2010

Transactional Memory: Glimmer of a Theory

Rachid Guerraoui, Michal Kapalka

Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall some TM correctness properties and then overview results on the inherent powe ...

ACM2009

The Coherence of Theories-Dependencies and Weights

Jingshi Li

One way to evaluate and compare rival but potentially incompatible theories that account for the same set of observations is coherence. In this paper we take the quantitative notion of theory coherence as proposed by [Kwok, et.al. 98] and broaden its found ...

2009

On the Role of Low-Energy CP Violation in Leptogenesis

Steve Blanchet

The link between low-energy CP violation and leptogenesis became more accessible with the understanding of flavor effects. However, a definite well-motivated model where such a link occurs was still lacking. Adjoint SU(5) is a simple grand unified theory w ...

2008

Structural properties of amorphous GeSe2

Alfredo Pasquarello

By using first-principles molecular dynamics within density functional theory, we study the structural properties of amorphous GeSe2 at T = 300 K. The amorphous configurations have been obtained via cooling from the liquid state followed by extensive relax ...

2007

Theory of trapped polaritons in patterned microcavities

Vincenzo Savona, Davide Sarchi, Pierre Lugan

We consider the system of a quantum well embedded in a planar semiconductor microcavity with a shallow circular mesa patterned on top of the cavity spacer. For this system we develop the linear coupling theory of polaritons. We then compute polariton eigen ...

V C H PUBLISHERS, SUITE 909, 220 E 23RD ST, NEW YORK, NY 10010 USA2006

Spectral Methods

Alfio Quarteroni

Since the publication of "Spectral Methods in Fluid Dynamics" 1988, spectral methods have become firmly established as a mainstream tool for scientific and engineering computation. The authors of that book have incorporated into this new edition the many i ...

Springer2006

Observational manifestations of anomaly inflow

Alexey Boyarsky, Oleg Ruchayskiy

In theories with chiral couplings, one of the important consistency requirements is that of the cancellation of a gauge anomaly. In particular, this is one of the conditions imposed on the hypercharges in the standard model. However, anomaly cancellation c ...

2005

Strengthening MDA by Drawing from the Living Systems Theory

Alain Wegmann, Otto Preiss

OMGs Model Driven Architecture initiative comes at a time where information system builders and integrators have realized that application design and thus application interoperability is not primarily a technology issue but is about understanding different ...

2002