|
|
Creator | Title | Description | Subject | Date |
101 |
|
Organick, Elliott I. | Characteristics of a functional programming language | A programming language kernel is presented where an algorithm is a function defined through a functional expression. The only data structure introduced is an object that may be an atom or a sequence of objects. A number of functional forms are defined, with a notation close to ordinary mathematical ... | | 1980 |
102 |
|
Subrahmanyam, P.A. | On proving the correctness of data type implementations | In order to prove the correctness (or consistency) of an implementation of a data type with respect to the data type's specifications, the minimal amount of information that needs to be provided consists of: (i) a specification of the type being implemented; (ii) a specification of the representati... | Data type; Consistency | 1980 |
103 |
|
Davis, A.L. | Dataflow computers: a tutorial and survey | The demand for very high performance computer has encouraged some researchers in the computer science field to consider alternatives to the conventional notions of program and computer organization. The dataflow computer is one attempt to form a new collection of consistent systems ideas to improve ... | Dataflow computers | 1980 |
104 |
|
Davis, Alan L. | Mathematical representation for VLSI arrays | This paper introduces a methodology for mapping algorithmic description into a concurrent implementation on silicon. This methodology can help in the solution of important problems using a new technique for the representation of highly parallel networks. This new approach for the representation of c... | VLSI arrays | 1980 |
105 |
|
Stringfellow, Gerald B. | Deep electron traps in organometallic vapor phase grown AlGaAs | Deep electron traps have been studied by means of deep level transient spectrosocopy in type nominally undoped and interntionally te doped Al Ga As epitaxial layers which were grown by vapor phase epitaxy from organometallic compounds (OMVPE). Three main deep electron levels are present in undoped m... | Vapor phase epitaxy; Shallow impurity identity; Optoelectronic device performance | 1980 |
106 |
|
Gerpheide, George E. | Bit-driven logic: a style of digital logic for VLSI design | This memo describes a new style of low-level digital logic design called Bit-Driven Logic (BDL) which may prove attractive for the design of VLSI chips. BDL is an application of speed-independent, data-flow ideas to a very low level. It has the advantages of good locality, clockless operation, and... | Bit-Driven Logic; BDL; Digital logic design; VLSI chips | 1980 |
107 |
|
Barsky, Brian A. | Transpline curve representation system | An interactive curve representation system has been developed based on the concept of transforming among several parametric spline curve formulations. The available formulations are the interpolatory spline, uniform B-spline, spline under tension, and NU-spline. The system implementation is describe... | Transpline curves; curve representation system | 1980 |
108 |
|
Subrahmanyam, P.A. | A new approach to specifying and handling exceptions | An operation generally exhibits different patterns of behavior over different parts of its domain. Depending upon the context, such behavior may either be conceived of as "normal" or as an "exception." Thus, the behavior of an operation Is quite naturally characterized by the set of partial operatio... | Computer operations; Exceptions; Exception handling | 1980 |
109 |
|
Stringfellow, Gerald B. | Photoluminescence of Shallow Acceptors in Epitaxial AlGaAs | The low-temperature (2 K) photoluminescence (PL) of AlxGa1-xAs (0<x<0.25 was studied in an effort to characterize shallow acceptors in material grown by organometallic vapor phase epitaxy and liquid phase epitaxy techniques. The dominant shallow acceptor in nominally undoped AlxGa1-xAs specimens gro... | Photoluminescence; Acceptors; Doping | 1980 |
110 |
|
Stringfellow, Gerald B. | Electron mobility in compensated GaAs and AlGaAs | The dependence of electron mobility on temperature in GaAs and Al Ga As indicates that for cimpensated material a term having causes a significant reduction in the mobility measured at high temperatures. The magnitude of the term in mobility, denoted is found to be linearly proportional to the compe... | Unspecified mobility; Reduced mobility; Space charge regions | 1980 |
111 |
|
Pershing, David W. | Control of NOx emissions | NITROGEN OXIDES (NOX) are produced in combustion from molecular nitrogen (thermal NOx) or from oxidation of nitrogen contained in the fuel (fuel NOx). Production of NOx in a turbulent diffusion flame is largely dependent upon fuel composition and fuel/air contacting, which for liquid fuels is determ... | Staged heat release; Tunnel furnace; Boiler simulator; Staged combustion | 1980 |
112 |
|
Boll, Steven F. | Noise suppression methods for robust speech processing (1 Oct. 1979- 31 Mar. 1980) | Robust speech processing in practical operating environments requires effective environmental and processor noise suppression. This report describes the technical findings and accomplishments during this reporting period for the research program funded to develop real time, compressed speech analysi... | Noise suppression; Compressed speech analysis-synthesis algorithms; Signal contamination | 1980 |
113 |
|
Keller, Robert M. | Semantics and applications of function graphs | Function graphs provide graphical models of programs based on function application. The uses of such models include provision of a semantic framework for functional programs, explication of the structure of complex systems based on function application, increasing proximity of programs to certain ap... | Function graphs; Computer semantics | 1980 |
114 |
|
Barsky, Brian A. | A description of several tools for the synchronization of concurrent processes | Concurrent processes are tasks which may be executed simultaneously. When several such processes have access to shared variables, it is necessary to establish some regimen to control this access. Several language tools for expressing various synchronization disciplines are presented. | Concurrent processes | 1980 |
115 |
|
Davis, Alan L. | A characterization of parallel systems | a taxonomy for parallel processing systems is presented which has some advantages over previous taxonomies. The taxonomy characterizes parallel processing systems using four parameters: topology, communication, granularity, and operation. These parameters and used repetitively in a hierarchical fash... | Parallel systems | 1980 |
116 |
|
Horch, Kenneth W. | On the number and nature of regenerating myelinated axons after lesions of cutaneous nerves in the cat | 1. Electrophysiological and anatomical techniques were used to investigate normal and regenerating sural and posterior femoral cutaneous nerve fibres in the cat. 2. One and a half years after transection of these nerves it was found that the regenerating neurones supported multiple sprouts in the... | Nerve fibres; Transection; Nerve injury | 1981 |
117 |
|
Pershing, David W. | Mechanisms of NOx formation and control: alternative and petroleum-derived liquid fuels | Petroleum-, coal- and shale-derived liquid fuels were burned in a downfired tunnel furnace to assess the impact of fuel properties on the formation and control of NOx emissions. A nitrogen-free oxidant mixture (Ar, C02 , 02) was used to isolate fuel NOx formation. Under excess air conditions fuel N... | Exhaust emissions; Alternative fuels; Petroleum-derived liquid fuels | 1981 |
118 |
|
Baxter, Brent S. | A standard magnetic tape format for digital image exchange | This proposal describes a simple yet flexible magnetic tape format for exchanging digital image information. Multi-dimensional arrays of raster scan data are stored as sequential files, with descriptive information related to the sefiles stored in an initial directory file. Directory information is ... | Raster scan data | 1981 |
119 |
|
Horch, Kenneth W. | Changes in primary afferent depolarization of sensory neurones during peripheral nerve regeneration in the cat | I. Micro-electrode recordings were made from normal and regenerating sural nerve fibres in cats. Increases in the excitability of the central terminals of these fibres after conditioning stimulation of other sural nerve fibres were taken as evidence for primary afferent depolarization. 2. At all... | Micro-electrode recording; Nerve regeneration; Primary afferent depolarization | 1981 |
120 |
|
Christensen, Douglas A. | Effects of increased energy prices on U.S. agriculture: an econometric approach | Although the contents of this manuscript remain the responsibility of the authors, we wish to thanks a group of reviewers for the time and conscientious effort they put forth to solidify this final draft. Andrew Morton, Brian Holding, Wesley Buchele, and Arnold Paulsen deserve much credit for their ... | Energy prices | 1981 |
121 |
|
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 |
122 |
|
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 |
123 |
|
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 |
124 |
|
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 |
125 |
|
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 |