Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Calculating the maximum, execution time of real-time programs
Real-Time Systems
Software estimation from executable specifications
Journal of Computer and Software Engineering - Special issue: hardware-software codesign
Instruction level power analysis and optimization of software
Journal of VLSI Signal Processing Systems - Special issue on technologies for wireless computing
Embedded program timing analysis based on path clustering and architecture classification
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Combining multiple models of computation for scheduling and allocation
Proceedings of the 6th international workshop on Hardware/software codesign
Performance Analysis of Real-Time Embeded Software
Performance Analysis of Real-Time Embeded Software
Fast Simulation of Computer Architectures
Fast Simulation of Computer Architectures
On Predicting Data Cache Behavior for Real-Time Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
A Transformational approach to constraint relaxation of a time-driven simulation model
ISSS '00 Proceedings of the 13th international symposium on System synthesis
Associative caches in formal software timing analysis
Proceedings of the 39th annual Design Automation Conference
Accurate software performance estimation using domain classification and neural networks
SBCCI '04 Proceedings of the 17th symposium on Integrated circuits and system design
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Applying neural networks to performance estimation of embedded software
Journal of Systems Architecture: the EUROMICRO Journal
| Hi-index | 0.00 |
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These intervals depend on program properties, execution paths and states of processes, as well as on the target architecture. This paper presents an approach to analysis of process behavior using intervals. It improves previous work by exploiting program segments with single paths and by taking the execution context into account. The example of an ATM cell handler demonstrates significant improvements in analysis precision.