MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ingomar Wenzel" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

WCET Analysis: The Annotation Language Challenge
by Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel — 2007 — In Proceedings 7th Int’l Workshop on Worst-Case Execution Time (WCET) Analysis
… ‡ , Markus Schordan ‡ , Ingomar Wenzel † Vienna University of Technology, Austria Abstract Worst…
Cited by 1 (1 self) – Add To MetaCart

WCET Coverage for Pipelines
by Adam Betts, Guillem Bernat, Raimund Kirner, Peter Puschner, Ingomar Wenzel — 2006
… , and Ingomar Wenzel 2 1 Real-Time Systems Research Group, University of York, York YO10 5DD, UK 2 Institut für…
Cited by 1 (0 self) – Add To MetaCart

Measurement-based worst-case execution time analysis using automatic test-data generation
by Raimund Kirner, Peter Puschner, Ingomar Wenzel, Technische Universität Wien — 2004 — In Proc. IEEE Workshop on Software Tech. for Future Embedded and Ubiquitous Systs. (SEUS’05
… ∗ Abstract Raimund Kirner, Peter Puschner, Ingomar Wenzel Institut für Technische Informatik Technische…
Cited by 10 (3 self) – Add To MetaCart

Automatic timing model generation by CFG partitioning and model checking
by Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter Puschner, Technische Universität Wien — 2005 — In Proceedings of the Conference on Design, Automation, and Test in Europe
…Automatic Timing Model Generation by CFG Partitioning and Model Checking ∗ Ingomar Wenzel…
Cited by 12 (4 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB