|
|
Creator | Title | Description | Subject | Date |
51 |
|
| Clinical Linkages: IAIMS at the University of Utah | Biomedical Informatics | | 1988 |
52 |
|
| Computer Analysis of the Treadmill Exercise ECG | Biomedical Informatics | | 1976 |
53 |
|
| HELP - A Medical Information System Which Combines Automated Medical Decision-Making With Clinical Data Review and Administrative Support | Biomedical Informatics | | 1985 |
54 |
|
| The HELP System for Medical Decision Making | Biomedical Informatics | | 1974 |
55 |
|
| HELP/PATHLAB Integration - A Decade of Experience Using an Expert System Interfaces to a Clinical Laboratory System | Biomedical Informatics | | 1985 |
56 |
|
| Language and Programming for Computer Input, Filing, Retrieval and Communication | Biomedical Informatics | | 1971 |
57 |
|
| Patient education workshop on CD-ROM: an innovative approach for staff education | This article describes an innovative patient education workshop on CD-ROM for use by staff educators and patient education coordinators. The CD-ROM allows nurses to gain an in-depth understanding of patient education practice. With the interactive, computerized format, nurses can complete the worksh... | Patient education; Staff education; Nursing | 2005 |
58 |
|
| Personalized medicine | With the completion of the Human Genome Project in 2003, the world's attention has focused on converting this vast storehouse of information into innovative health care solutions. The ultimate promise, assuming we know everyone's genotype, is to ensure that every person has optimum health throughout... | | 2007-01-01 |
59 |
|
| Signal Processing for Computerized Spirometry | Biomedical Informatics | | 1983 |
60 |
|
| Computer aided design | The report is based on the proposal submitted to the National Science Foundation in September 1981, as part of the Coordinated Experimental Computer Science Research Program. The sections covering the budget and biographical data on the senior research personnel have not been included. Also, the sec... | | 1984 |
61 |
|
| Surviving sensor network software faults | We describe Neutron, a version of the TinyOS operating system that efficiently recovers from memory safety bugs. Where existing schemes reboot an entire node on an error, Neutron's compiler and runtime extensions divide programs into recovery units and reboot only the faulting unit. The TinyOS kerne... | | 2009-01-01 |
62 |
|
| Design and validation of a simultaneous multi-threaded DLX processor | Modern day computer systems rely on two forms of parallelism to achieve high performance, parallelism between individual instructions of a program (ILP) and parallelism between individual threads (TLP). Superscalar processors exploit ILP by issuing several instructions per clock, and multiprocessors... | DLX processor; Validation | 1999 |
63 |
|
| Graphical man/machine communications: May 1971 | Final technical report 1 December 1969 to 30 June 1970. | | 1971-05 |
64 |
|
| 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 |
65 |
|
| Correctness proofs for device drivers in embedded systems | Computer systems do not exist in isolation: they must interact with the world through I/O devices. Our work, which focuses on constrained embedded systems, provides a framework for verifying device driver software at the machine code level. We created an abstract device model that can be plugged... | | 2010 |
66 |
|
| The design and implementation of partnet | PartNet is a federated database for providing interactive online access to mechanical parts catalogs. The data contained in the vendor's product database is exported to the federated database using a networkbased distributed database protocol. A Single coherent view of these vendor databases is pro... | | 1995 |
67 |
|
| Message passing support in the Avalanche widget | Minimizing 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 memory | 1996 |
68 |
|
| The NSR processor | The NSR (Non-Synchronous RISC) processor is a general-purpose computer structured (IS U collection of self-timed blocks that operate concurrently and communicate over bundled data channels in the style of micropipelines [3, 16]. These blocks correspond to standard synchronous pipeline stages such ... | | 1993 |
69 |
|
| OMOS ? An object server for program execution | The benefits of object-oriented programming are well known but popular operating systems provide very few object oriented features to users and few are im plemented using object oriented techniques themselves In this paper we discuss a mechanism for apply ing object oriented programming co... | OMOS; Object server | 1992 |
70 |
|
| Practical advances in asynchronous design | Recent practical advances in asynchronous circuit and system design have resulted in renewed interest by circuit designers. Asynchronous systems are being viewed as in increasingly viable alternative to globally synchronous system organization. This tutorial will present the current state of the art... | | 1997 |
71 |
|
| Practical advances in asynchronous design and in asynchronous/synchronous interfaces | Asynchronous systems are being viewed as an increasingly viable alternative to purely synchronous systems. This paper gives an overview of the current state of the art in practical asynchronous circuit and system design in four areas: controllers, datapaths, processors, and the design of asynchr... | | 1999 |
72 |
|
| Technology mapping of timed circuits | Abstract This paper presents an automated procedure for the technology mapping of timed circuits to practical gate libraries. Timed circuits are a class of asynchronous circuits that incorporate explicit timing information in the specification which is used throughout the design process to optimi... | | 1995 |
73 |
|
| Technology Development Standardization and Evaluation in Pulmonary Medicine | Biomedical Informatics | | 1981 |
74 |
|
| A Computer Program for Stress Test Data Processing | Biomedical Informatics | | 1974 |
75 |
|
| Architectural synthesis of timed asynchronous systems | This paper describes a new method for architectural synthesis of timed asynchronous systems. Due to the variable delays associated with asynchronous resources, implicit schedules are created by the addition of supplementary constraints between resources. Since the number of schedules grows exponenti... | | 1999 |