Publications related to Control register

SoK: Shining Light on Shadow Stacks

Control-Flow Hijacking attacks are the dominant attack vector against C/C++ programs. Control-Flow Integrity (CFI) solutions mitigate these attacks on the forward edge, i.e., indirect calls through function pointers and virtual calls. Protecting the backwa ...

IEEE COMPUTER SOC2019

Tokamak-agnostic actuator management for multi-task integrated control with application to TCV and ITER

Olivier Sauter, Federico Alberto Alfredo Felici, Cristian Galperti, Mengdi Kong

The plasma control system (PCS) of a long-pulse tokamak must be able to handle multiple control tasks simultaneously, and must be capable of robust event handling with a limited set of actuators. For ITER, this is particularly challenging given the large n ...

2019

Fermi resonance in CO2: Mode assignment and quantum nuclear effects from first principles molecular dynamics

Sara Bonella, Guillaume André Jean Fraux

Vibrational spectroscopy is a fundamental tool to investigate local atomic arrangements and the effect of the environment, provided that the spectral features can be correctly assigned. This can be challenging in experiments and simulations when double pea ...

Amer Inst Physics2017

Measurement of the CP Asymmetry in B-0 -> K*(0)mu(+)mu(-) Decays

Olivier Schneider, Aurelio Bay, Yiming Li, Guido Haefeli, Frédéric Blanc, Christoph Frei, Tatsuya Nakada, Julien Rouvinet, Barinjaka Rakotomiaramanana, Raluca Anca Muresan, Michel De Cian, Christophe Salzmann, Johan Luisier, Anne Keune, Jian Wang, Vincent Fave, Yi Zhang, Lei Zhang, Jessica Prisciandaro, Mark Tobin, Minh Tâm Tran, Niko Neufeld, Matthew Needham, Marc-Olivier Bettler, Greig Alan Cowan, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Cédric Potterat, Jean Wicht, Ilya Komarov, Plamen Hristov Hopchev, Bastien Luca Muster, Frédéric Guillaume Dupertuis, Pierre Jaton, Joël Bressieux, Songmei Wu, Hans Dijkstra, Gerhard Raven, Peter Clarke, Frédéric Teubert, Giovanni Carboni, ,

Measurement of the CP Asymmetry in B+ -> K+ mu(+) mu(-) Decays

Olivier Schneider, Aurelio Bay, Yiming Li, Guido Haefeli, Frédéric Blanc, Christoph Frei, Tatsuya Nakada, Julien Rouvinet, Barinjaka Rakotomiaramanana, Raluca Anca Muresan, Michel De Cian, Johan Luisier, Luca Pescatore, Anne Keune, Jian Wang, Yi Zhang, Lei Zhang, Jessica Prisciandaro, Mark Tobin, Minh Tâm Tran, Niko Neufeld, Matthew Needham, Marc-Olivier Bettler, Greig Alan Cowan, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Cédric Potterat, Liang Sun, Pietro Marino, Jean Wicht, Ilya Komarov, Plamen Hristov Hopchev, Bastien Luca Muster, Frédéric Guillaume Dupertuis, Pierre Jaton, Joël Bressieux, Songmei Wu, Albert Puig Navarro, Lucía Castillo García, Raphael Märki, Hans Dijkstra, , , , , , , , , , ,

Why Nothing Matters: The Impact of Zeroing

Jennifer Bedke Sartor, Xi Yang

Memory safety defends against inadvertent and malicious misuse of memory that may compromise program correctness and security. A critical element of memory safety is zero initialization. The direct cost of zero initialization is surprisingly high: up to 12 ...

2011

Sub-Logarithmic Test-and-Set Against a Weak Adversary

Dan Alistarh

A randomized implementation is given of a test-and-set register with O(log log it) individual step complexity and O(n) total step complexity against an oblivious adversary. The implementation is linearizable and multi-shot, and shows an exponential complex ...

Springer-Verlag Berlin2011

System for generating computer processor

A method and apparatus to produce a net list of gates and Flip-Flops for one algorithm in order to find the best compromise between power consumption, speed and silicon surface by using a two step process. First the algorithm is written for a processor tha ...

2010

New slip synthesis and theoretical approach of CVT slip control

Yves Rothenbühler

Today's vehicle must be efficient in terms of gas (CO2, NOx) emissions and fuel consumption. Due to improvements in material and oil, the continuous variable transmission (CVT) is now making a breakthrough in the automotive market. The CVT decouples the en ...

EPFL2009

Sharing is Harder than Agreeing

Rachid Guerraoui

One of the most celebrated results of the theory of distributed computing is the impossibility, in an asynchronous system of

n

processes that communicate through shared memory registers, to solve the set agreement problem where the processes need to deci ...

2008

A scalable and oblivious atomicity assertion

Rachid Guerraoui, Marko Vukolic

This paper presents SOAR: the first oblivious atomicity assertion with polynomial complexity. SOAR enables to check atomicity of a single-writer multi-reader register implementation. The basic idea underlying the low overhead induced by SOAR lies in greedi ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008

Register File Reliability Analysis Through Cycle-Accurate Thermal Emulation

David Atienza Alonso, Pablo Garcia del Valle, José Luis Ayala Rodrigo

Continuous transistor scaling due to improvements in CMOS devices and manufacturing technologies is increasing processor power densities and temperatures; thus, creating challenges when trying to maintain manufacturing yield rates and devices which will be ...

IEEE Computer Society2008

Amnesic Distributed Storage

Rachid Guerraoui

Distributed storage algorithms implement the abstraction of a shared register over distributed base objects. We study a specific class of storage algorithms, which we call amnesic: these have the pragmatic property that old values written in the implemente ...

2007

Proactive Steering Toward Oriented Targets

Ronan Boulic

In this paper we introduce a real-time steering controller ensuring the reach of a (possible mobile) target position and orientation, without requiring to build/update the full trajectory to that target. We name it the funnelling control. The final orienta ...

2005