Searching for authors named "Reinhard Wilhelm" – sorted by Relevance.
-
Determining Bounds on Execution Times
- 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
- 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
- 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
- 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
- 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
- University. Helmut Seidl Saarbruecken University Reinhard Wilhelm Saarbruecken University Abstract
- Add To MetaCart
-
Animation of the Generation and Computation of Finite Automata
- 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
- 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
- , 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
- Francez z the Technion Michael Rodeh x the Technion and IBM Haifa Research Lab Reinhard Wilhelm
- Cited by 1 (0 self) – Add To MetaCart

