The following pages link to Jens Knoop (Q507356):
Displaying 12 items.
- Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution (Q507359) (← links)
- Eliminating partially dead code in explicitly parallel programs (Q1128737) (← links)
- Finite constants: Characterizations of a new decidable set of constants (Q1176239) (← links)
- (Q2722065) (← links)
- Symbolic Loop Bound Computation for WCET Analysis (Q3457981) (← links)
- (Q3975169) (← links)
- (Q4038674) (← links)
- (Q4494381) (← links)
- (Q4501584) (← links)
- (Q4536958) (← links)
- (Q4791894) (← links)
- Sparse code motion (Q5178851) (← links)
