|
|
Creator | Title | Description | Subject | Date |
| 201 |
 |
Fujimoto, Richard M.; Gopalakrishnan, Ganesh | Design and evaluation of the rollback chip: special purpose hardware for time warp | The Time Warp mechanism offers an elegant approach to attacking difficult clock synchronization problems that arise in applications such as parallel discrete event simulation. However, because Time Warp relies on a lookahead and rollback mechanism to achieve widespread exploitation of parallelism, t... | Rollback chip; Time Warp mechanism; Clock synchronization; Parallel discrete event simulation | 1988 |
| 202 |
 |
Henderson, Thomas C. | An annotated bibligraphy of multisensor integration | In this paper we give an annotated bibliography of the multisensor integration literature. | Multisensor integration; Bibligraphy | 1988 |
| 203 |
 |
Zhu, Xiaohong | Automatic compensating cleanup operation | Today's part geometries are becoming ever more complex and require more accurate tool path to manufacture. Machining process efficiency is also a major consideration for designers as well as manufacturing engineers. Although the current advanced CAD/CAM systems have greatly improved the efficiency ... | Part geometries | 1989 |
| 204 |
 |
Cohen, Elaine | Constant scallop height tool path generation | An approach for the automatic generation of constant scallop height tool paths is presented. An example is shown generated from a B-spline model, although it can be used with many types of sculptured surfaces. The approach utilizes surface subdivision techniques and a new algorithm for tool path gen... | Scallop height; Tool path generation; B-spline model | 1989 |
| 205 |
 |
Carter, Tony M. | Cascade: hardware for high/variable precision arithmetic | The Cascade hardware architecture for high/variable precision arithmetic is described. It uses a radix-16 redundant signed-digit number representation and directly supports single or multiple precision addition, subtraction, multiplication, division, extraction of the square root and computation... | | 1989 |
| 206 |
 |
Carter, Tony M. | The set theory of arithmetic decomposition | The Set Theory of Arithmetic Decomposition is a method for designing complex addition/ subtraction circuits at any radix using strictly positional, sign-local number systems. The specification of an addition circuit is simply an equation that describes the inputs and the outputs as weighted digit se... | Arithmetic decomposition; Addition/ subtraction circuits | 1989 |
| 207 |
 |
Carter, Tony M. | Path-programmable logic | Path-Programmable Logic (PPL) is a structured IC design methodology under development at the University of Utah. PPL employs a sea-of-wires approach to design. In PPL, design is done entirely using cells for both functionality and interconnect. PPL cells may have modifiers that change either their ... | Path-Programmable Logic; PPL | 1989 |
| 208 |
 |
Brunvand, Erik L. | Translating concurrent programs into delay-insensitive circuits | Programs written in a subset of occam are automatically translated into delay-insensitive circuits using syntax-directed techniques. The resulting circuits are improved using semantics-preserving circuit-to-circuit transformations. Since each step of the translation process can be proven correct, th... | | 1989 |
| 209 |
 |
Lee, Hyo Jong | Automatic mesh analysis technique by knowledge-based system | The finite element analysis technique has been recognized as a very important tool to solve various engineering problems, such as structural analysis, heat transfer, and fluid dynamics. The key point to the technique is discretization of the domain of interest into many finite elements. A good resul... | Mesh analysis; Mesh generation algorithm | 1989 |
| 210 |
 |
Lindstrom, Gary E. | Abstract semantics for functional constraint programming | A denotational semantics is given for a lazy functional language with monotonic side-effects arising from the unification of singly-bound logical variables. The semantics is based on a Scott-style information system, which elegantly captures the notion of "constraint additin" inherent in unificati... | Abstract semantics | 1989 |
| 211 |
 |
Carter, Tony M. | Cascade: a hardware alternative to bignums | The Cascade hardware architecture for high/variable precision arithmetic is described. It uses a radix-16 redundant signed-digit number representation and directly supports single or multiple precision addition, subtraction, multiplication, division, extraction of the square root and computation of ... | Cascade hardware; Bignums; Precision arithmetic | 1989 |
| 212 |
 |
Hansen, Charles D.; Henderson, Thomas C. | CAD-based 3-D object recognition | We propose an approach to 3-D object recognition using CAD-based geometry models for freeform surfaces. Geometry is modeled with rational B-splines by defining surface patches and then combining these into a volumetric model of the object. Characteristic features are then extracted from this model ... | Object recognition; Strategy trees; Geometric knowledge representation; Automatic feature selection | 1989 |
| 213 |
 |
