476 - 500 of 1,958
Number of results to display per page
CreatorTitleDescriptionSubjectDate
476 Harrison, Reid R.Custom multielectrode array with integrated low-noise preamplifiersMultielectrode 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-noise2003-01-01
477 Gale, Bruce K.Cyclical magnetic field flow fractionationIn 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 languageIn 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; DCPL1970
479 Berzins, MartinDAG-based software frameworks for PDEsThe 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 circuitsIn 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, BeatDI - An object-oriented user interface toolbox for modula-2 applicationsThe 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 tool1990
482 Evans, JohnDPOS programming manualThis manual describes the basic concepts of the DPOS Metalanguage and the programming language DPOS Scheme.DPOS; Programming manual1990
483 Kessler, Robert R.DPOS: A metalanguage and programming environment for parallel processorsThe 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 programming1990
484 Lepreau, JayDRAFT: work in progress - - - comments solicited evolving Mach 3.0 to use migrating threadsLike 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...DRAFT1993
485 Berzins, MartinData and range-bounded polynomials in ENO methodsEssentially 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 renderingThis 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 processing1993
487 Hansen, Charles D.Data distributed, parallel algorithm for ray-traced volume renderingThis 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 processing1993
488 Davis, Alan L.Data driven nets: a maximally concurrent, procedural, parallel process representation for distributed control systemsA 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 nets1978
489 Rosen, Paul AndrewData management and analysis with WRF and SFIREWe 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, JohnDataStations: ubiquitous transient storage for mobile usersIn 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 cache2003-11-14
491 Davis, A.L.Dataflow computers: a tutorial and surveyThe 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 computers1980
492 Gopalakrishnan, GaneshDecomposing the proof of correctness of pipelined microprocessorsWe 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 correctness1998
493 Stringfellow, Gerald B.Deep electron traps in organometallic vapor phase grown AlGaAsDeep 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 performance1980
494 Rahman, AowabinDeep recurrent neural networks for building energy predictionThis 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; Prediction2017-01-13
495 Nguyen, Hoa Thanh; Nguyen, Thanh Hoang; Freire, JulianaDeepPeep: A Form Search EngineWe 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 WadeDeformation embedding for point-based elastoplastic simulationWe 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, JohnDeriving abstract transfer functions for analyzing embedded softwareThis 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, GaneshDeriving efficient cache coherence protocols through refinementWe 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 passing1997
499 Khan, Faisal HabibDeriving new topologies of DC-DC converters featuring basic switching cellsThis 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 converters2006-07
500 Zhang, LixinDescription of functionality of the impulse memory controllerThis document describes the functionality and control flow models for each component of the impulse main memory controller.Impulse memory controller2001
476 - 500 of 1,958