Filters: Collection: "ir_uspace"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 151 |
 |
Balasubramonian, Rajeev | Microarchitectural techniques to reduce interconnect power in clustered processors | The paper presents a preliminary evaluation of novel techniques that address a growing problem - power dissipation in on-chip interconnects. Recent studies have shown that around 50% of the dynamic power consumption in modern processors is within on-chip interconnects. The contribution of interc... | Microarchitectural techniques; Interconnect power; Clustered processors; On-chip | 2004 |
| 152 |
 |
Yang, Yue; Gopalakrishnan, Ganesh; Lindstrom, Gary E.; Slind, Konrad Lee | Nemos: a framework for axiomatic and executable specifications of memory consistency models | Conforming to the underlying memory consistency rules is a fundamental require- ment for implementing shared memory systems and writing multiprocessor programs. In order to promote understanding and enable automated verification, it is highly desir- able that a memory model specification be both ... | Nemos; Shared memory systems | 2003 |
| 153 |
 |
Bradshaw, Karen E. | Physician Decision-Making: Evaluaton of Data Used in a Computerized ICU | Biomedical Informatics | 1984 | |
| 154 |
 |
Fujimoto, Richard M. | Systolic array synthesis by static analysis of program dependencies | We present a technique for mapping recurrence equations to systolic arrays. While this problem has been studied in fairly great detail, the recurrence equations that are analysed here are a generalization of those studied previously. In a n earlier paper (14] we have showed how systolic arrays can b... | Systolic array synthesis; static analysis; program dependencies; recurrence equations | 1986 |
| 155 |
 |
Lindstrom, Gary E. | Type-safe composition of object modules | We describe a facility that enables routine type-checking during the linkage of external declarations and definitions of separately compiled programs in ANSI C. The primary advantage of our server-style type-checked linkage facility is the ability to program the combination of object modules via a s... | object modules; ANSI C; Type-safe; type-checking | 1994 |
| 156 |
 |
Evans, John | A distributed object-oriented graphical programming system | This report presents the design of a distributed parallel object system (DPOS) and its implementation using a graphical editing interface. DPOS brings together concepts of object-oriented programming and graphical programming with aspects of modern functional languages. Programs are defined as netwo... | Distributed parallel object system; DPOS | 1990 |
| 157 |
 |
Gardner, Reed M. | Patient Monitoring Systems | Biomedical Informatics | 2012 | |
| 158 |
 |
Smith, John Miles | Integrated specifications for abstract systems | Structural specifications define an abstract object as a composition of other abstract objects. Behavioral specifications define an abstract object in terms of its associated operations. Integrated specifications are a combination of structural and behavioral specifications which are more powerful t... | 1977 | |
| 159 |
 |
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 functionality | 1996 |
| 160 |
 |
Carter, John B. | Using khazana to support distributed application development | One of the most important services required by most distributed applications is some form of shared data management, e.g., a directory service manages shared directory entries while groupware manages shared documents. Each such application currently must implement its own data management mechanisms,... | Khazana; Distributed applications; Development | 1999 |
| 161 |
 |
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 |
| 162 |
 |
Regehr, John | Augmented CPU reservations: towards predictable execution on general-purpose operating systems | One problem with performing soft real-time computations on general-purpose operating systems is that these OSs may spend significant amounts of time in the kernel instead of performing work on behalf of the application that is nominally scheduled: the OS effectively steals time from the running appl... | 2001-01-01 | |
| 163 |
 |
Freire, Juliana | Combining scheduling strategies in tabled evaluations | Tabled evaluations ensure termination for Datalog programs by distinguishing calls to tabled subgoals. Given several variant subgoals in an evaluation, only the first (the generator) will use program clause resolution, the rest (consumers) must perform answer resolution using answers computed by th... | SLG; SLG-WAM; Tabling; Local scheduling; Batched scheduling | 1997 |
| 164 |
 |
