-
Model integration for formal qualification of timing-aware software data acqu...
The paper proposes to integrate design and formal modelling approaches, based on MARTE, IF and CDL, to evaluate different possible uses and configurations of a data... -
Evaluation of commercial CMOS SOI drivers in harsh conditions (200°C). Consid...
International audience -
A Myrinet Firmware development experience
This report describes the technical aspects of the developpement of a Myrinet LANAI code on a Linux platform. It contains information and references that can be useful... -
The Need for Scale as a Driver of Alliance Formation: Choosing between Collab...
This dataset has no description
-
Analysis and Diversion of Duqu's Driver
International audience
