The following pages link to Karl Lermer (Q706491):
Displaying 16 items.
- (Q236758) (redirect page) (← links)
- Linear approximation of execution-time constraints (Q706493) (← links)
- A formal model of real-time program compilation (Q1603710) (← links)
- Procedure compilation in the refinement calculus (Q2432239) (← links)
- A theory for execution-time derivation in real-time programs (Q2576947) (← links)
- (Q2843912) (← links)
- (Q4250663) (← links)
- (Q4365034) (← links)
- (Q4370262) (← links)
- The Grothendieck-Pietsch domination principle for nonlinear summing integral operators (Q4386414) (← links)
- (Q4536449) (← links)
- (Q4537138) (← links)
- (Q4885574) (← links)
- (Q4892273) (← links)
- (Q5461122) (← links)
- Refinement and state machine abstraction (Q5958757) (← links)
