Computer Science Archive
 
Filters: Collection: "ir_computersa"
51 - 75 of 160
Number of results to display per page
TitleDescriptionSubjectDate
51 Concurrent scheme, a language for concurrent symbolic computingThis research addresses a portion of the "software problem," by proposing language constructs to extend the Lisp class of computer language commonly used for symbolic computing. As a representative of the class of Lisp-like languages, the Scheme dialect will be used throughout this research.computer language; symbolic computing; concurrent processing1991-05
52 Considerations for the Development of a Computer-Aided Electrical Design SystemThe specifications of a computer-aided design system are proposed based on the implementation of a prototype subsystem using UNIVAC 1108 and PDP-8 computers. The design system would aid a designer who wished to select and specify electrical fixtures, controls and circuits, and place them in a buildi...1969-09
53 Consistent Geometric Modeling ApproachesBoolean set operations are important in solid modeling; however making them robust is problematic. This thesis summarizes the problems with robustness of geometric algorithms caused by approximated data and numerical computation and provides two different approaches to build a robust geometric model...geometric model; boolean set; adaptive single tolerance1993
54 Constraint driven synthesis of hardware designDesign synthesis (or Synthetic Design) is an attractive alternative to manual design, due to the obvious benefits of decreased development time and correctness by construction. Unfortunately, the price for this automation has frequently been inefficient designs and a narrow range of application. The...design synthesis; constraint driven synthesis; constraints; computers1983-08
55 Constraint kernels: constraints and dependencies in a geometric modeling systemThis thesis describes the use of algebraic constraints and functional dependencies in the context of a geometric modeling system.geometric modeling system; functional dependencies; algebraic constraints; computers1987-08
56 Constraints as a Paradigm for ComputingThis dissertation presents a multiple domain constraint logic programming system (MDCLP) in which multiple solvers are supported and are viewed as external modules interfaced to the logic programming system through the set of constructors and predicates they support. The concept of separately compil...logic programming; constraint logic programming; clp; logic programming language; programming language; warren abstract machine; type inference1993-03
57 Data structures and system support for a graphical programming language editing and program development environmentThis thesis presents an editing tool for use in the development of data-driven style programs. These programs are based on a hierarchical graphical syntax rather than the conventional textual syntax. The editor provides the programmer with all the necessary operations for traversing and manipulating...editing tool; computers; data-driven style programs1983-12
58 Design and implementation of a portable shared memory serverProcesses communicate between one another using mechanisms like message passing, files, shared memory, etc. In current systems, shared memory is not commonly used even though it has many advantages over message passing and file sharing such as simplicity, efficiency, and lower space overhead. This t...memory management; portable shared memory server1994-12
59 Design for a micromodular self-timed system, AAbstract: Self-timed systems lend themselves readily to interactive design and implementation of concurrency. These systems and their properties are discussed, and the implementation for a micromodular system is described. The use of formal techniques to design asynchronous machines with concurrency...Switching systems; micromodular representations; self-timed systems; interactive design; concurrency1972-03
60 Design goals of an editor for storage logic arraysAbstract: Integrated circuits of increased density require both better fabrication technology and tools for managing the design complexity. Before stepping firmly into the era of Very Large Scale Integration (VLSI), powerful abstractions of integrated circuit design and associated software tools mu...storage logic arrays; Integrated circuit design1981-06
61 Design of a Self-Timed, Pipelined, Floating Point Multiplier in Gallium ArsenideThis thesis presents the design of a self-timed, floating point multiplier in Gallium Arsenide (GaAs) technology. It implements the Institute of Electrical and Electronic Engineers (IEEE) single precision standard. Self-timed design methodology offers some advantages over a synchronous approach, esp...gallium arsenide; floating point multiplier; GaAs; GaAs technology1994-06
62 Digital Image Deblurring by Nonlinear Homomorphic FilteringThis report is concerned with the digital estimation of the frequency response of a two-dimensional linear system through which images have been passed and blurred. Almost no a priori knowledge concerning the system is required, and only one blurred image is necessary for a successful estimation. Fo...1974-08
63 Digital image deblurring by nonlinear homomorphic fllteringAbstract: This dissertation is concerned with the digital estimation of the frequency response of a two-dimensional linear system through which images have been passed and blurred. Almost no a priori knowledge concerning the system is required, and only one blurred image is necessary for a successfu...Deblurring; nonlinear homomorphic filtering1974-08
64 Digital image deblurring by nonlinear homomorphic fllteringAbstract: This dissertation is concerned with the digital estimation of the frequency response of a two-dimensional linear system through which images have been passed and blurred. Almost no a priori knowledge concerning the system is required, and only one blurred image is necessary for a successfu...Deblurring; nonlinear homomorphic filtering1974-08
65 Discrete B-Splines as an Approach to Computer Aided Geometric DesignInvestigations have been made of many interesting problems deriving from the applications of discrete splines to the problems of computer aided geometric design. New theory and algorithms have been developed and support mechanisms based on the Oslo algorithm have been incorporated in order to help u...1985-09
66 E-MO : a system for automatically generating emotive-motionsA system is developed to automatically generate control functions for linked mechanisms that express specific emotions. This system could be employed to produce motions for characters in a computer animation. It takes advantage of the fact that evaluation functions, which take physical characteristi...1995-03
67 ELA: A program to analyze logs of execution eventsThis is a description of ELA, a tool to give insight into the operation of computer systems during their development.ELA; logs of execution events; computers1991-03
68 Efficient evaluation of normal order through strictness informationNormal order functional languages (NOFLs) offer conceptual simplicity, expressive power and attractiveness for parallel execution. In NOFLs expressions are represented in a graphical form and transformed to the final answer using graph transformation rules. Until the G-machine project in Sweden, imp...NOFL; strictness analysis; computers1987-03
69 Elastic and Plastic Surfaces for Modeling and AnimationThis thesis presents eplastics, a modeling and animation tool developed to represent elastic and plastic surfaces under the B-spline representation. Eplastics derives its model from concepts found in physically based modeling of articulated motion, rigid bodies and deformable models. Eplastics works...animation; modeling; eplastics; articulated motion; deformable; alpha_1; b-spline1990
70 Extraction of Micro-Terrain FeaturesMicro-terrain features are topographic structures relavent to the behavior of a simulation, but with a horizontal extent significantly less than the resolution of the base-level terrain data covering the area in which these structures occur. Thus, these features are not directly extractable from ele...1998-08
71 FEL + set abstraction = database query languageThe methodology of embedding set abstraction into FEL is described. Set abstraction is a powerful notation which can be used directly for higher level database query language.set abstraction; FEL1983-09
72 FLEX - A Flexible Extendable LanguageThe FLEX system consists of merged 'hardware' and 'software' that is optimized towards handling algorithmic operations in an interactive, man-machine dialog. The basic form is that of a hardware implementation of a parametric compiler embedded in an environment that is well-suited for semantically d...1968-06
73 Feature-based reverse engineeringReverse engineering entails building a representation of an engineered object using only information derived from an instance of that object. This research has focused on the reverse engineering of physical objects, specifically machined parts. Reverse engineering differs from many other sensing pro...reverse engineering1994-12
74 Feature-based reverse engineering of mechanical parts: revisionReverse engineering of mechanical parts requires extraction of information about an instance of a particular part sufficient to replicate the part using appropriate manufacturing techniques. This is important in a wide variety of situations, since functional CAD models are often unavailable or unusa...1995-11-06
75 First-Order Unification in Equational Theories and its Application to Logic ProgrammingThis thesis studies first-order unification in equational theories, called E-unification, paying particular attention to complete unification algorithms for classes of equational theories. It also investigates how results and notions of E-unification can be applied to logic programming systems that ...first-order unification; equational theory; logic programming; e-unification; semantic unification; dec-20; prolog1985
51 - 75 of 160