A method for computing the number of iterations in data dependent loops (Q853604)

From MaRDI portal





scientific article; zbMATH DE number 5073626
Language Label Description Also known as
default for all languages
No label defined
    English
    A method for computing the number of iterations in data dependent loops
    scientific article; zbMATH DE number 5073626

      Statements

      A method for computing the number of iterations in data dependent loops (English)
      0 references
      0 references
      0 references
      17 November 2006
      0 references
      high-level specification
      0 references
      system synthesis
      0 references
      real-time concurrent systems
      0 references
      loop analysis
      0 references
      iterations number prediction
      0 references
      execution time evaluation
      0 references
      timing verification
      0 references
      difference equations
      0 references

      Identifiers