共 32 条
- [1] Blieberger J.(1994)Discrete loops and worst case performance Computer Languages 20 193-212
- [2] Blieberger J.(1996)Worst-case space and time complexity of recursive procedures Real-Time Systems 11 115-144
- [3] Lieger R.(1996)Combining static worst-case timing analysis and program proof Real-Time Systems 11 145-171
- [4] Chapman R.(1999)Bounding pipeline and instruction cache performance IEEE Transaction on Computers 48 53-70
- [5] Burns A.(1986)Real-time euclid: A language for reliable real-time systems IEEE Transactions on Software Engineering SE-12 941-949
- [6] Wellings A.(1993)Predicting program execution times by analyzing static and dynamic program paths Real-Time Systems 5 31-62
- [7] Healy C. A.(1991)Experiments with a program timing tool based on source-level timing schema IEEE Computer 24 48-57
- [8] Arnold R. D.(1992)Developing real-time tasks with predictable timing IEEE Software 9 35-44
- [9] Mueller F.(1998)Worst-case execution time analysis at low cost Control Engineering Practice 6 129-135
- [10] Whalley D.(1989)Calculating the maximum execution time of real-time programs Real-Time Systems 1 159-176