Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang  Home/Search
Context
Related
| sunysb.edu/pub/liu...DgByIncSTTT.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: sunysb.edu/~liu/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . A systematic transformation method based on incrementalization and value caching generalizes a broad family of program optimizations. It yields significant performance improvements in many program classes, including iterative schemes that characterize hardware specifications. CACHET is an interactive incrementalization tool. Although incrementalization is highly structured and automatable, better results are obtained through interaction, where the main task is to guide term rewriting based ... (Update)
Similar documents (at the sentence level):
19.3%: A Systematic Incrementalization Technique and its.. - Johnson, Liu, Zhang (1999) (Correct)
Active bibliography (related documents): More All
2.0: A Systematic Incrementalization Technique and Its.. - Johnson, Liu, Zhang (Correct)
0.4: Formal Verification of Time-Triggered Systems - Pike (2006) (Correct)
0.2: Loop Optimization for Aggregate Array Computations - Liu, Stoller (1997) (Correct)
Similar documents based on text: More All
0.5: Principled Strength Reduction - Liu (1996) (Correct)
0.4: Efficient Computation via Incremental Computation - Liu (1999) (Correct)
0.4: Optimizing Aggregate Array Computations in Loops - Liu, Stoller, Li, Rothamel (Correct)
BibTeX entry: (Update)
@inproceedings{ johnson99systematic,
author = "Steven D. Johnson and Yanhong A. Liu and Yuchen Zhang",
title = "A Systematic Incrementalization Technique and Its Application to Hardware Design",
booktitle = "Conference on Correct Hardware Design and Verification Methods",
pages = "334-337",
year = "1999",
url = "citeseer.ist.psu.edu/459066.html" }
Citations (may not include all citations):101 A Discipline of Programming (context) - Dijkstra - 1976
94 Projections for strictness analysis - Wadler, Hughes - 1987
57 Systematic derivation of incremental programs - Liu, Teitelbaum - 1995
47 Continuation-based program transformation strategies (context) - Wand - 1980
39 Discovering auxiliary information for incremental computatio.. - Liu, Stoller et al. - 1996
33 Static caching for incremental computation - Liu, Stoller et al. - 1998
29 The Science of Programming (context) - Gries - 1981
21 Symbolic simulation of the JEM1 microprocessor - Greve - 1998
18 DDD-FM9001: Derivation of a verified microprocessor - Bose, Johnson - 1993
18 DDD-FM9001: Derivation of a Verified Microprocessor - Bose - 1994
16 Principled strength reduction - Liu - 1997
14 incrementalattribution -based program transformation system .. (context) - Liu, An - 1995
11 Symbolic simulation: an ACL2 approach - Moore - 1998
10 Towards a super duper hardware tactic - Windley, Aagard et al. - 1993
7 Incremental Computation: A Semantics-Based Systematic Transf.. - Liu - 1996
6 Hardware Verification using Coinductive Assertions (context) - Miner - 1997
5 Integrated reasoning support in system design: design deriva.. (context) - Johnson, Miner
3 Recursion and Programming (context) - Wand - 1980
Documents on the same site (http://www.cs.sunysb.edu/~liu/): More
Dynamic Programming via Static Incrementalization - Liu, Stoller (2000) (Correct)
Optimizing Ackermann's function by incrementalization - Liu, Stoller (2000) (Correct)
Strengthening Invariants for Efficient Computation - Liu, Stoller, Teitelbaum (2001) (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