Interval-Based Analysis of Software Processes
- 1 August 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 36 (8) , 94-101
- https://doi.org/10.1145/384197.384211
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Execution cost interval refinement in static software analysisJournal of Systems Architecture, 2001
- SPECC: Specification Language and MethodologyPublished by Springer Nature ,2000
- Resolution of dynamic memory allocation and pointers for the behavioral synthesis form CPublished by Association for Computing Machinery (ACM) ,2000
- Bounding pipeline and instruction cache performanceIEEE Transactions on Computers, 1999
- Representation of process mode correlation for schedulingPublished by Association for Computing Machinery (ACM) ,1998
- Instruction level power analysis and optimization of softwareJournal of Signal Processing Systems, 1996
- Parametric dispatching of hard real-time tasksIEEE Transactions on Computers, 1995