|
|
Creator | Title | Description | Subject | Date |
| 1 |
 |
Sobh, Tarek M. | A graphical environment and applications for discrete event and hybrid systems in robotics and automation | In this paper we present an overview for the development of a graphical environment for simulating, analyzing, synthesizing, monitoring, and controlling complex discrete event and hybrid systems within the robotics, automation, and intelligent system domain. We start by presenting an overview of di... | Intelligent system domain; Graphical environment | 1994 |
| 2 |
 |
Weinstein, David | A morphing algorithm for generating near optimal grids: applications in computational medicine | We apply morphing to t h e problem of generating the initial mesh for finite element simulations. This algorithm reduces mesh adaptation time by integrating physical and geometric constraints to provide a near optimal initial mesh. We apply this method to large-scale bioelectric field problems invol... | Morphing algorithm; Bioelectric field problems | 1994 |
| 3 |
 |
Bruderlin, Beat | A new approach to tolerance analysis | Tolerance analysis is seen as part of a more general problem, namely handling data with uncertainty. Uncertain geometric data arises when interpreting measured data, but also in solid modeling where floating point approximations are common, when representing design tolerances, or when dealing with l... | Tolerance analysis | 1994 |
| 4 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | A unifying framework for tolerance analysis in sensing, design, and manufacturing | In this work we address the problem of tolerance representation and analysis across the domains of industrial inspection using sensed data, CAD design, and manufacturing. Instead of using geometric primitives in CAD models to define and represent tolerances, we propose the use of stronger methods t... | Tolerance representation; Tolerance analysis; Industrial inspection; Sensed data; CAD design | 1994 |
| 5 |
 |
Bruderlin, Beat | An interactive N-Dimensional constraint system | In this paper, we present a graph-based approach to geometric constraint solving. Geometric primitives (points, lines, circles, planes, etc.) possess intrinsic degrees of freedom in their embedding space. Constraints reduce the degrees of freedom of a set of objects. A constraint graph is created wi... | Geometric constraint solving | 1994 |
| 6 |
 |
Smith, Kent F. | Automatic rapid prototyping of semi-custom VLSI circuits using FPGAs | We describe a technique for translating semi-custom VLSI circuits automatically, integrating two design environments, into field programmable gate arrays (FPGAs) for rapid and inexpensive prototyping. The VLSI circuits are designed using a cell-matrix based environment that produces chips with densi... | Semi-custom; VLSI circuits | 1994 |
| 7 |
 |
Gopalakrishnan, Ganesh | Case studies in symbolic model checking | The need to formally verify hardware and software systems before they are deployed the real world has been recognized for several decades now. This is especially true of concurrent systems that are even more difficult to debug than sequential systems. For example, many of the protocols that get emp... | Symbolic model checking; Hardware verification; Software verification | 1994 |
| 8 |
 |
Kessler, Robert R. | Compiling distributed C++ | Distributed C++ (DC++) is a language for writing parallel applications on loosely coupled distributed systems in C++. Its key idea is to extend the C++ class into 3 categories: gateway classes which act as communication and synchronization entry points between abstract processors, classes whose... | Distributed C++; DC++; Parallel applications | 1994 |
| 9 |
 |
Johnson, Christopher R. | Construction of a human torso model from magnetic resonance images for problems in computational electrocardiography | Applying mathematical models to real situations often requires the use of discrete geometrical models of the solution domain. In some cases destructive measurement of the objects under examination is acceptable, but in biomedical applications the measurements come from imaging techniques such as X-r... | Human torso model; MRI | 1994 |
| 10 |
 |
Lindstrom, Gary E. | The design of object-oriented meta-architectures for programming languages | This paper is a survey of the design of four object-oriented meta-level architectures for programming languages. We present overviews and compare the salient features of the meta-architectures of Smalltalk, Common Lisp Object System (CLOS), a Scheme Compiler, and Etyma, our framework for modular sy... | Meta-level architectures; Design | 1994 |
| 11 |
 |
Sobh, Tarek M. | Discrete event control for inspection and reverse engineering | We address the problem of intelligent sensing in this work. In particular, we use discrete event dynamic systems (DEDS) to guide the sensing of mechanical parts for industrial inspection and reverse engineering. | Discrete event control; Intelligent sensing; Inspection; Discrete event dynamic systems; DEDS | 1994 |
| 12 |
 |
Henderson, Thomas C. | EGOR: design, development, implementation an entry in the 1994 AAAI robot competition | EGOR, an entry in the 1994 AAAI Robot Competition, was built by ate am from the Department of Computer Science at the University of Utah. The constraints imposed by the competition rules, and by cost and time, led to the development of a system composed of off-the- shelf parts based on a mobile bas... | EGOR; AAAI Robot Competition | 1994 |
| 13 |
 |
