|
|
Creator | Title | Description | Subject | Date |
1 |
|
Lindstrom, Gary E. | Consistency and currency in functional databases | We consider a hybrid model of databases, in which a functional component T is defined as an extension to an imperative component B. T. is loosely coupled to B through a highly parallel function network N. which provides a simple failsafe test of whether an existing assignment of values to a given vi... | Functional databases | 1982 |
2 |
|
Lindstrom, Gary E. | The schema coercion problem | Over the past decade, the ability to incorporate data from a wide variety of sources has become increasingly important to database users. To meet this need, significant effort has been expended in automatic database schema manipulation. However, to date this effort has focused on two aspects of this... | Schema coercion; Database schema manipulation; Schema integration | 1997 |
3 |
|
George, Lal | A scheduling strategy for shared memory multiprocessors | An efficient scheduling strategy for shared memory multiprocessors is described. The rapid dissemination of tasks to available procesors and ready queues is crucial to the performance of any parallel system. Such overheads determine the attainable speedup and performance of the system. Poor techniq... | Shared memory multiprocessors | 1990 |
4 |
|
Tinker, Peter | Managing large address spaces effectively on the Butterfly | The BBN Butterfly? Parallel Processor is a commercially-available multiprocessor which uses a memory management strategy based on a segmentation of the available memory. Using all of the memory of the machine efficiently is difficult because of the need to change the memory mapping dynamically. This... | BBN Butterfly Parallel Processor; Large address spaces | 1987 |
5 |
|
Evans, David | Graphical man/machine communications: May 1971 | Final technical report 1 December 1969 to 30 June 1970. | | 1971-05 |
6 |
|
Horch, Kenneth W.; Tuckett, Robert P.; Burgess, Paul Richard | Neural signal for the intensity of a tactile stimulus | The effect of indenting the skin at different rates on the perceived intensity of the stimulus was studied by indenting the skin of the fingertip with two triangular waveforms, given as a pair. The subjects were asked to judge which member of the pair was more intense. Perceived intensity was foun... | Skin; Indentation; Nerve impulses | 1984 |
7 |
|
Lindstrom, Gary E. | Using a functional language and graph reduction to program multiprocessor machines or functional control of imperative programs | This paper describes an effective means for programming shared memory multiprocessors whereby a set of sequential activities are linked together for execution in parallel. The glue for this linkage is provided by a functional language implemented via graph reduction and demand evaluation. The full ... | shared memory multiprocessors; Programming; functional language; graph reduction; Demand evaluation | 1991 |
8 |
|
Regehr, John | Vertically integrated analysis and transformation for embedded software | Program analyses and transformations that are more aggressive and more domain-specific than those traditionally performed by compilers are one possible route to achieving the rapid creation of reliable and efficient embedded software. We are creating a new framework for Vertically Integrated Program... | | 2003-01-01 |
9 |
|
Organick, Elliott I.; Lindstrom, Gary E. | Transforming an Ada program unit to silicon and verifying its behavior in an Ada environment: a first experiment | Microelectronics technology has advanced so rapidly and been so successful that we are new having to build large systems with a multitude of diverse, interacting components. Some components of these systems exhibit distinct architectures and may, in fact, be implemented following different choices o... | Transformation; Ada program units; Silicon | 1983 |
10 |
|
Lenart, Joshua Bela | The Blue Castle project: a feasibility study of the proposed nuclear power plant in Emery County, Utah along the Green River | With an increasing population in Utah, specifically in the Salt Lake Valley, the demand for energy is rapidly growing each year. Currently, Utah's electric grid is largely produced by burning coal, natural gas, and other fossil fuels. In the past, supplying Utahns with electricity from these forms h... | Blue Castle; Utah; Nuclear power plant; Emery County | 2015-08 |
11 |
|
Gouraud, Henri | Computer display of curved surfaces | This research describes a method for producing shaped pictures of curved surfaces. It uses a small polygon approximation of the surface to solve efficiently the nidden parts detection, and then computes the shading on each polygon in such a way that visual discontinuities between adjacent polygons d... | Curved surfaces; Computer display | 1971 |
12 |
|
Riesenfeld, Richard F. | 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 |