Filters: Collection: "ir_uspace"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 201 |
 |
Kniss, Joe; Riesenfeld, Richard F. | Visual summary statistics | Traditionally, statistical summaries of categorical data often have been visualized using graphical plots of central moments (e.g., mean and standard deviation), or cumulants (e.g., median and quartiles) by box plots. In this work we reexamine the box plot and its relatives and develop a new hyb... | Visual summary statistics; categorical data; box plot; hybrid summary plot | 2007 |
| 202 |
 |
Elens, Robert N. | Sequencing computational events in heterogeneous distributed systems | Distributed systems are growing in number, size, and complexity. Some technological advances have been made to program these systems, most notably the remote procedure call. However, the nature of heterogeneous distributed systems allows for much more complex interactions and new programming techno... | Sequencing; Computational events; Heterogeneous distributed systems | 1990 |
| 203 |
 |
Mathew, Binu K.; Davis, Al | A characterization of visual feature recognition | Natural human interfaces are a key to realizing the dream of ubiquitous computing. This implies that embedded systems must be capable of sophisticated perception tasks. This paper analyzes the nature of a visual feature recognition workload. Visual feature recognition is a key component of a numb... | Visual feature recognition; Human interfaces | 2003-09-03 |
| 204 |
 |
Gopalakrishnan, Ganesh | A correctness criterion for asynchronous circuit validation and optimization | We propose a new relation C. called strong conformance in the context of Dill's trace theory, and define B Q A to be true exactly when B conforms to A and the success set of B contains the success set of A. When B C. A, module B operated in module A's maximal environment AM (i.e. B || AM) exhibits a... | Validation; Optimization | 1992 |
| 205 |
 |
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 |
| 206 |
 |
Yang, Yue; Gopalakrishnan, Ganesh; Lindstrom, Gary E.; Slind, Konrad Lee | Analyzing the Intel Itanium memory ordering rules using logic programming and SAT | We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constraints on execution traces, in an axiomatic style. A direct translation of the semantics to a constraint logic program... | Intel Itanium memory; Ordering rules; Sared memory; Consistency models | 2003 |
| 207 |
 |
Davis, A.L. | 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 |
| 208 |
 |
Gopalakrishnan, Ganesh | Asynchronous circuit verification using trace theory and CCS | We investigate asynchronous circuit verification using Dill's trace theory as well as Milner's CCS (as mechanized by the Concurrency Workbench). Trace theory is a formalism specifically designed for asynchronous circuit specification and verification. CCS is a general purpose calculus of communicat... | Trace theory; Verification; CCS | 1992 |
| 209 |
 |
Weinstein, David | Cache-rings for memory efficient isosurface construction | Processor speeds continue to increase at faster rates than memory speeds. As this performance gap widens, it becomes increasingly important to develop "memory-conscious" algorithms - programs that still optimize instruction count and algorithmic complexity, but that also integrate optimizations for ... | Processor speeds; Memory speeds; Computer memory; Cache-rings | 1997 |
| 210 |
 |
Hansen, Charles D. | Cluster-based interactive volume rendering with Simian | Commodity-based computer clusters offer a cost-effective alternative to traditional largescale, tightly coupled computers as a means to provide high-performance computational and visualization services. The Center for the Simulation of Accidental Fires and Explosions (C-SAFE) at the University of... | Volume rendering; Simian | 2003-09-03 |
| 211 |
 |
Thompson, William B.; Willemsen, Peter; Gooch, Amy A.; Creem-Regehr, Sarah Hope | Does the quality of the computer graphics matter when judging distances in visually immersive environments? | In the real world, people are quite accurate judging distances to locations in the environment, at least for targets resting on the ground plane and distances out to about 20m. Distance judgments in visually immersive environments are much less accurate. Several studies have now shown that in vis... | Visually immersive environments | 2002-12-05 |
| 212 |
 |
Fujimoto, Richard M. | Efficient instruction level simulation of computers | A technique for creating efficient, yet highly accurate, instruction level simulation models of computers is described. In contrast to traditional approaches that use a software interpreter, this technique employs direct execution of application programs on the host computer. An assembly language pr... | Simulation models | 1987 |
| 213 |
 |
Gopalakrishnan, Ganesh | Hierarchical action refinement: a methodology for compiling asynchronous circuits from a concurrent HDL | A hardware specification formalism called hopCP is introduced, hopCP provides an uniform notation t o describe the causal relationships between a set of nonatomic actions which capture the computational, concurrency, control and communication aspects of hardware behavior. A systematic approach to sy... | Hierarchical action refinement; Hardware specification formalism; hopCP | 1991 |
| 214 |
 |
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 |
| 215 |
 |
