|
|
Creator | Title | Description | Subject | Date |
101 |
|
Hibler, Michael J. | Interface and execution models in the fluke kernel | We have defined and implemented a new kernel API that makes every exported operation either fully interruptible and restartable, thereby appearing atomic to the user. To achieve interruptibility, all possible states in which a thread may become blocked for a "long" time are completely representable ... | Fluke kernel; Interruptibility | 1998 |
102 |
|
Balasubramonian, Rajeev | Power efficient approaches to redundant multithreading | Noise and radiation-induced soft errors (transient faults) in computer systems have increased significantly over the last few years and are expected to increase even more as we move toward smaller transistor sizes and lower supply voltages. Fault detection and recovery can be achieved through redund... | Reliability; Power; Transient faults; Soft errors; Redundant multithreading (RMT); Heterogeneous chip multiprocessors dynamic frequency scaling | 2007-08 |
103 |
|
Susarla, Sai R.; Carter, John | Flexible consistency for wide area peer replication | The lack of a flexible consistency management solution hinders P2P implementation of applications involving updates, such as read-write file sharing, directory services, online auctions and wide area collaboration. Managing mutable shared data in a P2P setting requires a consistency solution that... | Wide area; Peer replication | 2004-11-18 |
104 |
|
Gardner, Reed M. | Hemodynamic Monitoring | Biomedical Informatics | | 1988 |
105 |
|
Brunvand, Erik L. ; Gopalakrishnan, Ganesh | High-level asynchronous system design using the ACK framework | Designing asynchronous circuits is becoming easier as a number of design styles are making the transition from research projects to real, usable tools. However, designing asynchronous "systems" is still a difficult problem. We define asynchronous systems to be medium to large digital systems whose... | | 2000 |
106 |
|
Neatrour, Anna; Morrow, Anne; Rockwell, Kenneth W.; Witkowski, Alan J. | Automating the production of map interfaces for digital collections using Google API's | Many digital Libraries are interested in taking advantage of the GIS mapping capabilities provided by GoogLe Maps and GoogLe Earth. The DigitaL Ventures Division of the University of Utah J. Willard Marriott Library has successfully completed an innovative automated process in which descriptive me... | digital libraries, gis, geocoding, maps, KML, Graphical user interfaces, Google Maps | 2011 |
107 |
|
Khan, Faisal Habib | Commercial and industrial applications getting ready for direct-current power distribution | This paper describes design trends in several classes of power-electronic appliances that will increase the appeal for distributing dc power in buildings. In the commercial sector information technology (IT) power conversion architectures are moving from multi- to single-voltage supplies, initially... | Direct current power distribution; Commercial applications | 2004-01-01 |
108 |
|
Gardner, Reed M. | Computerized Blood Gas Interpretation and Reporting System | Biomedical Informatics | | 1975 |
109 |
|
Gardner, Reed M. | Computers in the ICU | Biomedical Informatics | | 1984 |
110 |
|
Gardner, Reed M. | Computers in the ICU: Why? What? So What? (Editorial) | Biomedical Informatics | | 1992 |
111 |
|
Furse, Cynthia M. | Down to the wire | As today's military and commercial aircraft age past their teen years, the many kilometers of wiring buried deep within their structures begin to crack and fray. Once thought to be rare and benign, such faults are found by the hundreds in a typical aircraft. Unlike obvious cracks in a wing or an e... | Aging wiring; Wire fault location; Aging wire detection; Smart wire systems | 2001-01-01 |
112 |
|
Johnson, Christopher R. | Grid-enabling problem solving environments: a case study of SCIRun and NetSolve | Combining the functionality of NetSolve, a grid-based middleware solution, with SCIRun, a graphically-based problem solving environment (PSE), yields a platform for creating and executing grid-enabled applications. Using this integrated system, hardware and/or software resources not previously ac... | Grid computing; SCIRun; NetSolve; Problem solving environment; Numerical libraries; Parallel programming (Computer science) | 2001 |
113 |
|
Gardner, Reed M. | Real Time Data Acquisition: Recommendations for the Medical Information Bus (MIB) | Biomedical Informatics | | 1992 |
114 |
|
Peay, Wayne J. | Tracing technology in AAHSL | From the beginning of the association, technology and AAHSL have been intertwined. Technology was the focus of one of the first committees. Innovative applications of technology have been employed in the operations of the association. Early applications of mini-computers were used in the preparation... | Association of Academic Health Sciences Libraries; AAHSL; Libraries, Health Sciences | 2002-09 |
115 |
|
Haug, Peter J. | Clinical Decision Support at Intermountain Healthcare | Biomedical Informatics | | 2007 |
116 |
|
Hibler, Michael J. | The flask security architecture: system support for diverse security policies | Operating systems must be flexible in their support for security policies, i.e., the operating system must provide sufficient mechanisms for supporting the wide variety of real-world security policies. Systems claiming to provide this support have failed to do so in two ways: they either fail to pro... | Flask; Security architecture | 1998 |
117 |
|
Organick, Elliott I. | CASL - A language for automating the implementation of computer architectures | The computer Architecture Specification Language (CASL), described in this paper, is intended for use by computer architects CASL is a state machine description language especially useful for describing digital systems at the "register transfer" level and designed to meet the needs of the computer a... | Computer Architecture Specification Language | 1979 |
118 |
|
Balasubramonian, Rajeev | Energy-efficient processor design using multiple clock domains with dynamic voltage and frequency scaling | As clock frequency increases and feature size decreases, clock distribution and wire delays present a growing challenge to the designers of singly-clocked, globally synchronous systems. We describe an alternative approach, which we call a Multiple Clock Domain (MCD) processor in which the chip is d... | Multiple clock domains; Synchronization; Microarchitecture | 2002 |
119 |
|
Haug, Peter J. | Hospital-Based Decision Support | Biomedical Informatics | | 1998 |
120 |
|
Panangaden, Prakash | Abstract interpretation and indeterminacy | We present a semantic theory that allows us to discuss the semantics of indeterminate operators in a dataflow network. The assumption is made that the language in which the indeterminate operators are written has a construct that allows for the testing of availability of data on input lines. We then... | Semantics; Indeterminate operators | 1984 |
121 |
|
Stevens, Kenneth | An A-FPGA architecture for relative timing based asynchronous designs | This paper presents an asynchronous FPGA architecture that is capable of implementing relative timing based asynchronous designs. The architecture uses the Xilinx 7-Series architecture as a starting point and proposes modifications that would make it asynchronous design capable while keeping it full... | | 2014-01-01 |
122 |
|
Gardner, Reed M. | Computerized Data Management and Decision Making in Critical Care | Biomedical Informatics | | 1985 |
123 |
|
Evans, David | Graphical man/machine communications: June 1971 | Semi-Annual Technical Report for period 1 January 1971 to 31 May 1971. This document includes a summary of research activities and facilities at the University of Utah under Contract F30602-70-C-0300. Information conveys important research milestones attained during this period by each of the fo... | Curved surfaces; Digital waveform processing | 1971 |
124 |
|
Guilkey, James Edward | Improved velocity projection for the Material Point Method | The standard velocity projection scheme for the Material Point Method (MPM) and a typical form of the GIMP Method are examined. It is demonstrated that the fidelity of information transfer from a particle representation to the computational grid is strongly dependent on particle density and locati... | Material Point Method; GIMP Method; Meshless methods; Velocity projection; Solid mechanics | 2007 |
125 |
|
Lindstrom, Gary E. | The key node method: a highly-parallel alpha-beta algorithm | A new parallel formulation of the alpha-beta algorithm for minimax game tree searching is presented. Its chief characteristic is incremental information sharing among subsearch processes in the form of "provisional" node value communication. Such "eager" communication can offer the double benefit of... | Key node method; Alpha-beta algorithm; Minimax; Game tree searching | 1983 |