|
|
Creator | Title | Description | Subject | Date |
501 |
|
Davis, A.L. | Dataflow computers: a tutorial and survey | The demand for very high performance computer has encouraged some researchers in the computer science field to consider alternatives to the conventional notions of program and computer organization. The dataflow computer is one attempt to form a new collection of consistent systems ideas to improve ... | Dataflow computers | 1980 |
502 |
|
Susarla, Sai R.; Carter, John | DataStations: ubiquitous transient storage for mobile users | In this paper, we describe DataStations, an architecture that provides ubiquitous transient storage to arbitrary mobile applications. Mobile users can utilize a nearby DataStation as a proxy cache for their remote home file servers, as a file server to meet transient storage needs, and as a platf... | DataStations; Ubiquitous transient storage; Proxy cache | 2003-11-14 |
503 |
|
Gopalakrishnan, Ganesh | Decomposing the proof of correctness of pipelined microprocessors | We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction function using completion functions, one per unfinished instruction, each of which specify the effect (on the observables) of ... | Pipelined microprocessors; Proof of correctness | 1998 |
504 |
|
Stringfellow, Gerald B. | Deep electron traps in organometallic vapor phase grown AlGaAs | Deep electron traps have been studied by means of deep level transient spectrosocopy in type nominally undoped and interntionally te doped Al Ga As epitaxial layers which were grown by vapor phase epitaxy from organometallic compounds (OMVPE). Three main deep electron levels are present in undoped m... | Vapor phase epitaxy; Shallow impurity identity; Optoelectronic device performance | 1980 |
505 |
|
Rahman, Aowabin | Deep recurrent neural networks for building energy prediction | This poster illustrates the development of a deep recurrent neural network (RNN) model using long-short-term memory (LSTM) cells to predict energy consumption in buildings at one-hour time resolution over medium-to-long term time horizons ( greater than or equal to 1 week). | Machine learning; Energy; Building energy modeling; Deep learning; Recurrent neural networks; Prediction | 2017-01-13 |
506 |
|
Nguyen, Hoa Thanh; Nguyen, Thanh Hoang; Freire, Juliana | DeepPeep: A Form Search Engine | We present DeepPeep (http://www.deeppeep.org), a new search engine specialized in Web forms. DeepPeep uses a scalable infrastructure for discovering, organizing and analyzing Web forms which serve as entry points to hidden-Web sites. DeepPeep provides an intuitive interface that allows users t... | | |
507 |
|
Bargteil, Adam Wade | Deformation embedding for point-based elastoplastic simulation | We present a straightforward, easy-to-implement, point-based approach for animating elastoplastic materials. The core idea of our approach is the introduction of embedded space-the least-squares best fit of the material's rest state into three dimensions. Nearest neighbor queries in the embedded spa... | | 2014-01-01 |
508 |
|
Regehr, John | Deriving abstract transfer functions for analyzing embedded software | This paper addresses the problem of creating abstract transfer functions supporting dataflow analyses. Writing these functions by hand is problematic: transfer functions are difficult to understand, difficult to make precise, and difficult to debug. Bugs in transfer functions are particularly seriou... | | 2006-01-01 |
509 |
|
Gopalakrishnan, Ganesh | Deriving efficient cache coherence protocols through refinement | We address the problem of developing efficient cache coherence protocols for use in distributed systems implementing distributed shared memory (DSM) using message passing. A serious drawback of traditional approaches to this problem is that the users are required to state the desired coherence prot... | Cache coherence protocols; DSM; Message passing | 1997 |
510 |
|
Khan, Faisal Habib | Deriving new topologies of DC-DC converters featuring basic switching cells | This paper will introduce the two basic switching cells, P-cell and N-cell, and their applications in different power electronic circuits. These basic cells have one switching element and one diode. The P-cell is the mirror circuit of the N-cell and vice-versa, and this paper suggests that any powe... | DC-DC converters; P-cell; N-cell; Switching cells; Cúk converters | 2006-07 |
511 |
|
Zhang, Lixin | Description of functionality of the impulse memory controller | This document describes the functionality and control flow models for each component of the impulse main memory controller. | Impulse memory controller | 2001 |
512 |
|
Zhang, Lixin | Design a DRAM backend for the impulse memory system | The Impulse Adaptable Memory System is a new memory system that exposes DRAM access patterns not seen in conventional memory systems. Impulse can generate huge number of small DRAM accesses, which will not be handled effectively by a conventional cache-line-size-access-oriented DRAM backend. In this... | DRAM; Backend; Impulse memory system; Impulse Adaptable Memory System; Access patterns | 2000 |
513 |
|
Carter, John B. | Design alternatives for shared memory multiprocessors | In this paper. we consider the design alternatives available for building the next generation DSM machine (e.g., the choice of memory architecture, network technology, and amount and location of per-node remote data cache). To investigate this design space, we have simulated six applications on a wi... | Shared memory multiprocessors | 1998 |
514 |
|
Mastrangelo, Carlos H. | Design and characterization of electronic sensing system for a 13 × 13 biomechanical ground reaction sensor array | This paper presents the design and characterization of an electronic sensing system interfaced with a high-density flexible biomechanical ground reaction sensor array (GRSA). The prototype system can be incorporated into a personal boot heel to measure real-time ground force, shear strain and sole d... | | 2013-01-01 |
515 |
|
Pershing, David W. | Design and construction of a rotary kiln simulator for use in studying the incineration of hazardous waste | Rotary kilns have been used extensively in the cement industry to calcine limestone. In the past few years, the technology has been viewed as a possible option for the incineration of hazardous waste materials, especially for the disposal of solid wastes and the cleanup of contaminated soils and tra... | Rotary kilns; Hazardous waste; Waste burning | 1989-08 |
516 |
|
Fujimoto, Richard M.; Gopalakrishnan, Ganesh | Design and evaluation of the rollback chip: special purpose hardware for time warp | The Time Warp mechanism offers an elegant approach to attacking difficult clock synchronization problems that arise in applications such as parallel discrete event simulation. However, because Time Warp relies on a lookahead and rollback mechanism to achieve widespread exploitation of parallelism, t... | Rollback chip; Time Warp mechanism; Clock synchronization; Parallel discrete event simulation | 1988 |
517 |
|
Dintelman, Sue Marie Thompson | Design and implementation of a relational data base system for a minicomputer | A data base system provides the advantages of centralized control of data including increased data independence. Design specifications for a low level relational data base interface are given in the form of a formal description which separates the implementation details from the description of the ... | Data base system | 1977 |
518 |
|
Harrison, Reid R. | Design and implementation of multipattern generators in analog VLSI | In recent years, computational biologists have shown through simulation that small neural networks with fixed connectivity are capable of producing multiple output rhythms in response to transient inputs. It is believed that such networks may play a key role in certain biological behaviors such as d... | | 2006-07 |
519 |
|
Brown, Don R. | 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 |
520 |
|
Khan, Faisal Habib | Design and simulation of contour mode MEMS resonator on Si for power converters | Microelectromechanical systems (MEMS) resonators on Si have the potential to replace the discrete passive components in a power converter. These devices not only can reduce the size and weight of the converter but also can facilitate the implementation of power converter on a chip. In this paper, a ... | | 2013-01-01 |
521 |
|
Harrison, Reid R.;Normann, Richard A. | Design and testing of an integrated circuit for multi-electrode neural recording | We have developed a single-chip neural recording system with wireless power delivery and telemetry. The 0.5-μm CMOS IC is designed to be bonded to the back of a 100-channel Utah Electrode Array. A pad near each amplifier allows connection of the chip to the MEMS electrode array. The complete Integr... | recording; Neural recording; Utah Electrode Array; Multielectrode arrays (MEA); Telemetry; Spike detectors; Wireless | 2007-01 |
522 |
|
Jacobson, Hans | 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 |
523 |
|
Gopalakrishnan, Ganesh | Design and verification of the rollback chip using HOP: a case study of formal methods applied to hardware design | The use of formal methods in hardware design improves the quality of designs in many ways: it promotes better understanding of the design; it permits systematic design refinement through the discovery of invariants; and it allows design verification (informal or formal). In this paper we illustrate ... | Rollback chip; Verification; HOP; Hardware design; RBC | 1990 |
524 |
|
Hansen, Charles D. | Design of 2D time-varying vector fields | Design of time-varying vector fields, i.e., vector fields that can change over time, has a wide variety of important applications in computer graphics. Existing vector field design techniques do not address time-varying vector fields. In this paper, we present a framework for the design of time-vary... | | 2012-01-01 |
525 |
|
Myers, Chris J. | Design of a genetic muller C-element | Synthetic biology uses engineering principles to design circuits out of genetic materials that are inserted into bacteria to perform various tasks. While synthetic combinational Boolean logic gates have been constructed, there are many open issues in the design of sequential logic gates. One such g... | | 2007 |