MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Reinhard Wilhelm" – sorted by Relevance.

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

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

40 documents found, showing 1 through 10. Next 10 →

ATOM

Determining Bounds on Execution Times
by Reinhard Wilhelm
…Determining Bounds on Execution Times Reinhard Wilhelm Informatik, Universität des Saarlandes…
Cited by 1 (0 self) – Add To MetaCart

Why AI + ILP is good for WCET, but MC is not, nor ILP alone
by Reinhard Wilhelm — 2004 — In Verification, Model Checking and Abstract Interpretation (VMCAI), LNCS 2937
…Why AI + ILP is good for WCET, but MC is not, nor ILP alone Reinhard Wilhelm Informatik…
Cited by 3 (0 self) – Add To MetaCart

Fast and Efficient Cache Behavior Prediction
by Christian Ferdinand, Reinhard Wilhelm — 1997
…Fast and Efficient Cache Behavior Prediction Christian Ferdinand and Reinhard Wilhelm Fachbereich…
Add To MetaCart

A Functional Description of T E X's Formula Layout
by Reinhold Heckmann, Reinhard Wilhelm — 1997
…1 A Functional Description of T E X's Formula Layout REINHOLD HECKMANN, REINHARD WILHELM…
Add To MetaCart

Static Analysis of Dynamic Communication Systems by Partner Abstraction
by Jörg Bauer, Reinhard Wilhelm — 2007 — In Proc. SAS 2007
… and Reinhard Wilhelm 2 1 Informatics and Mathematical Modelling; Technical University of Denmark; Kongens…
Cited by 2 (2 self) – Add To MetaCart

The TRANSPOSE Machine - A Global Implementation of a Parallel Graph Reducer
by Yosi Ben-Asher, Helmut Seidl, Reinhard Wilhelm
… University. Helmut Seidl Saarbruecken University Reinhard Wilhelm Saarbruecken University Abstract…
Add To MetaCart

Animation of the Generation and Computation of Finite Automata
by Beatrix Braune, Stephan Diehl, Andreas Kerren, Reinhard Wilhelm — 2001 — In Automata Implementation, Proceedings of the 4th International Workshop on Implementing Automata (WIA ’99
… Braune, Stephan Diehl, Andreas Kerren, and Reinhard Wilhelm University of Saarland, PO Box 15 11 50, D…
Add To MetaCart

Static program analysis via 3-valued logic
by Thomas Reps, Mooly Sagiv, Reinhard Wilhelm — 2004 — Conference on Computer Aided Verification (CAV), volume 3114 of LNCS
…Static Program Analysis via 3-Valued Logic Thomas Reps ¡ , Mooly Sagiv ¢ , and Reinhard Wilhelm…
Cited by 13 (2 self) – Add To MetaCart

Automatic verification of temporal properties of concurrent heap-manipulating programs using evolution logic
by Eran Yahav, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm — School of CS, Tel Aviv University
… , Mooly Sagiv 1 , and Reinhard Wilhelm 3 1 School of Computer Science, Tel-Aviv University, Tel-Aviv 69978…
Cited by 1 (1 self) – Add To MetaCart

A Logic-Based Approach to Program Flow Analysis
by Mooly Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm — 1998
… Francez z the Technion Michael Rodeh x the Technion and IBM Haifa Research Lab Reinhard Wilhelm…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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