1 - 25 of 15
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
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 |
| 2 |
 |
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 |
| 3 |
 |
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 |
| 4 |
 |
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 |
| 5 |
 |
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 | |
| 6 |
 |
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 |
| 7 |
 |
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 |
| 8 |
 |
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 |
| 9 |
 |
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 |
| 10 |
 |
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 |
| 11 |
 |
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 |
| 12 |
 |
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 |
| 13 |
 |
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 |
| 14 |
 |
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 |
| 15 |
 |
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 |
1 - 25 of 15