A method for computing the number of iterations in data dependent loops
type: Item
instance of: scholarly article
title: A method for computing the number of iterations in data dependent loops
zbMATH Open document ID: 1105.68023
author: Francesco Curatelli
author: Leonardo Mangeruca
published in: Real-Time Systems
publication date: 2006-11-17T00:00:00Z
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 5073626
zbMATH Keywords: high-level specification
zbMATH Keywords: system synthesis
zbMATH Keywords: real-time concurrent systems
zbMATH Keywords: loop analysis
zbMATH Keywords: iterations number prediction
zbMATH Keywords: execution time evaluation
zbMATH Keywords: timing verification
zbMATH Keywords: difference equations
MaRDI profile type: Publication
full work available at URL: s11241-006-5317-1
OpenAlex ID: W2003137456
cites work: On the shifted QR iteration applied to companion matrices
cites work: A Heuristic for Deriving Loop Functions
cites work: The Determination of Loop Invariants for Programs with Arrays
cites work: Q4537143
cites work: Q5584402
cites work: Q5689624
cites work: An axiomatic basis for computer programming
cites work: Logical analysis of programs
cites work: The new math of computer programming
cites work: Some Aspects of the Verification of Loop Computations
cites work: Q4356579
cites work: A Method for Analyzing Loop Programs
DOI: 10.1007/S11241-006-5317-1
Recommended article: A version of the programmed iterations method
Recommended article: Iterative computational methods
Recommended article: An Iterative Method for Generating Loop Invariants
Recommended article: Q3690967
Recommended article: A method of parallel iteration
Recommended article: Algorithm for counting large directed loops
Recommended article: Q4209399
Recommended article: Algorithms to evaluate multiple sums for loop computations
Recommended article: Numerical iterative methods and repetitive processes
Recommended article: A parallel version of the abstract analogue of the method of programmed iteration
description: scientific article; zbMATH DE number 5073626