A method for computing the number of iterations in data dependent loops
From MaRDI portal
Publication:853604
DOI10.1007/s11241-006-5317-1zbMath1105.68023OpenAlexW2003137456MaRDI QIDQ853604
Leonardo Mangeruca, Francesco Curatelli
Publication date: 17 November 2006
Published in: Real-Time Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11241-006-5317-1
difference equationstiming verificationloop analysisexecution time evaluationhigh-level specificationiterations number predictionreal-time concurrent systemssystem synthesis
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the shifted QR iteration applied to companion matrices
- A Heuristic for Deriving Loop Functions
- The Determination of Loop Invariants for Programs with Arrays
- The new math of computer programming
- Logical analysis of programs
- Some Aspects of the Verification of Loop Computations
- A Method for Analyzing Loop Programs
- An axiomatic basis for computer programming
This page was built for publication: A method for computing the number of iterations in data dependent loops
