|
|
Creator | Title | Description | Subject | Date |
| 76 |
 |
| The architecture of DDMl: a recursively structured data driven machine | An architecture for a highly modular, recursively structured class of machines is presented. DDMl is an instance of such a machine structure, and is capable of executing machine language programs which are data driven (data flow) nets. These nets may represent arbitrary amounts of concurrency as wel... | DDMl; machine structure; machine language programs | 1977 |
| 77 |
 |
| Denotational models for parallel programs with indeterminate operators | Several approaches to networks of concurrently-operating modules involving indeterminacy are discussed. Techniques for representing the denotational semantics of such networks, and for verifying properties of them, are presented, including an oracle approach, an axiomatic approach, a data-type reduc... | Denotational models; Indeterminate operators | 1977 |
| 78 |
 |
| Backtracking in generalized control settings | Backtracking is a powerful conceptual and practical technique in programming. However, its application in general has been limited to global control over recursive programs. In this paper we explore through several examples the coherence and utility of applying backtracking in more general control s... | Backtracking | 1977 |
| 79 |
 |
| Modeling of solids for three-dimensional finite element analysis | The geometric modeling of solid objects is a major problem within the design analysis loop of the engineering design process. Models are analyzed by various computer programs to predict their performance. The format of each model is usually different for each analysis routine. The existence of sev... | Geometric modeling; Solid objects; Finite element analysis | 1977 |
| 80 |
 |
| Semantics of parallel program graphs | A denotational model for networks of parallel processes is presented which generalizes the work of Kahn by using alternative data types, e.g. Lisp-like operators on trees. It is shown that the ordering aspect of data types plays a central role in determining how much parallelism can be present. It i... | Parallel program graphs; Computer semantics; Denotational model | 1977 |
| 81 |
 |
| Display of complex three dimensional finite element models | Complex three dimensional models can be displayed after an automatic generation of a finite element (panel) mapping. although this automatic generation algorithm fails at certain levels of model complexity, the elimination of these failures can be accomplished through user interaction. This report p... | Three dimensional models; Finite element models | 1978 |
| 82 |
 |
| An approach to determinacy proofs | It is known that any parallel program graph composed of continuous operators itself represents a continuous function. In other words, the network is determinate in the sense that for a given input, the output is unique, independent of the timing of the constituent operators. This result is applied t... | Parallel program graph; Determinacy proofs | 1978 |
| 83 |
 |
| Sentinels: A concept for multiprocess coordination | The sentinel construct is introduced, which provides a certain syntactic and semantic framework for multiprocess coordination. The advantage of this construct over others is argued to be semantic transparency, efficiency, ease in implementation, and usefulness in verfication. | Sentinels; Multiprocess coordination; Sentinel construct | 1978 |
| 84 |
 |
| Data driven nets: a maximally concurrent, procedural, parallel process representation for distributed control systems | A procedural parallel process representation, known as data-driven nets is described. The sequencing mechanism of the data-driven representation is based on the principle of data dependency. Operations are driven into action by the arrival of the required working set of input operands. Execution of ... | Data driven nets | 1978 |
| 85 |
 |
| Noise suppression methods for robust speech processing (1 Oct. 1978- 31 Mar. 1981) | 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 period for research program funded to develop real time, compressed speech ... | Noise suppression; Compressed speech analysis-synthesis algorithms; Signal contamination | 1978 |
| 86 |
 |
| An architecture for a loosely-coupled parallel processor | An architecture for a large (e. g. 1000 processor) parallel computer is presented. The processors are loosely-coupled, in the sense that communication among them is fully asynchronous, and each processor is generally not unduly delayed by any immediate need for specific data values. The network supp... | Loosely-coupled; Parallel processors | 1978 |
| 87 |
 |
| CASL - A language for automating the implementation of computer architectures | The computer Architecture Specification Language (CASL), described in this paper, is intended for use by computer architects CASL is a state machine description language especially useful for describing digital systems at the "register transfer" level and designed to meet the needs of the computer a... | Computer Architecture Specification Language | 1979 |
| 88 |
 |
