Program Improvement by Automatic Redistribution of Intermediate Results

Title: en_US Program Improvement by Automatic Redistribution of Intermediate Results
Creator: en_US Hall, Robert Joseph
Date: 2004-10-20T19:57:59Z
Date Available: 2004-10-20T19:57:59Z
Date Issued: en_US 1991-02-01
Identifier: en_US AITR-1251
uri: http://hdl.handle.net/1721.1/6815
Abstract: en_US Introducing function sharing into designs allows eliminating costly structure by adapting existing structure to perform its function. This can eliminate many inefficiencies of reusing general componentssin specific contexts. "Redistribution of intermediate results'' focuses on instances where adaptation requires only addition/deletion of data flow and unused code removal. I show that this approach unifies and extends several well-known optimization classes. The system performs search and screening by deriving, using a novel explanation-based generalization technique, operational filtering predicates from input teleological information. The key advantage is to focus the system's effort on optimizations that are easier to prove safe.
Extent: en_US 275 p.; 17103312 bytes; 13382864 bytes
Format: application/postscript; application/pdf
Language: en_US
Relation: en_US AITR-1251
Subject: en_US artificial intelligence; en_US function sharing; en_US program optimization