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

Limitations of Partial Compaction: Towards Practical Bounds

Nachshon Cohen

Compaction of a managed heap is a costly operation to be avoided as much as possible in commercial runtimes. Instead, partial compaction is often used to defragment parts of the heap and avoid space blowup. Previous study of compaction limitation provided ...

Assoc Computing Machinery2017

A leap of faith in the realm of the possible.

Caroline Dionne

The architectural projects and building operations conducted over the past three decades by Patrick Bouchain and his collaborators challenge a series of assumptions regarding architecture’s authorship, its purpose and usage. Examined in light of Paul Ricoe ...

2016

Supergravity with broken Lorentz invariance

Sergey Sibiryakov

The supersymmetric extension of the Lorentz violating Einstein-aether theory of gravity is considered. The most general Lagrangian of the linearized Einstein-aether supergravity is constructed using the superfield formalism. The constraints imposed by supe ...

EDP Sciences2016

Expansivity and Roquette groups

Alex Monnard

We prove the non-existence of expansive subgroups with trivial global core in different families of Roquette groups. This study is motivated by the importance of expansive subgroups in the theory of stabilizing bisets highlighted in [4]. ...

Elsevier2015

Time-varying FRI Theory for Sound Source Localization

Ivan Dokmanic, Juri Ranieri, Helena Peic Tukuljac

In this report we present results of a Semester project in the Winter semester of 2015. The project focuses on exploration of FRI theory for 1D case and its generalization. This theory is further applied to sound source localization with extension to signa ...

2015

Untangling the Mechanics and Topology in the Frictional Response of Long Overhand Elastic Knots

Pedro Miguel Nunes Pereira de Almeida Reis

We combine experiments and theory to study the mechanics of overhand knots in slender elastic rods under tension. The equilibrium shape of the knot is governed by an interplay between topology, friction, and bending. We use precision model experiments to q ...

American Physical Society2015

Controlled stripes of ultrafine ferroelectric domains

Nava Setter, Alexander Tagantsev, Igor Stolichnov, Tomas Sluka, Silviu Cosmin Sandu, Petr Yudin, Ludwig Feigl, Xiankui Wei, Mahamudu Mtebwa, Konstantin Shapovalov

In the pursuit of ferroic-based (nano) electronics, it is essential to minutely control domain patterns and domain switching. The ability to control domain width, orientation and position is a prerequisite for circuitry based on fine domains. Here, we deve ...

Nature Publishing Group2014

Electronic fine structure calculation of [Gd(DOTA)(H2O)]- using LF-DFT: The zero field splitting

Lothar Helm, Alain Borel

Zerfo field splitting plays an important role in determining the electron spin relaxation of Gd(III) in solution. We understand the ZFS as an effect depending on the f electron structure and treat it in the framework of ligand field-density functional theo ...

2012

Heated membranes for stencil lithography application

Sahbi Boujnah

This project aims to improve the technique of self-cleaning stencil based on heated membranes and minimize the clogging of stencil’s apertures. To this end, theory on vapor condensation has been developed for Aluminum, Chromium, Titanium, Gold and Platinum ...

2012

Towards a Theory of Glue

Simon Bliudze

We propose and study the notions of behaviour type and composition operator making a first step towards the definition of a formal framework for studying behaviour composition in a setting sufficiently general to provide insight into how the component-base ...

2012