Lindstrom, Gary E. | ETYMA: a framework for modular systems | Modularity, i.e. support for the flexible construction, adaptation, and combination of units of software, is an important goal in many systems. In most cases, however, systems achieve only a few aspects of modularity. The problem can be traced to the inflexibility, or the limited view of modularity ... | ETYMA; Modularity; Modular systems | 1994 |
| 14 |
 |
Carter, John B. | Evaluating the potential of programmable multiprocessor cache controllers | The next generation of scalable parallel systems (e.g., machines by KSR, Convex, and others) will have shared memory supported in hardware, unlike most current generation machines (e.g., offerings by Intel, nCube, and Thinking Machines). However, current shared memory architectures are constrained b... | Programmable multiprocessor cache controllers; Scalable parallel systems; Shared memory | 1994 |
| 15 |
 |
Hansen, Charles D. | Fast stereoscopic images with ray-traced volume rendering | One of the drawbacks of standard volume rendering techniques is that it is often difficult to comprehend the three-dimensional structure of the volume from a single frame; this is especially true in cases where there is no solid surface. Generally, several frames must be generated and viewed sequent... | Volume rendering; Ray tracing; Stereoscopic images; Reprojection | 1994 |
| 16 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | Industrial inspection and reverse engineering | We propose a new design for inspection and reverse engineering environments. We have designed and experimented with such an environment for capturing sense data of mechanical parts in an intelligent way. We construct a sensing ? CAD interface for the automatic reconstruction of parts from visual d... | Industrial inspection; Discrete event dynamic system; DEDS; DRFSM | 1994 |
| 17 |
 |
Parker, Steven G.; Johnson, Christopher R. | Interactive manipulation of contour data using the layers program | The "layers" program is useful for visualizing and editing large sets of contour data. These datasets arise frequently when trying to extract geometry from MRI slices. Due to the imprecise nature of the MR imaging and segmentation processes, the contours extracted may not accurately reflect the huma... | Contour data; Layers program; MRI slices | 1994 |
| 18 |
 |
Johnson, Christopher R. | Map3d: scientific visualization program for multichannel time series data on unstructured, three-dimensional meshes. program user's guide | There are many examples in biomedical research of recording time signals with multi-sensor arrays whose elements are arranged in irregular, three-dimensional grids [1, 2, 3, 4]. If the nodes in such arrays can be connected into "surfaces", it is possible to employ linear interpolation techniques to ... | Map3D; Multi-sensor arrays; Scientific visualization; Multichannel time series data; Three-dimensional meshes | 1994 |
| 19 |
 |
Sobh, Tarek M. | Modeling and recovering uncertainties in sense data | This work examines closely the possibilities for errors, mistakes and uncertainties in sensing systems. We identify and suggest techniques for modeling, analyzing, and recovering these uncertainties. This work concentrates on uncertainties in visual sensing to recover 3-D structure and motion charac... | Uncertainties; Sensing systems; Visual sensing | 1994 |
| 20 |
 |
Bruderlin, Beat | Moving into higher dimensions of geometric constraint solving | In this paper, we present an approach to geometric constraint solving, based on degree of freedom analysis. Any geometric primitive (point, line, circle, plane, etc.) possesses an intrinsic degree of freedom in its embedding space which is usually two or three dimensional. Constraints reduce the deg... | Geometric constraint solving | 1994 |
| 21 |
 |
Hansen, Charles D. | Parallel rendering | Massively parallel computers have emerged as valuable tools for performing scientific and engineering computations, far outstripping the capabilities of independent workstations in both sheer floating point performance and memory capacity. As the resolution of simulation models increases, graphics ... | Parallel rendering; Massively parallel processors | 1994 |
| 22 |
 |
Hansen, Charles D. | Parallel volume rendering using binary-swap compositing | Existing volume rendering methods, though capable of very effective visualizations, are computationally intensive and therefore fail to achieve interactive rendering rates for large data sets. Although computing technology continues to advance, computer processing power never seems to catch up to th... | | 1994 |
| 23 |
 |
Freire, Juliana | Parallelizing tabled evaluations | SLG is a table-oriented resolution method that extends SLD evaluation in two ways. It computes the well-founded model for logic programs with negation with polynomial data complexity,and it terminates for programs with the bounded-term-size property. Furthermore SLG has an efficient sequential imple... | Parallel logic programming; Tabling; Table parallelism; SLG; XSB | 1994 |
| 24 |
 |
Brunvand, Erik L. | Peephole optimization of asynchronous macromodule networks | Most high level synthesis tools for asynchronous circuits take descriptions in concurrent hardware description languages and generate networks of macromodules or handshake components. In this paper we describe a peephole optimizer for such macromodule networks that often effects area and/or time im... | | 1994 |
| 25 |
 |
Brunvand, Erik L. | Performance analysis and optimization of asynchronous circuits | Asynchronous/Self-timed circuits are beginning to attract renewed attention as promising means of dealing with the complexity of modern VZSI designs. Very few analysis techniques or tools are available for estimating their performance. In this paper we adapt the theory of Generalized Timed Petri-n... | | 1994 |
