A method for computing the number of iterations in data dependent loops
From MaRDI portal
Publication:853604
DOI10.1007/S11241-006-5317-1zbMATH Open1105.68023OpenAlexW2003137456MaRDI QIDQ853604FDOQ853604
Authors: Francesco Curatelli, Leonardo Mangeruca 
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
Recommendations
- A version of the programmed iterations method
- Iterative computational methods
- An iterative method for generating loop invariants
- scientific article; zbMATH DE number 3915522
- A method of parallel iteration
- Algorithm for counting large directed loops
- scientific article; zbMATH DE number 1203019
- Algorithms to evaluate multiple sums for loop computations
- Numerical iterative methods and repetitive processes
- A parallel version of the abstract analogue of the method of programmed iteration
loop analysisdifference equationsexecution time evaluationhigh-level specificationiterations number predictionreal-time concurrent systemssystem synthesistiming verification
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- Title not available (Why is that?)
- The new math of computer programming
- Logical analysis of programs
- On the shifted QR iteration applied to companion matrices
- Title not available (Why is that?)
- A Heuristic for Deriving Loop Functions
- The Determination of Loop Invariants for Programs with Arrays
- Some Aspects of the Verification of Loop Computations
- A Method for Analyzing Loop Programs
This page was built for publication: A method for computing the number of iterations in data dependent loops
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q853604)
