Automatic Utilization of Constraints for Timing Analysis

Automatic Utilization of Constraints for Timing Analysis (1999)

Cached

Download Links

[www.cs.fsu.edu]

by Christopher A. Healy , David B. Whalley

Venue:	Florida State University
Citations:	4 - 1 self

BibTeX

@TECHREPORT{Healy99automaticutilization,
    author = {Christopher A. Healy and David B. Whalley},
    title = {Automatic Utilization of Constraints for Timing Analysis},
    institution = {Florida State University},
    year = {1999}
}

Bookmark

OpenURL

Abstract

Users of real-time systems are not only interested in obtaining correct computations from their programs, but timely responses as well. Responses that are given past a deadline is not acceptable. Areal-time system is often comprised of a set of tasks that are statically scheduled. Therefore, it is necessary to determine a program’s execution

Citations

3633	Computer Architecture: A Quantitative Approach - Hennessy, Patterson - 1990
609	High-Performance Compilers for Parallel Computing - Wolfe
478	Software pipelining: An effective scheduling technique for VLIW machines - Lam - 1988
248	Calculating the maximum execution time of real-time programs - Puschner, Ch - 1989
149	A portable global optimizer and linker - Benitez, Davidson - 1988
118	Predicting program execution times by analyzing static and dynamic program paths - Park - 1993
108	Bounding worst-case instruction cache performance - Arnold, Mueller, et al. - 1994
104	Bounding pipeline and instruction cache performance - Healy, Arnold, et al. - 1999
104	Efficient microarchitecture modeling and path analysis for real-time software - Li, Malik, et al. - 1995
92	Integrating the timing analysis of pipelining and instruction caching - Healy, Whalley, et al. - 1995
82	A retargetable technique for predicting execution time of code segments. Real-Time Systems - Harmon, Baker, et al. - 1994
71	Deriving annotations for tight calculation of execution time - Ermedahl, Gustafsson - 1997
56	Avoiding conditional branches by code replication - Mueller, Whalley - 1995
51	D.: Bounding Loop Iterations for Timing Analysis - Healy, Sjödin, et al. - 1998
50	Applying compiler techniques to cache behaviour prediction - Ferdinand, Martin, et al. - 1997
42	Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis - Theiling, Ferdinand - 1998
41	Static Cache Simulation and its Applications - Mueller - 1994
38	Integrating Path and Timing Analysis Using Instruction-Level Simulation Techniques - Lundqvist, Stenström - 1998
38	A design environment for addressing architecture and compiler interactions - DAVIDSON, WHALLEY - 1991
36	Automatic accurate time-bound analysis for high-level languages - Liu, Gómez - 1998
33	Cache Behavior Prediction for Real-Time Systems - Ferdinand - 1997
25	Program Representation and Translation for Predictable Real-Time Systems - Niehaus - 1991
19	Tighter Timing Predictions by Automatic Detection and Exploitation of Value-Dependent Constraints - Healy, Whalley - 1999
17	On the Quest for Perfect Load Balance in Loop-Based Parallel Computations - Sakellariou - 1996
14	Ctadel: A generator of multi-platform high performance codes for pde-based scientific applications - Engelen, Wolters, et al. - 1996
12	Bounding Worst-Case Data Cache Performance - White - 1997
12	Tomorrow's weather forecast: Automatic code generation for atmospheric modeling - Engelen, Wolters, et al. - 1997
11	Efficient on-the-fly analysis of program behavior and static cache simulation - Mueller, Whalley - 1994
11	Supporting the Specification and Analysis of Timing Constraints - Ko, Healy, et al. - 1996
10	Fast Instruction Cache Analysis via Static Cache Simulation - Muller, Whalley - 1995
8	High-Performance Computer Architecture, Second Edition - Stone - 1990
8	Symbolic Evaluation of Sums for Parallelising Compilers - Sakellariou - 1997
7	Worst Case Timing Analysis - Hur, Bae, et al. - 1995
7	Reducing timing analysis complexity by partitioning control flow - Al-Yaqoubi - 1997
6	Worst case execution time analysis for modern hardware architectures - Ottosson, Sjodin - 1997
5	Portable Execution Time Analysis for RISC - Narasimhan, Nilsen - 1994
4	Timing analysis for data caches and wrap-around-fill caches - White, Mueller, et al. - 1999
4	Timing Analysis for Data Caches and Set-Associative - White, Mueller, et al. - 1997
3	Predicting Pipeline and Instruction Cache Performance - Healy - 1995
2	Integrated Program Proof and Worst Case Timing Analysis of SPARK Ada - Chapman, Wellings, et al. - 1994
2	Performance Estimation of Embedded - Li, Malik, et al. - 1995
1	Experiments with a Program Timing Tool Based on aSource-Level Timing Schema - Park, Shaw - 1991
1	AGeneral Approach for Tight Timing Predictions of Non-Rectangular Loops - Healy, Engelen, et al. - 1999