33842 articles – 26700 Notices  [english version]
.:. Consultation > Par auteur > Andalam .:.
4 documents classés par :

fulltext access Pruning Infeasible Paths for Tight WCRT Analysis of Synchronous Programs
Andalam S., Roop P., Girault A.
Dans DATE (2011) [inria-00603287 - version 1]
fulltext access Predictable Multithreading of Embedded Applications Using PRET-C
Andalam S., Roop P., Girault A.
Dans International Conference on Formal Methods and Models for Codesign, MEMOCODE'10 (2010) 159-168 [hal-00786378 - version 1]
fulltext access Deterministic, Predictable and Light-Weight Multithreading Using PRET-C
Andalam S., Roop P., Girault A.
Dans Design Automation and Test in Europe Conference, DATE'10 (2010) [hal-00765020 - version 1]
fulltext access PRET-C: A new language for programming precision timed architectures
Andalam S., Roop P., Girault A., Traulsen C.
N° RR-6922 (2009) [inria-00391621 - version 1]