Computer Algebra for Automated Performance Modeling of Fortran Programs

Hermann Mierendorff and Helmut Schwamborn
Additional contact information
Hermann Mierendorff: GMD — German National Research Center for Information Technology, Institute for Algorithms and Scientific Computing (SCAI)
Helmut Schwamborn: GMD — German National Research Center for Information Technology, Institute for Algorithms and Scientific Computing (SCAI)

A chapter in Computer Algebra in Scientific Computing, 2000, pp 285-299 from Springer

Abstract: Abstract Time complexity of sequential programs or segments of parallel programs can be estimated using the dynamic frequency of statements and their execution time. The execution time of single statements can be estimated by counting basic operations. The present paper deals with a method of determining the global dynamic frequency of statements by transient analysis of a Markov model. For defining the model automatically and solving the related equations, we use AUGUR which is a research tool for performance modeling of Fortran programs. While static program analysis and model generation are implemented by routine compile techniques, AUGUR uses MAPLE for evaluating expressions, defining transition matrices, and transient analysis. Routines of LAPACK are considered to demonstrate the achievable results.

Keywords: time complexity of programs; performance analysis; automated model generation; parametrized models; computer algebra (search for similar items in EconPapers)
Date: 2000
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-642-57201-2_22

Ordering information: This item can be ordered from
http://www.springer.com/9783642572012

DOI: 10.1007/978-3-642-57201-2_22

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().