A Method for Computing the Number of Iterations in Data Dependent Loops

Author： Curatelli Francesco   Mangeruca Leonardo  

Publisher： Springer Publishing Company

ISSN： 0922-6443

Source： Real-Time Systems, Vol.32, Iss.1-2, 2006-02, pp. : 73-104

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Symbolic method of verification of definite iterations over altered data structures

By Nepomniaschy V.  

Programming and Computer Software, Vol. 31, Iss. 1, 2005-01 ,pp. : 1-9

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

An Abstract Confinement Problem: A Programmed Iterations Method of Solution

By Chentsov A. G.  

Automation and Remote Control, Vol. 65, Iss. 2, 2004-02 ,pp. : 299-310

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

A high-performance computing method for data allocation in distributed database systems

By Hababeh Ismail   Ramachandran Muthu   Bowring Nicholas  

The Journal of Supercomputing, Vol. 39, Iss. 1, 2007-01 ,pp. : 3-18

Springer Publishing Company

Access to resources Recommend Favorite

On Validated Computing in Algebraic Number Fields

By Pohst M.E.  

Journal of Symbolic Computation, Vol. 24, Iss. 6, 1997-12 ,pp. : 657-665

Academic Press

Access to resources Recommend Favorite

Data mining and soft computing

By Kuznetsov Sergei  

International Journal of General Systems, Vol. 42, Iss. 6, 2013-08 ,pp. : 543-545

Taylor & Francis Ltd

Access to resources Recommend Favorite