Thomas Fahringer  Home/Search
Context Related
| par.univie.ac.at/p...oratr199710.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: vcpc.univie.ac.at/aurora/publi... (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 machine and problem sizes and to solve queries based on systems of constraints (equalities and inequalities) . This paper describes novel 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 the... (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
55.9%: Efficient Symbolic Analysis for Parallelizing Compilers and.. - Fahringer (1997) (Correct)
17.8%: Symbolic Expression Evaluation to Support Parallelizing Compilers - Fahringer (1997) (Correct)
9.1%: Toward Symbolic Performance Prediction of Parallel Programs - Fahringer (1996) (Correct)
Active bibliography (related documents): More All
0.6: 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.3: Efficient DDD-based Symbolic Analysis of Large Linear Analog .. - Verhaegen, Gielen (2001) (Correct)
0.2: Estimating and Optimizing Performance for Parallel Programs - Thomas Fahringer Institute (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/article/fahringer98efficient.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/article/fahringer98efficient.html" }
Citations (may not include all citations):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
58 Counting Solutions to Presburger Formulas: How and Why - Pugh - 1994 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
26 ACM Transactions on Programming Languages and Systems (context) - Haghighat, Polychronopoulos et al. - 1996
25 Technical Report - FORTRAN, Specification - 1996
22 Estimation of nested loop execution time by integer arithmet.. (context) - Tawbi - 1994
20 Symbolic Evaluation for Parallelizing Compilers - Fahringer, Scholz - 1997 ACM DBLP
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
6 Buffer-Safe Communication Optimization based on Data Flow An.. - Fahringer, Mehofer - 1997 ACM DBLP
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.vcpc.univie.ac.at/aurora/publications/): More
Dynamic Load Balancing on Heterogeneous Workstation.. - Hlavacs, Ueberhuber (1998) (Correct)
Dynamic Asset Allocation under Uncertainty for Pension Fund .. - Pflug, Swietanowski (1998) (Correct)
Estimating Cache Performance for Sequential and Data Parallel.. - Fahringer (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