|
|
Creator | Title | Description | Subject | Date |
51 |
|
Mulaik, Dorothea De Muth | A comparative study of the urinogenital systems of an oviparous and two ovoviviparous species of the lizard genus sceloporus | In the comparative study of the urinogenital systems of the American lizards by Brooks (1906), all the species studied by him were oviparous. One of the genera, Sceloporus, is now known to contain ovoviviparous forms as well. The presence of both oviparity and ovoviviparity in the same genus suggest... | | 1946-11-20 |
52 |
|
McDirmid, Sean; Eide, Eric Norman; Hsieh, Wilson C. | A comparison of Jiazzi and AspectJ for feature-wise decomposition | Feature-wise decomposition is an important approach to building configurable software systems. Although there has been research on the usefulness of particular tools for featurewise decomposition, there are not many informative comparisons on the relative effectiveness of different tools. In this... | Jiazzi; AspectJ; Feature-wise decomposition | 2004-03-23 |
53 |
|
Warner, Homer R. | A Comparison of Meta-1 and HELP Terms: Implications for Clinical Data | Biomedical Informatics | | 1990 |
54 |
|
Brunvand, Erik L. | A comparison of modular self-timed design styles | State-machine sequencing methods in modular 2-phase and 4-phase asynchronous handshake control are compared. Design styles are discussed, and the sequencers are tested against each other using a medium-scale minicomputer test design implemented in FPGAs. Seven 4-phase sequencers are tested. In these... | Self-timed; State-machine sequencing; Asynchronous handshake control | 1995 |
55 |
|
Zhang, Lixin | A comparison of online superpage promotion mechanisms | The amount of data that a typical translation lookaside buffer (TLB) can map has not kept pace with the growth in cache sizes and application footprints. As a result, the cost of handling TLB misses limits the performance of an increasing number of applications. The use of superpages, multiple adjac... | Superpages; Translation lookaside buffer; TLB | 1999 |
56 |
|
Brunvand, Erik L.; Smith, Kent F. | A comparison of self-timed design using FPGA, CMOS, and GaAs technologies | Asynchronous or self-timed systems that do not rely on U global clock to keep system components synchronized can offer significant advantages over traditional clocked circuits in a variety of applications. One advantage is that because of the separation of timing, from, functionality in these sys... | | 1992 |
57 |
|
Carter, John B. | A comparison of software and hardware synchronization mechanisms for distributed shared memory multiprocessors | Efficient 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 locks | 1996 |
58 |
|
Gopalakrishnan, Ganesh | A compositional model for synchronous VLSI systems | Currently available hardware specification languages have two serious deficiencies: (i) inadequate protocol definition capabilities; (ii) lack of a compositional model. We now explain these in more detail. | Very large scale integration; VLSI systems | 1987 |
59 |
|
Warner, Homer R. | A Computer Based Information System for Patient Care | Biomedical Informatics | | 1972 |
60 |
|
Durney, Carl H. | A computer graphics method for solving transcendental equations | There are a number of ways to determine the values of x which satisfy the equation F(x)=0. (The case of interest here is that in which F i s a complex function of the complex variable x.) One way is to search for values of x which make Real (F(x)) and Imaginary (F(x)) both zero at the same time wher... | Transcendental equations | 1970 |
61 |
|
Pryor, T. Allan | A Computer Program for Stress Test Data Processing | Biomedical Informatics | | 1974 |
62 |
|
Warner, Homer R. | A Computer System for the Cardiovascular Laboratory | Biomedical Informatics | | 1974 |
63 |
|
Warner, Homer R. | A Computer-Based Diagnostic Model for Individual Case Review | Biomedical Informatics | | 1995 |
64 |
|
Warner, Homer R. | A Computer-Directed Patient History: Functional Overview and Initial Experience | Biomedical Informatics | | 1986 |
65 |
|
Henderson, Thomas C. | A control paradigm for general purpose manipulation systems | Mechanical end effectors capable of dextrous manipulation are now a reality. Solutions to the high level control issues, however, have so far proved difficult to formulate. We propose a methodology for control which produces the functionality required for a general purpose manipulation system. It is... | Manipulation systems | 1987 |
66 |
|
Brunvand, Erik L. | A correctness criterion for asynchronous circuit validation and optimization | In order to reason about the correctness of asynchronous circuit implementations and specifications, Dill has developed a variant of trace theory [1]. Trace theory describes the behavior of an asynchronous circuit by representing its possible executions as strings called "traces" A useful relatio... | Asynchronous circuits; Circuit optimizations; Formal verification of hardware; Trace theory; Asynchronous circuit validation | 1992 |
67 |
|
Gopalakrishnan, Ganesh | A correctness criterion for asynchronous circuit validation and optimization | We propose a new relation C. called strong conformance in the context of Dill's trace theory, and define B Q A to be true exactly when B conforms to A and the success set of B contains the success set of A. When B C. A, module B operated in module A's maximal environment AM (i.e. B || AM) exhibits a... | Validation; Optimization | 1992 |
68 |
|
Warner, Homer R. | A Data-Trend Log and Bar Graph Dispaly for Physiological Monitoring | Biomedical Informatics | | 1970 |
69 |
|
Warner, Homer R. | A Decision Support Technology Clearinghouse | Biomedical Informatics | | 1988 |
70 |
|
Warner, Homer R. | A Decision-Driven System to Collect the Patient History | Biomedical Informatics | | 1987 |
71 |
|
Mitchell, Joyce A. | A decision-support system for the analysis of clinical practice patterns | Several studies documented substantial variation in medical practice patterns, but physicians often do not have adequate information on the cumulative clinical and financial effects of their decisions. The purpose of developing an expert system for the analysis of clinical practice patterns was to a... | | 1994-01-01 |
72 |
|
Barsky, Brian A. | A description of several tools for the synchronization of concurrent processes | Concurrent processes are tasks which may be executed simultaneously. When several such processes have access to shared variables, it is necessary to establish some regimen to control this access. Several language tools for expressing various synchronization disciplines are presented. | Concurrent processes | 1980 |
73 |
|
Chamberlin, Ralph V. | A descriptive catalog of the Mollusca of Utah | In the preparation of this bulletin an effort has been made to bring together what was previously known of recent Utah mollusks and to incorporate with this the results of the authors' special studies. The form of presentation has been determined by the fact that, in the first place, the paper is in... | | 1929-06 |
74 |
|
| A distributed garbage collection algorithm | Concurrent Scheme extends the Scheme programming language, providing parallel program execution on a distributed network. The Concurrent Scheme environment requires a garbage collector to reclaim global objects; objects that exist in a portion of the global heap located on the node that created them... | Concurrent Scheme; Garbage collection algorithm | 1992 |
75 |
|
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 |