|
|
Creator | Title | Description | Subject | Date |
| 801 |
 |
Swope, Steven M. | Simon II kernel reference manual | The principal objective of Simon II is to provide a flexible and adaptable framework for constructing simulators for a wide variety of parallel systems. A simulator consists of a set of software building blocks. Each building block, i.e. object, simulates a specific component of the parallel system... | Simon II; Kernels; Simulators; Parallel systems | 1986 |
| 802 |
 |
Freire, Juliana; Silva, Claudio T. | Simplifying the design of workflows for large-scale data exploration and visualization | Workflows and Computational Processes. Workflows are emerging as a paradigm for representing and managing complex computations - Simulations, data analysis, visualization, data integration. | | 2008 |
| 803 |
 |
Smith, Kent F. | Simppl user's guide | This work was supported in part by Defense Research Projects Agency under Contract Number DAAK1184K0017. All opinions, findings, conclusions or recommendations expressed in this document are those of the author(s) and do not necessarily reflect the view of DARPA. | SIMPPL; User guide | 1986 |
| 804 |
 |
Henderson, Thomas C.; McMurtry, Patrick; Smith, Philip J.; Voth, Gregory Alan; Wight, Charles Albert; Pershing, David W. | Simulating accidental fires and explosions | The Center for the Simulation of Accidental Fires and Explosions at the University of Utah focuses on providing state-of-the-art, science-based tools for the numerical simulation of accidental fires and explosions, especially in the context of handling and storing highly flammable materials. | Center for the Simulation of Accidental Fires and Explosions; PBX9501; HMX | 2000 |
| 805 |
 |
Greenfield, Harvey | Simulation of arbitrary shaped boundaries for hemodynamic studies | | | 1973 |
| 806 |
 |
Pickett, Forrest B. | Simulation of Cells | A self-timed cell set and library for the design of integrated circuits is presented. The cell set and library are two different cellular methods of designing integrated circuits. These have been incorporated to form a hybrid system which exploits the advantages provided by each. The cell set an... | Self-timed; Cell set | 1984 |
| 807 |
 |
Shirley, Peter S.; Parker, Steven G. | Single sample soft shadows | A simple extension to ray tracing is presented that creates visually plausible "soft" shadows with little extra computation. Although these soft shadows are approximate, they are robust and have penumbra widths that behave in a believable way, including accurate placement of singularities where penu... | Soft shadows; Ray tracing; Penumbra width; Image generation | 1998 |
| 808 |
 |
Freire, Juliana | Siphoning hidden-web data through keyword-based interfaces | In this paper, we study the problem of automating the retrieval of data hidden behind simple search interfaces that accept keyword-based queries. Our goal is to automatically retrieve all available results (or, as many as possible). We propose a new approach to siphon hidden data that automatically ... | | 2004-01-01 |
| 809 |
 |
Bruderlin, Beat | Sketching as a solid modeling tool | This paper describes 'Quick-sketch', a 2-d and 3d modeling tool for pen based computers. Users of this system define a model by simple pen strokes drawn directly on the screen of a pen-based PC. Lines, circles, arcs, or B-spline curves are automatically distinguished and interpreted from these strok... | Quick-sketch; Modeling tool; Pen based computers; Computer sketching | 1994 |
| 810 |
 |
Henderson, Thomas C. | SLAMBOT: Structural health monitoring robot using lamb waves | We propose the combination of a mobile robot and a computational sensor network approach to perform structural health monitoring of structures. The robot is equipped with piezoelectric sensor actuators capable of sending and receiving ultrasound signals, and explores the surface of a structure to be... | | 2014-01-01 |
| 811 |
 |
Henderson, Thomas C.; Thompson, William B. | Smart sensor snow | We propose to deploy and exploit and large number of inexpensive sensors to obtain information or trigger actions over a wide geographic area. Sensors may be of diverse physical natures: acoustic, IR, seismic, chemical, magnetic, thermal, etc. We describe here three major issues: (1) sensor distribu... | Smart sensors | 1998 |
| 812 |
 |
Soares, Marshall A. | SOAR user's manual | Abstract: The development of simulation and test stimulus and checking of circuits with that stimulus is the source or many circuit bugs. The SOAR conversion package is a C library that generates the stimuli for gate-level simulation, circuit simulation and integrated circuit test The conversion pa... | SOAR; Conversion package; C library; Simulation | 1997 |
| 813 |
 |
Henderson, Thomas C. | Some experiments with the 3-D hough shape transform | The application of the Hough shape transform to the problem of the identification and localization of objects in 3-space is presented. The rotation-invariant Hough transform is defined which permits the determination of the geometric transformation from the model to the detected object. Given a samp... | Hough shape transform | 1983 |
| 814 |
 |
