UScholar Works
 
Filters: Publisher: "University of Utah" Collection: "ir_uspace"
1 - 25 of 13
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Carter, John B.A comparison of software and hardware synchronization mechanisms for distributed shared memory multiprocessorsEfficient synchronization is an essential component of parallel computing. The designers of traditional multiprocessors have included hardware support only for simple operations such as compare-and-swap and load-linked/store-conditional, while high level synchronization primitives such as locks, bar...Hardware locks1996
2 Carter, John B.The avalanche myrinet simulation packageThis is a user manual for version 2.0 of the Myrinet simulation package. Users of the V2.0 package can specify arbitrary network topologies composed of Myrinet switches with different number of ports. For example, 4-port and 32-port switches can be used in a single system. Because the V2.0 model sup...Avalanche Myrinet; Simulation Package; User manual; Myrinet switches; port switches1996
3 Carter, John B.The avalanche myrinet simulation package user manual for V2.0This is a user manual for Version 2.0 of the Myrinet simulation package Users of the V2.0 pack age can specify arbitrary network topologies composed of Myrinet switches with different number of ports For example port and 4-port switches can be used in a single system Because the V2.0 model suppor...Avalanche Myrinet; Simulation Package; user manual; Myrinet switches; Port switches1996
4 Henderson, Thomas C.Flat surface reconstruction using sonarA technique is given for the recovery of planar surfaces using two beam-spread sonar readings. If a single, planar surface gave rise to the two readings, then the method recovers the surface quite accurately. Simulation and experiment demonstrate the effectiveness of the technique and recommend its ...Flat surfaces; Reconstruction; Two beam-spread; Sonar readings; Planar surfaces1996
5 Susarla, Sai R.Flexible multi-policy scheduling based on CPU inheritanceTraditional processor scheduling mechanisms in operating systems are fairly rigid, often supporting only one fixed scheduling policy, or, at most, a few "scheduling classes" whose implementations are closely tied together in the OS kernel. This paper presents CPU inheritance scheduling, a novel p...CPU inheritance1996
6 Thompson, William B.Geometric reasoning for map-based localizationAn essential aspect of map-based navigation is the determination of an agent's current location based on sensed data from the environment. Formally, this amounts to specifying the current viewpoint in some world model coordinate system. This localization process has two distinct components: one invo...Map-based localization; Map-based navigation; Geometric reasoning1996
7 Mecklenburg, RobertGORP: An object-oriented design for genomic objects, relationships and processesThe Eccles Institute for Human Genetics (EIHG) has developed a genomic database based on a novel level of abstraction. Objects, relationships, and processes are explicitly represented in an object model. This model has been implemented in a traditional relational database management system. Transla...Eccles Institute for Human Genetics; EIHG; GORP; Genomic databases; Object model1996
8 Stoller, Leigh B.Low latency workstation cluster communications using sender-based protocolsThe use of workstations on a local area network to form scalable multicomputers has become quite common. A serious performance bottleneck in such "carpet clusters" is the communication protocol that is used to send data between nodes. We report on the design and implementation of a class of communic...Workstations; Scalable multicomputers; Sender-based; Communication protocols1996
9 Stoller, Leigh B.Message passing support in the Avalanche widgetMinimizing communication latency in message passing multiprocessing systems is critical. An emerging problem in these systems is the latency contribution costs caused by the need to percolate the message through the memory hierarchy (at both sending and receiving nodes) and the additional cost of ma...Avalanche widget; Message passing; Cache coherence; Message copying; Cache miss rates; Computer memory1996
10 Hibler, Michael J.Microkernels meet recursive virtual machines (draft. May 10, 1996))This paper describes a novel approach to providing modular and extensible operating system functionality, and encapsulated environments, based on a synthesis of micro-kernel and virtual machine concepts. We have developed a virtualizable architecture that allows recursive virtual machines (virtual m...Microkernels; Virtual machines; Operating system functionality1996
11 Stoller, Leigh B.Paint: PA instruction set interpreterThis document describes Paint, an instruction set simulator based on Mint[3]. Paint interprets the PA-RISC instruction set, and has been extended to support the Avalanche Scalable Computing Project[2]. These extensions include a new process model that allows multiple programs to be run on each proce...Paint; Instruction set simulator; Mint; Avalanche Scalable Computing Project1996
12 Gopalakrishnan, GaneshPartial order reduction without the provisoIn this paper, we present a new partial order reduction algorithm that can help reduce both space and time requirements of on-the-fly explicit enumeration based verifiers. The partial order reduction algorithms described in [God95, HP94, Pel94, Pel96] were observed to yield very little savings in ma...Partial order reduction algorithms1996
13 Frontiers of space: technology and the search for life elsewhereIt will take about a decade to develop the technology for a planetfinder telescope. There is a prototype interferometer at the Palomar Observatory in California, and over the next several years a full-scale system will be installed at the Keck Observatory. Experience with these ground-based systems ...Viking Mission; Titan; Mars1996-10-01
1 - 25 of 13