76 - 100 of 912
Number of results to display per page
CreatorTitleDescriptionSubjectDate
76 Done, William JohnEstimation of the parameters of an autoregressive process in the presence of additive white noiseApplications 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 model1979
77 Boll, Steven F.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 algorithms1979
78 Frost, Richard L.High resolution astronomical imaging through the turbulent atmosphereThis 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 images1979
79 Lindstrom, Gary E.Referencing and retention in block-structured coroutinesThe 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; BSCR1979
80 Organick, Elliott I.Characteristics of a functional programming languageA 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
81 Subrahmanyam, P.A.On proving the correctness of data type implementationsIn 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; Consistency1980
82 Davis, A.L.Dataflow computers: a tutorial and surveyThe 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 computers1980
83 Davis, Alan L.Mathematical representation for VLSI arraysThis 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 arrays1980
84 Gerpheide, George E.Bit-driven logic: a style of digital logic for VLSI designThis 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 chips1980
85 Barsky, Brian A.Transpline curve representation systemAn 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 system1980
86 Subrahmanyam, P.A.A new approach to specifying and handling exceptionsAn 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 handling1980
87 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 contamination1980
88 Keller, Robert M.Semantics and applications of function graphsFunction 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 semantics1980
89 Baxter, Brent S.A standard magnetic tape format for digital image exchangeThis 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 data1981
90 Carter, Tony M.The path programmable logic (PPL) user's manualThis 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
91 Subrahmanyam, P.A.An algebraic formulation of seitz's weak conditions for self timed circuitsTwo 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 circuits1982
92 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; VLSI1982
93 Lindstrom, Gary E.Toward function-based distributed database systemsWe 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; applicative1982
94 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 units1982
95 Bhanu, BirSegmentation of images having unimodal distributionsA 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 algorithm1982
96 Lindstrom, Gary E.Consistency and currency in functional databasesWe 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 databases1982
97 Carter, Tony M.ASSASSIN : a CAD system for self-timed control-unit designMany 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 units1982
98 Subrahmanyam, P.A.Modeling of call - by - need and stream primitives using CCSThe 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; CCS1982
99 Organick, Elliott I.ADA to silicon transformations: the outline of a methodThis 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 specification1982
100 Subrahmanyam, P.A.FUNLOG = functions + logic: a computational model integrating logic programming and functional programming (Rev. May 1983)Funlog, a computational model which attempts to integrate functional programming and logic programming is described. The model supports computations with infinite data structures without the introduction of complex control issues at the user-level. Control characteristics are improved as compared wi...FUNLOG; Functional programming; Logic programming1983
76 - 100 of 912