1 - 25 of 13
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Organick, Elliott I. | ADA to silicon transformations: the outline of a method | This report explores the contention that a high-order language specification of a machine (such as an Ada program) can be methodically transformed into a hardware representation of that machine. One series of well-defined steps through which such transformations can take place is presented in this i... | ADA program; High-order language specification | 1982 |
| 2 |
 |
Subrahmanyam, P.A. | An algebraic formulation of seitz's weak conditions for self timed circuits | Two fairly intuitive conditions are given that serve to algebraically characterize Seitz's "weak conditions" for self timed circuits. It is shown that these two conditions embody the 12 temporal logic conditions (developed b y Owicki and Malachi) which are intended to express both the weak condition... | Seitz's weak conditions; Self-timed circuits | 1982 |
| 3 |
 |
Carter, Tony M. | ASSASSIN : a CAD system for self-timed control-unit design | Many software systems exist for automatically implementing synchronous state machines . Presented is this paper is a software system -- ASSASSIN -- for the design and automatic layout of self-timed (or speed- independent) control units as integrated circuit modules. | ASSASSIN; Self-timed control units | 1982 |
| 4 |
 |
Lindstrom, Gary E. | Consistency and currency in functional databases | We consider a hybrid model of databases, in which a functional component T is defined as an extension to an imperative component B. T. is loosely coupled to B through a highly parallel function network N. which provides a simple failsafe test of whether an existing assignment of values to a given vi... | Functional databases | 1982 |
| 5 |
 |
Pershing, David W. | Influence of coal composition on the fate of volatile and char nitrogen during combustion | Fifty coals from North America, Europe, Asia, South Africa and Australia were burned in a 21 kW, refractory-lined tunnel furnace to determine the influence of coal properties on the fate of volatile and char nitrogen. Excess air fuel NO emissions (as determined by combustion in Ar/02/C02) ranged fro... | Coal composition; Char nitrogen; Volatile nitrogen; NO emissions | 1982 |
| 6 |
 |
Subrahmanyam, P.A. | Modeling of call - by - need and stream primitives using CCS | The semantics of an applicative language are presented using the algebraic primitives introduced in CCS. In particular, the language constructs modeled allow for nondeterminism, stream processing and demand driven (call by need) evaluation. | Applicative language; Semantics; Algebraic primitives; CCS | 1982 |
| 7 |
 |
Carter, Tony M. | The path programmable logic (PPL) user's manual | This manual describes the primitive NMOS path programmable logic cells currently in use at the University of Utah. It contains detailed descriptions, schematics and composite layout of all cells. Also included are PPL programming rules as well as layout design rules for each cell set. | 1982 | |
| 8 |
 |
Bhanu, Bir | Segmentation of images having unimodal distributions | A gradient relaxation method based on maximizing a criterion function is studied and compared to the nonlinear probabilistic relaxation method for the purpose of segmentation of images having unimodal distributions. Although both methods provide comparable segmentation results, the gradient method h... | Gradient relaxation method; Image segmentation; Segmentation algorithm | 1982 |
| 9 |
 |
Organick, Elliott I. | Semiannual technical report transformation of ADA programs into silicon (1 Sept. 1981- 28 Feb. 1982) | This report summarizes the first six months work of the research project, "Transformation of Ada Programs into Silicon." Our project has five main objectives: 1. Develop and document elements of a transformation methodology for converting Ada programs, or program constructs, into VLSI systems which ... | ADA programs; VLSI | 1982 |
| 10 |
 |
Stringfellow, Gerald B. | Thermodynamic aspects of organometallic VPE | Organometallic vapor phase epitaxy (OMVPE) is a new crystal growth technique which is rapidly gaining popularity due to its simplicity, flexibility and proven ability to grow excellent quality III/V compounds and alloys for device applications. | Organometallic vapor phase epitaxy; Thermodynamics | 1982 |
| 11 |
 |
Lindstrom, Gary E. | Toward function-based distributed database systems | We discuss the suitability of a function-based (or "applicative") approach to the construction of distributed database systems. Certain aspects of applicative systems are immediatley appealing for this purpose (e.g. data oriented toward conceptual objects rather than toward particular representation... | Function-based; distributed database systems; applicative | 1982 |
| 12 |
 |
Organick, Elliott I. | Transformation of ADA programs into silicon (82 Mar. 1 - 82 Oct. 31) | This report outlines the beginning steps taken in an integrated research effort toward the development of a methodology, and supporting systems, for transforming Ada programs, or program units, (directly) into corresponding VLSI systems. The time seems right to expect good results. The need is evide... | Transformation; Silicon; Ada program units | 1982 |
| 13 |
 |
Stringfellow, Gerald B. | Vapor phase interaction of trimethylaluminum with graphite during OMVPE | We have used a molecular beam mass spectrometer to study the interaction of trimethylaluminum (TMA) with graphite surfaces. Our results indicate that a strong adsorption effect occurs which explains phenomena occuring during OMVPE growth of AlxGa1-xAs, such as long A1 transients, oxygen gettering, a... | Organometallic vapor phase epitaxy; Thermodynamics; Graphite; Trimethylaluminum | 1982 |
1 - 25 of 13