| Noise suppression methods for robust speech processing (1 Oct. 1978- 31 Mar. 1979) | 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; Signal contamination; Compressed speech analysis-synthesis algorithms | 1979 |
| 89 |
 |
| High resolution astronomical imaging through the turbulent atmosphere | This research is principally concerned with the digital reconstruction of star images observed with large ground-based telescopes, although the techniques developed here will have application to a broad class of reconstruction problems. Since the work of Labeyrie, the difficulty in producing accurat... | Astronomical imaging; Turbulent atmosphere; Digital reconstruction; Star images | 1979 |
| 90 |
 |
| The application of total positivity to computer aided curve and surface design | Of particular importance in an interactive curve and surface design system is the interface to the user. The mathematical model employed in the system must be sufficiently flexible for interaction between designer and machine to converge to a satisfactory result. The mathematical theory of Total Pos... | interactive curves; total positivity | 1979 |
| 91 |
 |
| Alpha-beta pruning on evolving game trees | The alpha-beta strategy is a widely used method for economizing on the size of game trees. Heretofore, its application has been limited to depth-first tree growth in recursive search functions. However, many modern game players use retentive (i.e. coroutine-based) control to achieve greater attentio... | Alpha-beta pruning; Game trees | 1979 |
| 92 |
 |
| Noise suppression methods for robust speech processing (1 April 1979- 30 Sept. 1979) | 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; Signal contamination; Compressed speech analysis-synthesis algorithms | 1979 |
| 93 |
 |
| Discrete B-splines and subdivision techniques in compter-aided geometric design and computer graphics | The relevant theory of discrete 5-sphnes with associated new algorithms is extended to provide a framework for understanding and implementing general subdivision schemes for nonuniform B-splines. The new derived polygon corresponding to an arbitrary refinement of the knot vector for an existing .B-... | | 1979 |
| 94 |
 |
| Estimation of the parameters of an autoregressive process in the presence of additive white noise | Applications of linear prediction (LP) algorithms have been successful in modeling various physical processes. In the area of speech analysis this has resulted in the development of LP vocoders, devices used in digital speech communication systems. The LP algorithms used in speech and other areas ar... | Autoregressive process; Linear prediction algorithms; All-pole model | 1979 |
| 95 |
 |
| Referencing and retention in block-structured coroutines | The combination of coroutines with recursive procedures is characteristic of many modern higher-level languages offering advanced control structures (e.g. SIMULA-67, SL5, Interlisp, etc.). We say a language has block-structured coroutines (BSCRs) when static nesting considerations govern the usage o... | Block-structured; BSCR | 1979 |
| 96 |
 |
| Application of adaptive noise cancellation to noise reduction in audio signals | The LMS adaptive noise cancellation algorithm has been applied to the removal of high-level white noise from audio signals. Simulations and actual acoustically recorded signals have been processed successfully, with excellent agreement between the results obtained from simulations and the results ob... | Noise cancellation; Noise reduction; White noise; LMS algorithm | 1979 |
| 97 |
 |
| Suppression of acoustic noise in speech using spectral subtraction | A stand alone noise suppression algorithm is presented for reducing the spectral effects of acoustically added noise in speech. Effective performance of digital speech processors operating in practical environments may require suppression of noise from the digital waveform. Spectral subtraction offe... | Suppression; acoustic noise; noise suppression algorithm; digital speech processors; Spectral subtraction | 1979 |
| 98 |
 |
| Suppression of acoustic noise in speech using two microphone adaptive noise cancellation | Acoustic noise with energy greater or equal to the speech is suppressed by filtering a separately recorded correlated noise signal and subtracting it from the speech waveform. This approach was investigated to determine the degree of noise suppression possible using an external correlated input. The... | Suppression; acoustic noise; adaptive noise cancellation | 1979 |
| 99 |
 |
| 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 |
| 100 |
 |
| 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 |
