.:. Consultation > Par auteur > Andalam .:.

4 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Pruning Infeasible Paths for Tight WCRT Analysis of Synchronous Programs Andalam S., Roop P., Girault A. Dans DATE (2011) [inria-00603287 - version 1]

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]

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]

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]