Thomas Fahringer  Home/Search
Context Related
| par.univie.ac.at/public...tr9712.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: par.univie.ac.at/...tr9697_short (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Symbolic analysis is of paramount importance for parallelizing compilers and performance estimators to examine symbolic expressions with program unknowns such as number of processors and array dimension sizes and to solve queries based on systems of constraints (equalities and inequalities). This paper describes techniques for counting the number of solutions to a system of constraints, simplifying systems of constraints, computing lower and upper bounds of symbolic expressions, and determining ... (Update)
Cited by: More
Array Data Dependence Testing with the Chains of.. - van Engelen, Birch.. (2004) (Correct)
Value Range Analysis of Conditionally Updated Variables .. - Birch, van Engelen.. (2004) (Correct)
P³T+: A Performance Estimator for Distributed and.. - Fahringer, Pozgaj (1999) (Correct)
Similar documents (at the sentence level): More
61.4%: Efficient Symbolic Analysis for Parallelizing Compilers and.. - Fahringer (1998) (Correct)
22.7%: Symbolic Expression Evaluation to Support Parallelizing Compilers - Fahringer (1997) (Correct)
10.5%: Toward Symbolic Performance Prediction of Parallel Programs - Fahringer (1996) (Correct)
Active bibliography (related documents): More All
0.5: A Unified Symbolic Evaluation Framework for Parallelizing.. - Fahringer, Scholz (1999) (Correct)
0.4: Buffer-Safe Communication Optimization based on Data Flow.. - Fahringer, Mehofer (1997) (Correct)
0.3: Buffer-Safe and Cost-Driven Communication Optimization - Fahringer, Mehofer (1999) (Correct)
Similar documents based on text: More All
0.2: Symbolic Evaluation for Parallelizing Compilers - Fahringer, Scholz (1997) (Correct)
0.2: Estimating and Optimizing Performance for Parallel Programs - Fahringer (1995) (Correct)
0.2: Symbolic Cache Analysis for Real-Time Systems - Blieberger, Fahringer, Scholz (1999) (Correct)
Related documents from co-citation: More All
10: Automatic Performance Prediction for Parallel Programs on Massively Parallel Com.. (context) - Fahringer - 1993
8: VFC: The Vienna Fortran Compiler (context) - Benkner - 1998
7: Technical Report - FORTRAN, Specification - 1993
BibTeX entry: (Update)
Fahringer, T.: 1998a, `Efficient Symbolic Analysis for Parallelizing Compilers and Performance Estimators'. Journal of Supercomputing, Kluwer Academic Publishers 12(3). http://citeseer.ist.psu.edu/fahringer97efficient.html More
@article{ fahringer98efficient,
author = "Thomas Fahringer",
title = "Efficient Symbolic Analysis for Parallelizing Compilers and Performance Estimators",
journal = "The Journal of Supercomputing",
volume = "12",
number = "3",
month = "????",
pages = "227--??",
year = "1998",
url = "citeseer.ist.psu.edu/fahringer97efficient.html" }
Citations (may not include all citations):217 The PERFECT club benchmarks: Effective performance evaluatio.. - Berry - 1989
134 Concrete Mathematics - A foundation for Computer Science (context) - Graham, Knuth et al. - 1988
81 Taschenbuch der Mathematik (context) - Bronstein, Semendjajev - 1989
70 Automatic Performance Prediction of Parallel Programs (context) - Fahringer - 1996 ACM
45 Gated SSA-Based Demand-Driven Symbolic Analysis for Parallel.. - Tu, Padua - 1995 ACM DBLP
42 Symbolic Analysis for Parallelizing Compilers - Haghighat, Polychronopoulos - 1994 ACM DBLP
40 Interprocedural Symbolic Analysis - Havlak - 1994 ACM
39 Estimating and Optimizing Performance for Parallel Programs - Fahringer - 1995 ACM DBLP
37 Vienna Fortran Compilation System - Version (context) - Benkner, Andel et al. - 1995
34 Advanced Compilation Techniques in the Paradigm Compiler for.. - Su, Lain et al. - 1995 ACM DBLP
25 The PARADIGM Compiler for Distributed-Memory Message Passing.. - Banerjee, Chandy et al. - 1994
25 Technical Report - FORTRAN, Specification - 1993
22 Estimation of nested loop execution time by integer arithmet.. (context) - Tawbi - 1994
18 Simplifying Polynomial Constraints Over Integers to Make Dep.. - Maslov, Pugh - 1994 ACM
15 An Overview of Symbolic Analysis Techniques Needed for the E.. - Blume, Eigenmann - 1994 DBLP
13 Symbolic Performance Prediction of Scalable Parallel Program.. - Clement, Quinn - 1995 ACM DBLP
11 Toward Symbolic Performance Prediction of Parallel Programs - Fahringer - 1996 ACM DBLP
9 Interfacing Mathematica from the Vienna Fortran Compilation .. (context) - Scheibl, Celic et al. - 1996
8 On Estimating the Useful Work Distribution of Parallel Progr.. - Fahringer - 1996
7 Symbolic Analysis Techniques for Effective Automatic Paralle.. (context) - Blume - 1995 ACM
4 Automatic Estimation of Communication Costs for Data Paralle.. (context) - Fahringer - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.par.univie.ac.at/publications/1996-1997/tr96-97_short.html): More
Estimating Cache Performance for Sequential and Data Parallel.. - Fahringer (1997) (Correct)
Techniques and Optimizations for Developing Irregular.. - Peter Brezany (1996) (Correct)
High-Level Management of Communication Schedules.. - Benkner.. (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC