|
|
Creator | Title | Description | Subject | Date |
1 |
 | Gopalakrishnan, Ganesh | A correctness criterion for asynchronous circuit validation and optimization | We propose a new relation C. called strong conformance in the context of Dill's trace theory, and define B Q A to be true exactly when B conforms to A and the success set of B contains the success set of A. When B C. A, module B operated in module A's maximal environment AM (i.e. B || AM) exhibits a... | Validation; Optimization | 1992 |
2 |
 | Legorburu, Gabriel | Energy modeling framework for optimizing heat recovery in a seasonal food processing facility | Societal, cultural and economic factors are driving food processors to reduce energy consumed per unit mass of food. This presents a unique problem because time variant batch processing using low to medium grade heat is common in food production facilities. Heat recovery methods may be implemented b... | Energy efficiency; Food industry; Heat recovery; Optimization; Simulation | 2018-07-20 |
3 |
 | Gopalakrishnan, Ganesh | Performance analysis and optimization of asynchronous circuits | Asynchronous/Self-timed circuits are beginning to attract renewed attention as promising means of dealing with the complexity of modern VLSI designs. However, there are very few analysis techniques or tools available for estimating the performance of asynchronous circuits. In this paper we adapt th... | Asynchronous circuits; Performance analysis; Optimization; VLSI circuits | 1994 |
4 |
 | Painter, James S. | Radioptimization - Goal based rendering | This paper presents a method for designing the illumination in an environment using optimization techniques applied to a radiosity based image synthesis system. An optimization of lighting parameters is performed based on user specified constraints and objectives for the illumination of t h e envir... | Radioptimization; Illumination; Optimization; Lighting parameters; Radiosity based image synthesis | 1993 |