|
|
Creator | Title | Description | Subject | Date |
| 826 |
 |
Gopalakrishnan, Ganesh | Static analysis techniques for the synthesis of efficient asynchronous circuits | In the context of deriving asynchronous circuits from high-level descriptions, determining whether two actions are potentially concurrent (overlapped execution) or serial (non-overlapped execution) has several advantages. This knowledge can be utilized to efficiently implement shared variables, sup... | Static analysis; Synthesis | 1991 |
| 827 |
 |
Eide, Eric Norman | Static and dynamic structure in design patterns | Design patterns are a valuable mechanism for emphasizing structure, capturing design expertise, and facilitating restructuring of software systems. Patterns are typically applied in the context of an object-oriented language and are implemented so that the pattern participants correspond to obje... | Design patterns; Static structure; Dynamic structure | 2001-11-01 |
| 828 |
 |
Weinstein, David | Statistical analysis for FEM EEG source localization in realistic head models | Estimating the location and distribution of electric current sources within the brain from electroencephalographic (EEG) recordings is an ill-posed inverse problem. The ill-posed nature of the inverse EEG problem is due to the lack of a unique solution such that different configurations of sources c... | inverse EEG problem; FEM EEG; source localization | 2000 |
| 829 |
 |
Hansen, Charles D.; Tasdizen, Tolga | Statistically quantitative volume visualization | Visualization users are increasingly in need of techniques for assessing quantitative uncertainty and error in the images produced. Statistical segmentation algorithms compute these quantitative results, yet volume rendering tools typically produce only qualitative imagery via transfer function-base... | Volume visualization; Uncertainty; Classification; Risk analysis | 2005 |
| 830 |
 |
Kirby, Robert Michael | Stochastic collocation for optimal control problems with stochastic pde constraints | We discuss the use of stochastic collocation for the solution of optimal control problems which are constrained by stochastic partial differential equations (SPDE). Thereby the constraining SPDE depends on data which is not deterministic but random. Assuming a deterministic control, randomness withi... | | 2012-01-01 |
| 831 |
 |
Mecklenburg, Robert | STORY: A hierarchical animation and storyboarding system for alpha-1 | We introduce an integrated animation and storyboarding system that simplifies the creation and refinement of computer generated animations. The framework models both the process and product of an animated sequence, making animation more accessible for communication and as an art form. The system a... | STORY; storyboarding system; animation system; computer generated animations | 1993 |
| 832 |
 |
Bargteil, Adam Wade | Strain limiting for clustered shape matching | In this paper, we advocate explicit symplectic Euler integration and strain limiting in a shape matching simulation framework. The resulting approach resembles not only previous work on shape matching and strain limiting, but also the recently popular position-based dynamics. However, unlike this pr... | | 2014-01-01 |
| 833 |
 |
Weinstein, David | Stream bundles - cohesive advection through flow fields | Streamline advection has proven an effective method for visualizing vector flow field data. Traditional streamlines do not, however, provide for investigating the coarsergrained features of complex datasets, such as the white matter tracts in the brain or the thermal conveyor belts in the ocean. In ... | Stream bundles; advection; Streamline advection; vector flow field data | 1999 |
| 834 |
 |
Hansen, Charles D.; Whitaker, Ross T. | Streaming narrow-band algorithm: interactive computation and visualization of level sets | Abstract-Deformable isosurfaces, implemented with level-set methods, have demonstrated a great potential in visualization and computer graphics for applications such as segmentation, surface processing, and physically-based modeling. Their usefulness has been limited, however, by their high computa... | | 2004-07 |
| 835 |
 |
Gu, Jun | Structured, technology independent VLSI design | Rapid advancement in new semiconductor technologies has created a need for the design of existing integrated circuits using these new technologies. These new technologies are required to provide improved performance, smaller feature sizes and lower costs. The conversion of an integrated circuit fro... | VLSI design; semiconductor technologies | 1989 |
| 836 |
 |
Carter, John B. | Supporting persistent C++ objects in a distributed storage system | We have designed and implemented a C++ object layer for Khazana, a distributed persistent storage system that exports a flat shared address space as its basic abstraction. The C++ layer described herein lets programmers use familiar C++ idioms to allocate, manipulate, and deallocate persistent share... | persistent C++ objects; distributed storage; Khazana; flat shared address space | 1999 |
| 837 |
 |
Boll, Steven F. | Suppression of acoustic noise in speech using spectral subtraction | A stand alone noise suppression algorithm is presented for reducing the spectral effects of acoustically added noise in speech. Effective performance of digital speech processors operating in practical environments may require suppression of noise from the digital waveform. Spectral subtraction offe... | Suppression; acoustic noise; noise suppression algorithm; digital speech processors; Spectral subtraction | 1979 |
| 838 |
 |
