|
|
Creator | Title | Description | Subject | Date |
476 |
|
Harrison, Reid R. | Custom multielectrode array with integrated low-noise preamplifiers | Multielectrode arrays (MEAs) have emerged as a leading technology for extracellular neural recording and stimulation. Their large number of recording sites promises to yield important insight into neural systems. As the density of recording sites increases, interfacing to each electrode becomes inc... | Electrode; Multielectrode arrays (MEA); Neural recording; Extracellular recording; Low-noise | 2003-01-01 |
477 |
|
Gale, Bruce K. | Cyclical magnetic field flow fractionation | In this study, a new magnetic field flow fractionation (FFF) system was designed and modeled by using finite element simulations. Other than current magnetic FFF systems, which use static magnetic fields, our system uses cyclical magnetic fields. Results of the simulations show that our cyclical mag... | | 2012-01-01 |
478 |
|
Seror, Denis D. | D.C.P.L. - A distributed control programming language | In this thesis, a computation is considered a system of asynchronously cooperating "independent" programs (coroutines) linked by paths of in formation along which messages are sent. A programming language called DCPL, a Distributed Control Programming Language, in which such computations may be ex... | Distributed control programming language; DCPL | 1970 |
479 |
|
Berzins, Martin | DAG-based software frameworks for PDEs | The task-based approach to software and parallelism is well-known and has been proposed as a potential candidate, named the silver model, for exas-cale software. This approach is not yet widely used in the large-scale multi-core parallel computing of complex systems of partial differential equations... | | 2012-01-01 |
480 |
|
Brunvand, Erik L. | DFT for fast testing of self-timed control circuits | In this paper, we present a methodology to perform fast testing of the control path of self-timed circuits [91]. The speedup is achieved by testing all the execution paths in the control simultaneously. The circuits considered in this paper are those designed using an OCCAM based circuit compile... | | 1995 |
481 |
|
Bruderlin, Beat | DI - An object-oriented user interface toolbox for modula-2 applications | The DI dialog interface tool library for Modula-2 applications described in this paper facilitates the design and implementation of graphical, object-oriented user interfaces for workstations with a graphical screen, a mouse and a keyboard. Much emphasis is put on the portability of the application... | DI dialog interface tool | 1990 |
482 |
|
Evans, John | DPOS programming manual | This manual describes the basic concepts of the DPOS Metalanguage and the programming language DPOS Scheme. | DPOS; Programming manual | 1990 |
483 |
|
Kessler, Robert R. | DPOS: A metalanguage and programming environment for parallel processors | The complexity and diversity of parallel programming languages and computer architectures hinders programmers in developing programs and greatly limits program portability. All MIMD parallel programming systems, however, address common requirements for process creation, process management, and inte... | DPOS; MIMD parallel programming | 1990 |
484 |
|
Lepreau, Jay | DRAFT: work in progress - - - comments solicited evolving Mach 3.0 to use migrating threads | Like most operating systems, Mach 3.0 views threads as statically associated with a single task. An alternative model is that of migrating threads, in which a single thread abstraction moves between tasks with the logical flow of control, and "server" code is passively executed. We have compatibly r... | DRAFT | 1993 |
485 |
|
Berzins, Martin | Data and range-bounded polynomials in ENO methods | Essentially Non-Oscillatory (ENO) methods and Weighted Essentially Non- Oscillatory (WENO) methods are of fundamental importance in the numerical solution of hyperbolic equations. A key property of such equations is that the solution must remain positive or lie between bounds. A modification of the ... | | 2012-01-01 |
486 |
|
Hansen, Charles D. | Data distributed, parallel algorithm for ray-traced volume rendering | This paper presents a divide-and-conquer ray-traced volume rendering algorithm and a parallel image compositing method, along with their implementation and performance on the connection Machine CM-5, and networked workstations. This algorithm distributes both the data and the computations to individ... | Volume rendering; Ray tracing; ; Computer algorithms; Scientific visualization; Network computing; Massively parallel processing | 1993 |
487 |
|
Hansen, Charles D. | Data distributed, parallel algorithm for ray-traced volume rendering | This paper presents a divide-and-conquer ray-traced volume rendering algorithm and a parallel image compositing method, along with their implementation and performance on the Connection Machine CM-5, and networked workstations. This algorithm distributes both the data and the computations to individ... | Volume rendering; Ray tracing; ; Computer algorithms; Scientific visualization; Network computing; Massively parallel processing | 1993 |
488 |
|
Davis, Alan L. | Data driven nets: a maximally concurrent, procedural, parallel process representation for distributed control systems | A procedural parallel process representation, known as data-driven nets is described. The sequencing mechanism of the data-driven representation is based on the principle of data dependency. Operations are driven into action by the arrival of the required working set of input operands. Execution of ... | Data driven nets | 1978 |
489 |
|
Rosen, Paul Andrew | Data management and analysis with WRF and SFIRE | We introduce several useful utilities in development for the creation and analysis of real wildland fire simulations using WRF and SFIRE. These utilities exist as standalone programs and scripts as well as extensions to other well known software. Python web scrapers automate the process of downloadi... | | 2012-01-01 |
490 |
|
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 |
491 |
|
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 |
492 |
|
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 |
493 |
|
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 |
494 |
|
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 |
495 |
|
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... | | |
496 |
|
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 |
497 |
|
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 |
498 |
|
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 |
499 |
|
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 |
500 |
|
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 |