Sikorski, Christopher | Method of generated solutions as a numerical verification tool for ice code | Method of Manufactured solutions is a well-known method used to verify numerical algorithms. It is used to estimate convergence and order of accuracy of the algorithms. The method involves design of analytical solutions to the set of equations solved by the algorithm and generation of the forcing fu... | Validation; Verification; Method of Generated Solutions; Finite volume solver; ICE code | 2007 |
| 216 |
 |
Henderson, Thomas C. | Performance of arc consistency algorithms on the CRAY | The consistent labeling problem arises in high level computer vision when assigning semantic meaning to the regions of a n image. One of the drawbacks of this method is that it is rather slow. By using the consistency tests, node, arc and path consistency [9], the search space is drastically reduced... | Arc consistency algorithms; CRAY supercomputer; Consistent labeling problem | 1987 |
| 217 |
 |
Kessler, Robert R. | Persistence is hard, then you die! or compiler and runtime support for a persistent common Lisp. | Integrating persistence into an existing programming language is a serious undertaking. Preserving the essence of t h e existing language, adequately supporting persistence, and maintaining efficiency require low-level support from the compiler and runtime systems. Pervasive, low-level changes were ... | Persistence; Programming language; Lisp compiler; Persistent Lisp | 1994 |
| 218 |
 |
Bruderlin, Beat | Robustness in solid modeling - a tolerance based, intuitionistic approach | This paper presents a new robustness method for geometric modeling operations. It computes geometric relations from the tolerances defined for geometric objects and dynamically updates the tolerances to preserve the properties of the relations, using an intuitionistic self-validation approach. Geome... | Solid modeling; Geometric modeling; Intuitionistic | 1992 |
| 219 |
 |
Bhanu, Bir | Segmentation of complex outdoor scenes | A new simpler approach to image segmentation via recursive region splitting and merging is presented. Unlike other techniques the kernel of splitting is based on a generalization of a two class gradient relaxation method and merging uses a statistical analysis of variance. | Image segmentation; Outdoor scenes; Recursive region splitting; Segmentation algorithm | 1985 |
| 220 |
 |
Thomas, Spencer W. | Set operations on sculptured solids | A general method is presented for performing Boolean set operations on solids represented by a sculptured surface boundary model. The method is developed first for solids with closed boundary surfaces. It is then shown to apply also to "partially bounded" solids, which have incompletely specified b... | Set operations; Sculptured solids; Sculptured surface; Boundary model | 1987 |
| 221 |
 |
Smith, Kent F. | Simppl user's guide | This work was supported in part by Defense Research Projects Agency under Contract Number DAAK1184K0017. All opinions, findings, conclusions or recommendations expressed in this document are those of the author(s) and do not necessarily reflect the view of DARPA. | SIMPPL; User guide | 1986 |
| 222 |
 |
Gopalakrishnan, Ganesh | Some unusual micropipeline circuits | We present a few unusual Micropipelines (Sutherland, CACM, September 1989) that employ the Muller C-ELEMENT or an extension of the C-ELEMENT called LOCKC (Liebchen and Gopalakrishnan, ICCD, 1992). We first describe two variations of the two-dimensional Micropipeline structure realized using ordinary... | Micropipeline circuits; Micropipelines | 1993 |
| 223 |
 |
Peay, Wayne J. | Strategies and measures for our next century | The centennial of the Medical Library Association offers an opportunity to reflect with some satisfaction on accomplishments and to consider the future. The Western Governors University is an illustration of the dynamic future. Professional values constitute both distinguishing characteristics and s... | Medical Library Association; Janet Doe Lecture; NN/LM; National Network of Libraries of Medicine; Western Govenors University; WGU | 1998-05-25 |
| 224 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | URK: Utah robot kit - a three-link robot prototype | In this paper we will present the stages of designing and building a three-link robot manipulator prototype that was built as part of a research project for establishing a prototyping environment for robot manipulators. Building this robot enabled us determine the required subsystems and interfaces ... | URK; Utah robot kit; robot manipulator prototype; prototyping environment; robot manipulators; three-link | 1994 |
| 225 |
 |
Zhang, Lixin | UVSIM user manual: version 0.1 | This document describes UVSIM?the UltraViolet Simulator. UVSIM is an execution-driven simulator modeling the Ultraviolet system, SGI?s entry in DARPA?s HPCS Initiative. | UVSIM; user manual; UltraViolet Simulator; execution-driven simulator; DARPA; HPCS Initiative | 2003-03-13 |