search result

Cover von Explaining Data Type Reduction in the Shape Analysis Framework

Explaining Data Type Reduction in the Shape Analysis Framework

Year: 2006
Media group: ARTICLE
Cover von Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models

Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models

Year: 2007
Media group: ARTICLE
Cover von Probabilistic Logical Characterization; 2
article : pp. 154-172
Search for this author
Year: 2011
Publisher: Amsterdam, Elsevier
Count: 2
Media group: ARTICLE
Cover von A Definition and Classification of Timing Anomalies

A Definition and Classification of Timing Anomalies

Year: 2006
Media group: ARTICLE
OPEN V 11.1.0.0