Open AccessWhen the worst-case execution time estimation gains from the application semantics
Author(s) -
Armelle Bonenfant,
Fabienne Carrier,
Hugues Cassé,
Philippe Cuenot,
Denis Claraz,
Nicolas Halbwachs,
Hanbing Li,
Claire Maïza,
Marianne de Michiel,
Vincent Mussot,
Catherine Parent-Vigouroux,
Isabelle Puaut,
Pascal Raymond,
Erven Rohou,
Pascal Sotin
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , correctness , semantics (computer science) , worst case execution time , workflow , trace (psycholinguistics) , compiler , process (computing) , upper and lower bounds , execution time , programming language , database , mathematical analysis , linguistics , philosophy , mathematics