27 results on '"Wilhelm, Reinhard"'
Search Results
2. Impact of Resource Sharing on Performance and Performance Prediction: A Survey
3. Harald Ganzinger’s Legacy: Contributions to Logics and Programming
4. Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs
5. Ubiquitous Verification of Ubiquitous Systems
6. Static Analysis of Dynamic Communication Systems by Partner Abstraction
7. Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
8. The Development of the Data-Parallel GPU Programming Language CGiS
9. Timing Analysis and Timing Predictability
10. Component-Wise Instruction-Cache Behavior Prediction
11. Formal Analysis of Processor Timing Models
12. Static Program Analysis via 3-Valued Logic
13. Verifying Temporal Heap Properties Specified via Evolution Logic
14. Algorithm Explanation: Visualizing Abstract States and Invariants
15. Reliable and Precise WCET Determination for a Real-Life Processor
16. Cache behavior prediction by abstract interpretation
17. An application specific parallel programming paradigm
18. TrafoLa-H subsystem
19. Attribute reevaluation in OPTRAN
20. An overview of the OPTRAN system
21. Grammar flow analysis
22. Two tree pattern matchers for code selection
23. OPTRAN - A language/system for the specification of program transformations: System overview and experiences
24. Verschränkung von Compiler-Moduln
25. Exploiting SIMD Parallelism with the CGiS Compiler Framework
26. Abstract Interpretation with Applications to Timing Validation
27. Towards Model-Driven Development of Hard Real-Time Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.