|
|
Creator | Title | Description | Subject | Date |
126 |
|
Regehr, John | The problems you're having may not be the problems you think you're having: results from a latency study of windows NT | This paper is intended to catalyze discussions on two intertwined systems topics. First, it presents early results from a latency study of Windows NT that identifies some specific causes of long thread scheduling latencies, many of which delay the dispatching of runnable threads for tens of millisec... | | 1999-01-01 |
127 |
|
Wright, Kristin | Using reliable multicast for caching and collaboration within the world wide web | The World Wide Web has become an important medium for information dissemination. One model for synchronized information dissemination within the Web is webcasting in which data are simultaneously distributed to multiple destinations. The Web's traditional unicast client/server communication model su... | caching; collaboration | 1999 |
128 |
|
Flynn, John J. | Monopolization under the Sherman Act: the third wave and beyond | Like Gaul, monopolization litigation under section 2 of the Sherman Act has been divided into three parts: A first part beginning with the Northern Securities case of 1904(1) and ending with the U.S. Steel case in 1920;(2) a second part, the Thurmond Arnold era, beginning in the late 30's with the f... | | 1981 |
129 |
|
Gu, Jun | Fast structured design of VLSI circuits | We believe that a structured, user-friendly, cost-effective tool for rapid implementation of VLSI circuits which encourages students to participate directly in research projects are the key components in digital integrated circuit (IC) education. In this paper, we introduce our VLSI education activ... | VLSI circuits; Rapid implementation | 1988 |
130 |
|
Pryor, T. Allan | The HELP Medical Record System | Biomedical Informatics | | 1988 |
131 |
|
Regehr, John | Inferring scheduling behavior with hourglass | Although computer programs explicitly represent data values, time values are usually implicit. This makes it difficult to analyze and debug real-time programs whose correctness depends partially on the time at which results are computed. This paper shows how to use Hourglass, an instrumented, synthe... | | 2002-01-01 |
132 |
|
Carter, John B. | Reducing consistency traffic and cache misses in the avalanche multiprocessor | For a parallel architecture to scale effectively, communication latency between processors must be avoided. We have found that the source of a large number of avoidable cache misses is the use of hardwired write-invalidate coherency protocols, which often exhibit high cache miss rates due to exces... | Consistency traffic; Cache misses; Parallel architecture; Communication latency | 1995 |
133 |
|
Hoogenboom, Peter J. | Semantic definition of a subset of the structured query language (SQL) | SQL is a relational database definition and manipulation language. Portions of the manipulation language are readily described in terms of relational algebra. The semantics of a subset of the SQL select statement is described. The select statement allows the user to query the database. The select st... | | 1991 |
134 |
|
Kessler, Robert R. | DPOS: A metalanguage and programming environment for parallel processors | The complexity and diversity of parallel programming languages and computer architectures hinders programmers in developing programs and greatly limits program portability. All MIMD parallel programming systems, however, address common requirements for process creation, process management, and inte... | DPOS; MIMD parallel programming | 1990 |
135 |
|
Johnson, Christopher R.; Parker, Steven G.; Hansen, Charles D. | Interactive simulation and visualization | Most of us perform data analysis and visualization only after everything else is finished, which often means that we don't discover errors invalidating the results of our simulation until postprocessing. A better approach would be to improve the integration of simulation and visualization into the... | Computational steering; Interactive simulation; Isosurfaces | 1999 |
136 |
|
Warner, Homer R. | Role of the Computer in Coronary Care | Biomedical Informatics | | 1972 |
137 |
|
Carter, John B. | Supporting persistent C++ objects in a distributed storage system | We have designed and implemented a C++ object layer for Khazana, a distributed persistent storage system that exports a flat shared address space as its basic abstraction. The C++ layer described herein lets programmers use familiar C++ idioms to allocate, manipulate, and deallocate persistent share... | persistent C++ objects; distributed storage; Khazana; flat shared address space | 1999 |
138 |
|
Gardner, Reed M. | System Concepts for Invasive Pressure Monitoring | Biomedical Informatics | | 1988 |
139 |
|
Gardner, Reed M. | System Concepts for Invasive Pressure Monitoring | Biomedical Informatics | | 1992 |
140 |
|
Gardner, Reed M. | System Concepts for Invasive Pressure Monitoring | Biomedical Informatics | | 1990 |
141 |
|
Warner, Homer R. | Time-Sharing in Biomedical Research | Biomedical Informatics | | 1966 |
142 |
|
Davis, Alan L. | A characterization of parallel systems | a taxonomy for parallel processing systems is presented which has some advantages over previous taxonomies. The taxonomy characterizes parallel processing systems using four parameters: topology, communication, granularity, and operation. These parameters and used repetitively in a hierarchical fash... | Parallel systems | 1980 |
143 |
|
Hoogenboom, Peter J. | System performance advisor user guide | The usage of the System Performance Advisor (SPA) expert system is described. Documentation of SPA system commands, system variables, diagnostic rules is given. Information on how to run the SPA system is discussed. In addition, an overview of how SPA searches for problems is supplied. The purpose o... | System Performance Advisor; SPA; User guide | 1991 |
144 |
|
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 |
145 |
|
Pryor, T. Allan | Computer System for Research and Clinical Application to Medicine | Biomedical Informatics | | 1968 |
146 |
|
Gardner, Reed M. | Computer-Critiqued Blood Ordering Using the HELP System | Biomedical Informatics | | 1990 |
147 |
|
Gardner, Reed M. | Computerized Decision-Making in the Pulmonary Function Laboratory | Biomedical Informatics | | 1982 |
148 |
|
Gardner, Reed M. | Computers in the Intensive Care Unit: The Clinical Challenge | Biomedical Informatics | | 1992 |
149 |
|
Gopalakrishnan, Ganesh | Dynamic reordering of high latency transactions in time-warp simulation using a modified micropipeline | Time warp based simulation of discrete-event systems is an efficient way to overcome the synchronization overhead during distributed simulation. As computations may proceed beyond synchronization barriers in time warp, multiple checkpoints of state need to be maintained to be able to rollback inva... | Asynchronous design; Micropipelines; Dynamic instruction reordering; Time warp simulations | 1992 |
150 |
|
Spencer S. Eccles Health Sciences Library, University of Utah | IAIMS Newsletter Summer 1998 | The IAIMS Newsletter is published quarterly (September, December, March, June) and provides valuable information about Library activities and resources as well as informative articles related to information technology. | IAIMS | 1998-06-16 |