Regehr, John | Some guidelines for proportional share CPU scheduling in general-purpose operating systems | Our premise is that since there already exists a large, mature body of literature on real-time scheduling in general-purpose operating systems, it is time to spend more effort deciding which of these algorithms should be used and when, and less effort on generating new algorithms. In this paper we f... | | 2001-01-01 |
| 815 |
 |
Gopalakrishnan, Ganesh | Some recent asynchronous system design methodologies | We present an in-depth study of some techniques for asynchronous system design, analysis, and verification. After defining basic terminology, we take one simple example - a four-phase t o two-phase converter - and present its design using (a) classical flow-tables; (b) Signal Transition Graphs of [... | Asynchronous system design | 1990 |
| 816 |
 |
Gopalakrishnan, Ganesh | Some unusual micropipeline circuits | We present a few unusual Micropipelines (Sutherland, CACM, September 1989) that employ the Muller C-ELEMENT or an extension of the C-ELEMENT called LOCKC (Liebchen and Gopalakrishnan, ICCD, 1992). We first describe two variations of the two-dimensional Micropipeline structure realized using ordinary... | Micropipeline circuits; Micropipelines | 1993 |
| 817 |
 |
Vickers, Donald Lee | Sorcerer's apprentice: head-mounted display and wand | Sorcerer's Apprentice is an interactive computer graphics system utilizing a head-mounted display and at three-dimensional wand. The system allows three-dimensional interaction with line drawings which are displayed in real time, that is about 20 frames per second. The display, worn like a pair of e... | Sorcerer's apprentice; Head-mounted display; Three-dimensional wand | 1974 |
| 818 |
 |
Sikorski, Christopher; Pardyjak, Eric R. | Source characterization of atmospheric releases using quasi-random sampling and regularized gradient optimization | In the present work, an inversion technique to solve the atmospheric source characterization problem is described. The inverse problem comprises characterizing the source (x, y and z coordinates and the source strength) and the meteorological conditions (wind speed and wind direction) at the sourc... | Source characterization; Gaussian plume model; Quasi-Monte Carlo (QMC); Regularization; Newton?s method; Line-search; Tikhonov stabilizing functional; Adaptive regularization | 2009 |
| 819 |
 |
Akella, Venkatesh; Gopalakrishnan, Ganesh | Specification and validation of control intensive ICs in hopCP | Control intensive ICs pose a significant challenge to the users of formal methods in designing hardware. These ICs have to support a wide variety of requirements including synchronous and asynchronous operations polling and interrupt driven modes of operation multiple concurrent threads of executi... | Asynchrony; Behavioral simulation; Formal methods; Hardware description languages; Formal specifiation and validation; hopCP | 1992 |
| 820 |
 |
Gopalakrishnan, Ganesh | Specification and validation of control-intensive integrated circuits in hopCP | Control intensive ICs pose a significant challenge to the users of formal methods in designing hardware. These ICs have to support a wide variety of requirements including synchronous and asynchronous operations, polling and interrupt-driven modes of operation, multiple concurrent threads of execut... | control-intensive; integrated circuits; hopCP; Computer hardware design; Validation | 1992 |
| 821 |
 |
Gopalakrishnan, Ganesh | Specification-driven design of custom hardware in HOP | We present a language "Hardware viewed as Objects and Processes" (HOP) for specifying the structure, behavior, and timing of hardware systems. HOP embodies a simple process model for lock-step synchronous processes. Processes may be described both as a black-box and as a collection of interacting s... | HOP; hardware systems; Structure; Behavior; Timing; custom hardware | 1988 |
| 822 |
 |
Brunvand, Erik L. | Speculatorum Oculi | Description Speculatorum Oculi (The Eyes of Spies) comments on current surveillance activities of governments and corporations through an installation that includes an architectural model surveilled with looming video cameras providing live feeds to a set of video monitors. These monitors show views... | | 2014-01-01 |
| 823 |
 |
Brunvand, Erik L. | Speed without fear: composable self-timed GaAs circuits | We have designed a set of self-timed gallium arsenide building blocks that are suitable for composing into larger systems. Systems designed using these modules can be easier to design and modify than their globally clocked counterparts, while maintaining high performance. The modules are suitable ... | Gallium arsenide circuits; Self-timed | 1993 |
| 824 |
 |
Sutherland, Karen T. | The stability of geometric inference in location determination | Geometric inference is widely used in computer vision, but very little attention has been given to the question of how geometric properties affect the resulting errors in the inferences made. This thesis addresses the problem of the stability of geometric inference in determining locations with a go... | Geometric inference; Location determination | 1994 |
| 825 |
 |
Balasubramonian, Rajeev | Staged reads: mitigating the impact of DRAM writes on DRAM reads | Main memory latencies have always been a concern for system performance. Given that reads are on the criti- cal path for CPU progress, reads must be prioritized over writes. However, writes must be eventually processed and they often delay pending reads. In fact, a single channel in the main memory ... | | 2012-01-01 |