Boll, Steven F. | Suppression of acoustic noise in speech using two microphone adaptive noise cancellation | Acoustic noise with energy greater or equal to the speech is suppressed by filtering a separately recorded correlated noise signal and subtracting it from the speech waveform. This approach was investigated to determine the degree of noise suppression possible using an external correlated input. The... | Suppression; acoustic noise; adaptive noise cancellation | 1979 |
| 839 |
 |
Parker, Steven G. | Survey of the Itanium architecture from a programmer's perspective | The Itanium family of processors represents Intel;s foray into the world of Explicitly Parallel Instruction Computing and 64-bit system design. This survey contains an introduction to the Itanium architecture and instruction set, as well as some of the available implementations. Taking a programmer'... | Itanium; Instruction sets | 2003 |
| 840 |
 |
Regehr, John | 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 |
| 841 |
 |
Regehr, John | Swarm testing | Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detection. In swarm testing, the usual practice of potentially including all features in every test case is abandoned. Rather,... | | 2012-01-01 |
| 842 |
 |
Pugsley, Seth H; Spjut, Josef Bo; Nellans, David W; Balasubramonian, Rajeev | SWEL: hardware cache coherence protocols to map shared data onto shared caches | In chip multiprocessors, replication of cache lines is allowed to reduce the latency each core has to access a cache line. Because of this replication, it is possible for one copy of data to become out of date if another copy of that data is modified. How a MESI protocol accomplishes this: ? K... | | |
| 843 |
 |
Beazley, David. M. | SWIG users manual (version 1.1) | SWIG is a tool for solving problems. More specifically, SWIG is a simple tool for building interactive C, C++, or Objective-C programs with common scripting languages such as Tel, Perl, and Python. Of course, more importantly, SWIG is a tool for making C programming more enjoyable and promoting lazi... | SWIG; C programs; C++ programs; Objective-C programs; User manual; Interactive programs | 1997 |
| 844 |
 |
Starkey, Mike | Switchbox routing by pattern matching | Many good algorithms have been designed that provide good solutions to the wire routing problem in VLSI. Unfortunately, many of these algorithms only consider a small subset of different parameters such as number of layers, routability of layers and technology. We believe that these algorithms can b... | Switchbox routing; pattern matching; wire routing problem; VLSI | 1991 |
| 845 |
 |
Henderson, Thomas C.; Cohen, Elaine | Symmetry as an organizational principle in cognitive sensor networks | Cognitive sensor networks are able to perceive, learn, reason and act by means of a distributed, sensor/actuator, computation and communication system. In animals, cognitive capabilities do not arise from a tabula rasa, but are due in large part to the intrinsic architecture (genetics) of the ani... | Cognitive sensor networks | 2009 |
| 846 |
 |
Henderson, Thomas C. | Symmetry based semantic analysis of engineering drawings | Engineering drawings have posed significant challenges to image analysis for many decades. The goal is to take images of scanned engineering drawings and interpret them so as to understand their contents (e.g., characters, digits, line segments, box segments etc.). This is known as semantic analysis... | | 2014-01-01 |
| 847 |
 |
Henderson, Thomas C.; Sikorski, Christopher | Symmetry: a basis for sensorimotor reconstruction | Given a set of unknown sensors and actuators, sensorimotor reconstruction is achieved by exploiting relations between the sensor data and the actuator control data to determine sets of similar sensors, sets of similar actuators, necessary relations between them, as well as sensorimotor relations ... | sensorimotor reconstruction; sensor data; actuator control data | 2011 |
| 848 |
 |
Henderson, Thomas C. | The synthesis of visual recognition strategies | A coherent automated manufacturing system needs to include CAD/CAM, computer vision, and object manipulation. Currently, most systems which support CAD/CAM do not provide for vision or manipulation and similarly, vision and manipulation systems incorporate no explicit relation to CAD/ CAM models. CA... | visual recognition; automated manufacturing systems; object manipulation | 1985 |
| 849 |
 |
Hoogenboom, Peter J. | System performance advisor user guide | The usage of the System Performance Advisor (SPA) expert system is described. Documentation of SPA system commands, system variables, diagnostic rules is given. Information on how to run the SPA system is discussed. In addition, an overview of how SPA searches for problems is supplied. The purpose o... | System Performance Advisor; SPA; User guide | 1991 |
| 850 |
 |
Berzins, Martin | Systematic debugging methods for large-scale HPC computational frameworks | Parallel computational frameworks for high-performance computing are central to the advancement of simulation-based studies in science and engineering. Finding and fixing bugs in these frameworks can be time consuming. If left unchecked, these bugs diminish the amount of new science performed. A sys... | | 2014-01-01 |
