Obserwuj
Reinhard Wilhelm
Reinhard Wilhelm
Computer Science, Saarland University, Saarland Informatics Campus (SIC)
Zweryfikowany adres z cs.uni-saarland.de
Tytuł
Cytowane przez
Cytowane przez
Rok
The worst-case execution-time problem—overview of methods and survey of tools
R Wilhelm, J Engblom, A Ermedahl, N Holsti, S Thesing, D Whalley, ...
ACM Transactions on Embedded Computing Systems (TECS) 7 (3), 1-53, 2008
27232008
Parametric shape analysis via 3-valued logic
M Sagiv, T Reps, R Wilhelm
ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (3), 217-298, 2002
14492002
Solving shape-analysis problems in languages with destructive updating
M Sagiv, T Reps, R Wilhelm
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (1), 1-50, 1998
5561998
Reliable and precise WCET determination for a real-life processor
C Ferdinand, R Heckmann, M Langenbach, F Martin, M Schmidt, ...
Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA …, 2001
4392001
Compiler Design - Syntactic and Semantic Analysis.
SH Reinhard Wilhelm, Helmut Seidl
Springer, 2013
398*2013
Fast and precise WCET prediction by separated cache and path analyses
H Theiling, C Ferdinand, R Wilhelm
Real-Time Systems 18, 157-179, 2000
3782000
The influence of processor architecture on the design and the results of WCET tools
R Heckmann, M Langenbach, S Thesing, R Wilhelm
Proceedings of the IEEE 91 (7), 1038-1054, 2003
3732003
Efficient and precise cache behavior prediction for real-time systems
C Ferdinand, R Wilhelm
Real-time systems 17, 131-181, 1999
3371999
Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems
R Wilhelm, D Grund, J Reineke, M Schlickling, M Pister, C Ferdinand
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009
3172009
A definition and classification of timing anomalies
J Reineke, B Wachter, S Thesing, R Wilhelm, I Polian, J Eisinger, ...
6th International Workshop on Worst-Case Execution Time Analysis (WCET'06 …, 2006
2882006
Design for timing predictability
L Thiele, R Wilhelm
Real-Time Systems 28 (2), 157-177, 2004
2812004
Timing predictability of cache replacement policies
J Reineke, D Grund, C Berg, R Wilhelm
Real-Time Systems 37, 99-122, 2007
2612007
Cache behavior prediction by abstract interpretation
M Alt, C Ferdinand, F Martin, R Wilhelm
Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996
2581996
Übersetzerbau: Theorie, Konstruktion, Generierung
R Wilhelm, D Maurer
(No Title), 1992
1981992
Predictability considerations in the design of multi-core embedded systems
C Cullmann, C Ferdinand, G Gebhard, D Grund, C Maiza, J Reineke, ...
Proceedings of Embedded Real Time Software and Systems 36 (10), 2010
1702010
Building timing predictable embedded systems
P Axer, R Ernst, H Falk, A Girault, D Grund, N Guan, B Jonsson, ...
ACM Transactions on Embedded Computing Systems (TECS) 13 (4), 1-37, 2014
1682014
Putting static analysis to work for verification: A case study
T Lev-Ami, T Reps, M Sagiv, R Wilhelm
Proceedings of the 2000 ACM SIGSOFT international symposium on Software …, 2000
1662000
Applying compiler techniques to cache behavior prediction
C Ferdinand, F Martin, R Wilhelm
Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool …, 1997
1591997
A semantics for procedure local heaps and its abstractions
N Rinetzky, J Bauer, T Reps, M Sagiv, R Wilhelm
ACM SIGPLAN Notices 40 (1), 296-309, 2005
1522005
Cache behavior prediction by abstract interpretation
C Ferdinand, F Martin, R Wilhelm, M Alt
Science of Computer Programming 35 (2-3), 163-189, 1999
1441999
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20