Hamasu, Claire | Community-based organizations' perspective on health information outreach: a panel discussion | A panel was convened to elicit guidance for librarians in initiating and implementing community-based health information outreach. Participants included a panel of individuals from communities or community organizations who represented the types of groups with which librarians or information special... | National Library of Medicine (U.S.); NN/LM; RML; National Network of Libraries of Medicine; Regional Medical Libraries; Consumer Health Information; Outreach; Community-based Organziations | 2005-05 |
| 165 |
 |
Gardner, Reed M. | Digital Electronic Communications Between ICU Ventilators and Computers and Printers | Biomedical Informatics | 1992 | |
| 166 |
 |
Balasubramonian, Rajeev | Dynamically tuning processor resources with adaptive processing | Using adaptive processing to dynamically tune major microprocessor resources, developers can achieve greater energy efficiency with reasonable hardware and software overhead while avoiding undue performance loss. | Adaptive processing; Energy efficiency; DRI-cache | 2003-12 |
| 167 |
 |
Downes, Stephen M. | Herbert Simon's computational models of scientific discovery | Herbert Simon's work on scientific discovery deserves serious attention by philosophers of science for several reasons. First, Simon was an early advocate of rational scientific discovery, contra Popper and logical empiricist philosophers of science (Simon 1966). This proposal spurred on investigati... | Android epistemology; Psychological processes; Cognitive individualism | 1990 |
| 168 |
 |
Gardner, Reed M. | Spirometry and Flow-Volume Curves | Biomedical Informatics | 1989 | |
| 169 |
 |
Regehr, John | Two case studies in predictable application scheduling using Rialto/NT | This paper analyzes the results of two case studies in applying the Rialto/NT scheduler to real Windows 2000 applications. The first study is of a soft modem-a modem whose signal processing work is performed on the host CPU, rather than on a dedicated signal processing chip. The second is of an audi... | 2001-01-01 | |
| 170 |
 |
Clayton, Paul D. | Building a Comprehensive Clinical Information System from Components: The Approach at Intermountain Health Care | Biomedical Informatics | 2003 | |
| 171 |
 |
Landesman, Margaret M. | Consortia vs reform: creating congruence | The inability of research libraries to offer the collections their users desire has become more pronounced each year. In response, libraries have moved in two directions: the rapidly growing consortial movement and the movement to advocate and support reforms in scholarly communication. However, if ... | 2000 | |
| 172 |
 |
Gopalakrishnan, Ganesh | Explicit-enumeration based verification made memory-efficient | We investigate techniques for reducing the memory requirements of a model checking tool employing explicit enumeration. Two techniques are studied in depth: (1) exploiting symmetries in the model, and (2) exploiting sequential regions in the model. The first technique resulted in a significant reduc... | Verification; Model checking tool; Memory-efficient | 1995 |
| 173 |
 |
De St Germain, John Davison; Morris, Alan H.; Parker, Steven G. | Performance analysis integration in the Uintah software development cycle | The increasing complexity of high-performance computing environments and programming methodologies presents challenges for empirical performance evaluation. Evolving parallel and distributed systems require performance technology that can be flexibly configured to observe different events and associ... | Uintah; Problem solving environment; Performance analysis; Parallelism; C-SAFE | 2003 |
| 174 |
 |
Lepreau, Jay | DRAFT: work in progress - - - comments solicited evolving Mach 3.0 to use migrating threads | Like most operating systems, Mach 3.0 views threads as statically associated with a single task. An alternative model is that of migrating threads, in which a single thread abstraction moves between tasks with the logical flow of control, and "server" code is passively executed. We have compatibly r... | DRAFT | 1993 |
| 175 |
 |
Diamond, Lisa | Sex, dating, passionate friendships, and romance: intimate peer relations among lesbian, gay, and bisexual adolescents | Although the raw number of adolescent romantic and sexual involvements is well documented, the actual experience and meaning of these relationships for adolescents receives little attention. As a result, these relationships are frequently classed together on the basis of surface similarities, despi... | Teenagers; Relationships; Sex; Dating; Romance; Gays; Lesbians; Bisexuals | 1999 |