Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

4 résultats
Page :
triés par
Image document

When the worst-case execution time estimation gains from the application semantics

 Armelle Bonenfant , Fabienne Carrier , Hugues Cassé , Philippe Cuenot , Denis Claraz , et al.
8th European Congress on Embedded Real-Time Software and Systems, Jan 2016, Toulouse, France
Communication dans un congrès hal-01235781v1
Image document

Cartesian Factoring of Polyhedra in Linear Relation Analysis

 Nicolas Halbwachs , David Merchat , Catherine Parent-Vigouroux
Static Analysis: 10th International Symposium, SAS 2003, Jun 2003, San Diego, United States. pp.355-365
Communication dans un congrès hal-00199198v1
Image document

The W-SEPT Project: Towards Semantic-Aware WCET Estimation

 Claire Maiza , Pascal Raymond , Catherine Parent-Vigouroux , Armelle Bonenfant , Fabienne Carrier , et al.
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩
Communication dans un congrès hal-01590442v1
Image document

Improving WCET Evaluation using Linear Relation Analysis

 Pascal Raymond , Claire Maiza , Catherine Parent-Vigouroux , Erwan Jahier , Nicolas Halbwachs , et al.
Leibniz Transactions on Embedded Systems, 2019, 6 (1), pp.02:28. ⟨10.4230/LITES-v006-i001-a002⟩
Article dans une revue hal-03013987v1
Page :