First Page | Document Content | |
---|---|---|
![]() Date: 2016-04-05 14:57:15Software Computing Real-time computing Worst-case execution time Simulink French Institute for Research in Computer Science and Automation Xavier Leroy AbsInt | Add to Reading List |
![]() | Mjolnir Computing tools to empower users Web site: http://mjolnir.lille.inria.fr/ Contact: 2015DocID: 1rk7t - View Document |
![]() | Microsoft Word - SGP09_CfP.docDocID: 1ri9j - View Document |
![]() | Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016DocID: 1rh1S - View Document |
![]() | 3DVDesign : Communication Depatement Inria Grenoble - Rhône-Alpes DecCopyright : CC BY-SA 3.0 International Conference on 3D VisionDocID: 1r72u - View Document |
![]() | LiquidXML: Adaptive XML Content Redistribution Jesús Camacho-Rodríguez, Asterios Katsifodimos, Ioana Manolescu, Alexandra Roatis Leo Team - INRIA Saclay & Université de Paris-Sud XI The LiquidXML PlatformDocID: 1qZpO - View Document |