search result

Cover von On the Use of Context Information for Precise Measurement-Based Execution Time Estimation

On the Use of Context Information for Precise Measurement-Based Execution Time Estimation

Year: 2010
Media group: ARTICLE
Cover von Data-Flow Based Detection of Loop Bounds

Data-Flow Based Detection of Loop Bounds

Year: 2007
Media group: ARTICLE
Cover von Analysis of path exclusion at the machine code level

Analysis of path exclusion at the machine code level

Year: 2007
Media group: ARTICLE
Cover von Scalable program analysis
Search for this author
Year: 2008
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 08161
Media group: DAGSTUHL-SEMINAR-PRO
OPEN V 11.1.0.0