Publications associées à 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, Yiming Li, Aurelio Bay, Guido Haefeli, Frédéric Blanc, Christoph Frei, Tatsuya Nakada, Julien Rouvinet, Barinjaka Rakotomiaramanana, Michel De Cian

A measurement of the CP asymmetry in B-0 -> K*(0)mu(+)mu(-) decays is presented, based on 1.0 fb(-1) of pp collision data recorded by the LHCb experiment during 2011. The measurement is performed in six bins of invariant mass squared of the mu(+)mu(-) pair ...

Amer Physical Soc2013

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, Michel De Cian

A measurement of the CP asymmetry in B+ -> K+ mu(+)mu(-) decays is presented using pp collision data, corresponding to an integrated luminosity of 1.0 fb(-1), recorded by the LHCb experiment during 2011 at a center-of-mass energy of 7 TeV. The measurement ...

American Physical Society2013

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