Hierarchical Conditional Dependency Graphs for Conditional Resource Sharing (2007)
C. Wolinski, Apostolos A. Kountouris, Apostolos A. Kountouris, Christophe Wolinski, Christophe Wolinski
topics: All necessary clearances have been obtained for the publication of this paper. If accepted, the author(s) will prepare the final camera-ready manuscript in time for inclusion in the...
False path analysis based on a hierarchical control representation (1998)
Apostolos A. Kountouris, Apostolos A. Kountouris, Christophe Wolinski, Christophe Wolinski, Christophe Wolinski
False path analysis is an activity with application in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time estimation, software...
Safe and efficient elimination of infeasible execution paths in WCET estimation (1996)
Reasoning about the timing properties of a program is indispensable in the development of time critical systems where failure to meet deadlines can result in loss of life or material. To this end...