Supporting the specification and analysis of timing constraints
Authors:
- Lo KoLKLo Ko
- C. HealyCHC. Healy
- E. RatliffERE. Ratliff
- R. ArnoldRAR. Arnold
- D. WhalleyDWD. Whalley
- M. HarmonMHM. Harmon
- 23 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 170-178
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Integrating the timing analysis of pipelining and instruction caching2002
- Supporting user-friendly analysis of timing constraintsACM SIGPLAN Notices, 1995
- Bounding worst-case instruction cache performance1994
- Experiments with a program timing tool based on source-level timing schemaComputer, 1991
- Object-oriented real-time language design: constructs for timing constraints1990
- Quick compilers using peephole optimizationSoftware: Practice and Experience, 1989
- A portable global optimizer and linker1988
- Real-Time Euclid: A language for reliable real-time systemsIEEE Transactions on Software Engineering, 1986
- Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating ThemIEEE Transactions on Software Engineering, 1985