-
Static Analysis for Guarded Code
{\em Guarded(predicated) execution, as a new hardware feature, has been introduced into today's high performance processors. \em Guarded execution can significantly... -
Synthesis of Data-Flow Interfaces for Regular Parallel Programs
We present a method for generating an interface between an architecture executing a regular program and a host processor, during an hardware-software co-design... -
Specifying and verifying a transformer station in Signal and SignalGTi
We present the specification and verification of the automatic circuit-breaking behavior of an electric power transformer station using the synchronous approach to... -
The Signal data flow methodology applied to a production cell
This report presents a method to specify, verify and implement a controller for a robotic production cell using the Signal approach. This work has been performed as... -
Control-Driven Data Flow
This paper presents CDDF, a model of computation underpinning the formal semantics of a number of parallel programming languages. CDDF integrates control flow elements... -
New smart readout technique performing edge detection designed to control vis...
International audience -
Contribution to the development of the Micro-Vertex detector of the CBM exper...
CBM, one of the main experiments of the new FAIR accelerator under construction at GSI (Darmstadt), aims at exploring the phase diagram of nuclear matter in the region... -
Spatial computing as intensional data parallelism
International audience -
Robustness in Multicore Automotive Embedded Real-Time Systems
The feature content of new cars is increasing dramatically, which involves more demanding requirements. AUTOSAR (AUTomotive Open System ARchi- tecture) - an open and...
