Publications associées à Static library

HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation

Given the increasing ubiquity of online embedded devices, analyzing their firmware is important to security, privacy, and safety. The tight coupling between hardware and firmware and the diversity found in embedded systems makes it hard to perform dynamic ...

USENIX ASSOC2020

Combining Dynamic & Static Scheduling in High-level Synthesis

Paolo Ienne, Lana Josipovic

A central task in high-level synthesis is scheduling: the allocation of operations to clock cycles. The classic approach to scheduling is static, in which each operation is mapped to a clock cycle at compile-time, but recent years have seen the emergence o ...

ASSOC COMPUTING MACHINERY2020

Quasiconvexity and Relaxation in Optimal Transportation of Closed Differential Forms

Bernard Dacorogna

This manuscript extends the relaxation theory from nonlinear elasticity to electromagnetism and to actions defined on paths of differential forms. The introduction of a gauge allows for a reformulation of the notion of quasiconvexity in Bandyopadhyay et al ...

SPRINGER2019

The LifeV library: engineering mathematics beyond the proof of concept

Simone Deparis, Davide Forti, Luca Formaggia

LifeV is a library for the finite element (FE) solution of partial differential equations in one, two, and three dimensions. It is written in C++ and designed to run on diverse parallel architectures, including cloud and high performance computing faciliti ...

2018

A General Framework for Sensor Placement in Source Localization

Patrick Thiran, Brunella Marta Spinelli, Laura Elisa Celis

When an epidemic spreads in a given network of individuals or communities, can we detect its source using only the information provided by a small set of nodes? We propose a general framework that incorporates two dimensions. First, we can either rely excl ...

2019

Forge: Generating a High Performance DSL Implementation from a Declarative Specification

Martin Odersky, Tiark Rompf

Domain-specific languages provide a promising path to automatically compile high-level code to parallel, heterogeneous, and distributed hardware. However, in practice high performance DSLs still require considerable software expertise to develop and force ...

Assoc Computing Machinery2014

Distributed digital real-time control system for TCV tokamak

Olivier Sauter, Basil Duval, Stefano Coda, Jean-Marc Moret, Federico Alberto Alfredo Felici, Damien Fasel, Philippe Marmillod, James Paley, Hoang Bao Le

A new digital feedback control system (named the SCD "Systeme de Controle Distribue") has been developed, integrated and used successfully to control TCV (Tokamak a Configuration Variable) plasmas. The system is designed to be modular, distributed, and sca ...

Elsevier Science Sa2014

Connections by Adhesion, Interlocking and Friction for Steel-Concrete Composite Bridges under Static and Cyclic Loading

Dimitrios Papastergiou

Steel-concrete composite bridges with twin-I steel girders and prefabricated slabs constitute an economical and competitive solution for small and medium bridge spans. In recent years they have started to gain their share in the construction market. Howeve ...

EPFL2012

Constitutionally selective amplification of multicomponent 84-membered macrocyclic hosts for (−)-cytidine•H+

Kay Severin

Mixtures of dipeptide monomers create stereochemically and constitutionally complex dynamic libraries of potential receptors. When (−)-cytidine was utilized as guest an 84-membered cyclic host was amplified (70–175 fold) from a nearly undetectable initial ...

2011

Studying Application–Library Interaction and Behavior with LibTrac

George Candea, Paul Dan Marinescu, Eric Bisolfati

The boundary between programs and libraries is an appealing location for injecting faults during testing: the cost of doing so is low, and one can emulate a wide range of errors. Several tools exist, but using them faces the challenge of deciding exactly w ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2010

Disseminating Streaming Data in a Dynamic Environment: an Adaptive and Cost-Based Approach

In a distributed stream processing system, streaming data are continuously disseminated from the sources to the distributed processing servers. To enhance the dissemination efficiency, these servers are typically organized into one or more dissemination tr ...

Springer-Verlag2008

What static and dynamic properties should slalom skis possess? Judgments by advanced and expert skiers

Michael Herzog, Olaf Blanke, Pierre-Etienne Bourban, Christian Fischer

Flexural and torsional rigidity are important properties of skis. However, the flexural and torsional rigidity that lead to optimal performance remain to be established. In the present study, four pairs of slalom skis that differed in flexural and torsiona ...

Taylor & Francis2007

The host software for the real-time PHA X-ray diagnostic on TCV

Basil Duval

A real-time pulse height analysis (PHA) X-ray diagnostic for the TCV tokamak has been developed using CFN multi-DSP-based VME acquisition, processing and control board. The hardware is composed by: (i) a detection system based on a Si SDD detector; (ii) a ...

2006

GosSkip, an Efficient, Fault-Tolerant and Self Organizing Overlay Using Gossip-based Construction and Skip-Lists principles

Rachid Guerraoui, Anne-Marie Kermarrec, Sidath Handurukande, Kévin Clément Huguenin

This paper presents GosSkip, a self organizing and fully distributed overlay that provides a scalable support to data storage and retrieval in dynamic environments. The structure of GosSkip, while initially possibly chaotic, eventually matches a perfect se ...

2006

Motion tracking for human-robot interaction

Björn Jensen

This thesis aims at improving the perceptional side of interaction to enable the handling of more complex situations. For the Swiss National Exposition Expo.02 the robot RoboX and an event-driven interaction system have been designed by members of our lab. ...

EPFL2004