Cohen, Elaine | Automatic sculptured five-axis milling with check surfaces | An approach to 5-axis milling of B-spline surfaces is presented. Within its domain, it provides better check surface handling than APT. The scheme for tool position generation is based on a B-spline curve refinement method and a set of criteria for tolerance control which allows the tool positions ... | B-spline surfaces; 5-axis milling; Tool paths | 1989 |
| 214 |
 |
George, Lal | An abstract machine for parallel graph reduction | An abstract machine suitable for parallel graph reduction on a shared memory multiprocessor is described. Parallel programming is plagued with subtle race conditions resulting in deadlock or fatal system errors. Due to the nondeterministic nature of program execution the utilization of resources ma... | Parallel graph reduction; Abstract machines | 1989 |
| 215 |
 |
Seeley, Donn | A tour of the worm | On the evening of November 2, 1988, a self-replicating program was released upon the Internet 1. This program (a worm) invaded VAX and Sun-3 computers running versions of Berkeley UNIX, and used their sources to attack still more computers2. Within the space of hours this program had spread aacross ... | Computer worm | 1989 |
| 216 |
 |
Henderson, Thomas C. | Logical behaviors | In this paper we describe an approach to high-level multisensor integration in t h e context of an autonomous mobile robot. Previous papers have described the development of t h e INRIA mobile robot subsystems: 1. sensor and actuator systems 2. distance and range analysis 3. feature extraction ... | Multisensor integration; 3-D environment descriptions | 1989 |
| 217 |
 |
Seeley, Donn | Password cracking: a game of wits | A password cracking algorithm seems like a slow and bulky item to put in a worm, but the worm makes this work by being persistent and efficient. The worm is aided by some unfortunate statistics about typical password choices. | Password cracking algorithm; Computer worms | 1989 |
| 218 |
 |
Cohen, Elaine | Hidden curve removal for free form surfaces | This paper describes a hidden curve algorithm specifically designed for sculptured surfaces. A technique is described to extract the visible curves for a given scene without the need to approximate the surface by polygons. This algorithm produces higher quality results than polygon based algorithms,... | Hidden curves; Free form surfaces; Sculptured surfaces | 1989 |
| 219 |
 |
Lee, Hyo Jong | Implementation and characteristics of rule-based system for the finite element analysis | It it well known that the analysis of process for the finite element method is tedious and errorprone steps. Considering the importance of the task of engineering analyses, such as structural analysis, heat transfer, fluid flow simulation, and electromagnetic potential, many researchers have tried t... | finite element analysis; Rule-based system | 1989 |
| 220 |
 |
Cohen, Elaine | Computing offsets and tool paths with Voronoi diagrams | In this paper we describe the use of Voronoi diagrams to generate offsets for planar regions bounded by circular arcs and line segments, and then use the generated offsets as tool paths for NC machining. Two methods are presented, each producing a different type of offset. One of them generates the ... | Voronoi diagrams | 1989 |
| 221 |
 |
Carter, Tony M.; Smith, Kent F. | Cell matrix methodologies for integrated circuit design | A class of integrated circuit design and implementation methodologies is described. These techniques are unique in that they simultaneously model both function and interconnect using cells. These cells are designed such that cell adjacency normally implies interconnection. The absence of an interco... | Integrated circuit design; Cell matrix | 1989 |
| 222 |
 |
George, Lal | An abstract machine for parallel graph reduction | An abstract machine for parallel graph reduction on a shared memory multiprocessor is described. This is intended primarily for normal order (lazy) evaluation of functional programs. It is absolutely essential in such a design to adapt an efficient sequential model since during execution under limit... | Parallel graph reduction | 1989 |
| 223 |
 |
Gu, Jun | Structured, technology independent VLSI design | Rapid advancement in new semiconductor technologies has created a need for the design of existing integrated circuits using these new technologies. These new technologies are required to provide improved performance, smaller feature sizes and lower costs. The conversion of an integrated circuit fro... | VLSI design; semiconductor technologies | 1989 |
| 224 |
 |
Hansen, Charles D. | CAGD-based computer vision | Abstract-Three-dimensional model-based computer vision uses geometric models of objects and sensed data to recognize objects in a scene. Likewise, computer aided geometric design (CAGD) systems are used to interactively generate three-dimensional models during the design process. Despite this simil... | | 1989-11 |
| 225 |
 |
Akella, Venkatesh | hopCP: language definition, semantics and examples | We describe a formalism for high level modeling of hardware based on flow graphs and nonatomic actions called hopCP. A module is the description of a hardware system in hopCP, which contains a flow graph to model the behavioral aspects and ports which represent the communication links. Operations ar... | hopCP | 1990 |
