Publications associées à Algèbre de processus

Divide-and-conquer one-step simulator for the generation of synthetic households

This paper presents a novel simulation approach for generating synthetic households, addressing several literature gaps from the methodological viewpoint. The generation of hierarchical datasets such as complete households is challenging since it must guar ...

2023

Dynamic Byzantine Reliable Broadcast

Rachid Guerraoui, Jovan Komatovic, Dragos-Adrian Seredinschi, Andrei Tonkikh

Reliable broadcast is a communication primitive guaranteeing, intuitively, that all processes in a distributed system deliver the same set of messages. The reason why this primitive is appealing is twofold: (i) we can implement it deterministically in a co ...

Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik2021

Mechanical and Morphological Properties of Lignin-Based Thermosets

Cédric Terrier

The need for renewable alternatives for fossil-based aromatic material constituents is evident for a more sustainable society. Lignin is the largest source of naturally occurring aromatic compounds but has mainly been considered as waste material or energy ...

2020

Brief Announcement: Persistent Multi-Word Compare-and-Swap

Matej Pavlovic

This brief announcement presents a fundamental concurrent primitive for persistent memory - a persistent atomic multi-word compare-and-swap (PMCAS). We present a novel algorithm carefully crafted to ensure that atomic updates to a multitude of words modifi ...

ASSOC COMPUTING MACHINERY2018

A Multi-Core Reconfigurable Architecture for Ultra-Low Power Bio-Signal Analysis

David Atienza Alonso, Giovanni Ansaloni, Ruben Braojos Lopez, Soumya Subhra Basu, Loris Gérard Duch

This paper introduces a novel computing architecture devoted to the ultra-low power analysis of multiple bio-signals. Its structure comprises several processors interfaced with a shared acceleration resource, implemented as a Coarse Grained Reconfigurable ...

2016

Economical Analysis of a Pressurized Fluid-Based Process Applied for Phytochemicals Recovery in a Sustainable Biorefinery Concept for Brazilian Ginseng Roots

François Maréchal

A growing number of technologies are being developed in order to produce different high added value products, such as phytochemicals, ethanol and other chemicals from biomass, representing an important trend that needs to be evaluated. The use of pressuriz ...

Aidic Servizi Srl2016

The Single European Sky gridlock: A difficult 10 year reform process

Matthias Finger

This article presents the gradual liberalization of European air transport, especially its most recent problems in the case of the Single European Sky (SES). Indeed, after successfully liberalizing airlines and, to a certain extent, airports, the European ...

Elsevier2014

Execution Synthesis: A Technique for Automating the Debugging of Software

Cristian Zamfir

Debugging real systems is hard, requires deep knowledge of the target code, and is time-consuming. Bug reports rarely provide sufficient information for debugging, thus forcing developers to turn into detectives searching for an explanation of how the prog ...

EPFL2013

Geostatistics of Dependent and Asymptotically Independent Extremes

Anthony Christopher Davison, Emeric Rolland Georges Thibaud, Raphaël Huser

Spatial modeling of rare events has obvious applications in the environmental sciences and is crucial when assessing the effects of catastrophic events (such as heatwaves or widespread flooding) on food security and on the sustainability of societal infras ...

Springer Heidelberg2013

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