The following pages link to Jan Reineke (Q777058):
Displayed 13 items.
- Response-time analysis for fixed-priority systems with a write-back cache (Q777059) (← links)
- An extensible framework for multicore response time analysis (Q1616845) (← links)
- On the smoothness of paging algorithms (Q1743122) (← links)
- Ascertaining uncertainty for efficient exact cache analysis (Q2164207) (← links)
- Timing predictability of cache replacement policies (Q2460197) (← links)
- Static Timing Analysis – What is Special? (Q2796217) (← links)
- Shape Analysis of Sets. (Q2917408) (← links)
- (Q3121523) (← links)
- Security Analysis of Cache Replacement Policies (Q3304814) (← links)
- Abstract Interpretation of FIFO Replacement (Q3392924) (← links)
- Toward Compact Abstractions for Processor Pipelines (Q3449634) (← links)
- Polynomial Precise Interval Analysis Revisited (Q3644736) (← links)
- Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction (Q5172640) (← links)