Filters: Collection: "ir_uspace"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 176 |
 |
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 |
| 177 |
 |
Stevens, Kenneth | Radiation hardening by design of asynchronous logic for hostile environments | A wide range of emerging applications is driving the development of wireless sensor node technology towards a monolithic system-on-a-chip implementation. Of particular interest are hostile environment scenarios where radiation and thermal extremes exist. Radiation hardening by design has been recogn... | 2009 | |
| 178 |
 |
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 |
| 179 |
 |
Khan, Faisal Habib | Maximum power point tracking of stirling generator and ocean wave energy conversion systems using a two-stage power converter | Wave energy has become one of the most promising renewable energy resources nowadays. By using a linear generator/alternator, the periodic piston motion of the wave energy conversion system (WEC) can be converted to AC voltage with variable RMS amplitude and frequency; this process is comparable to ... | 2013-01-01 | |
| 180 |
 |
Riloff, Ellen M. | Identifying sources of opinions with conditional random fields and extraction patterns | Recent systems have been developed for sentiment classification, opinion recognition, and opinion analysis (e.g., detecting polarity and strength). We pursue another aspect of opinion analysis: identifying the sources of opinions, emotions, and sentiments. We view this problem as an information ext... | Sentiment classification; Opinion recognition; Opinion analysis; Conditional random fields; AutoSlog; Sources of opinions | 2005 |
| 181 |
 |
Balasubramonian, Rajeev | Re-visiting the performance impact of microarchitectural floorplanning | The placement of microarchitectural blocks on a die can significantly impact operating temperature. A floorplan that is optimized for low temperature can negatively impact performance by introducing wire delays between critical pipeline stages. In this paper, we identify subsets of wire delays tha... | Microarchitectural floorplanning; Wire delays; Floorplanning algorithms; Microprocessor operating temperature; Critical loops; Pipelines | 2006 |
| 182 |
 |
Gopalakrishnan, Ganesh | Peephole optimization of asynchronous networks through process composition and burst-mode machine generation | In this paper, we discuss the problem of improving the efficiency of macromodule networks generated through asynchronous high level synthesis. We compose the behaviors of the modules in the sub-network being optimized using Dill's trace-theoretic operators to get a single behavioral description for ... | Peephole optimization; Macromodule networks; Process composition; Burst-mode | 1993 |
| 183 |
 |
Myers, Chris J. | Synchronous interlocked pipelines | In a circuit environment that is becoming increasingly sensitive to dynamic power dissipation and noise, and where cycle time available for control decisions continues to decrease, locality principles are becoming paramount in controlling advancement of data through pipelined systems. Achieving fine... | 2002 | |
| 184 |
 |
Mattis, Daniel C. | Soluble Ising model in 2+1/N dimensions and XY model in 1+1/N dimensions | The XY model is exactly soluble on a comblike structure, by means of a modified Jordan-Wigner transformation. This method is used to reduce the transfer matrix of the Ising model, on planes which are joined to each other at one edge, to a soluble canonical form. | Jordan-Wigner transformation | 1979-07 |
| 185 |
 |
Kieda, David B. | Antarctic impulsive transient antenna (ANITA) instrumentation | We will report on the details of the ANITA instrument. This instrument is fundamentally a broadband antenna, which is arrayed and constructed in such a way as to be optimized for the detection and characterization of high-energy neutrino cascades [1]. The requirement to maximize the detector view of... | ANITA; Antarctic Impulsive Transient Antenna; Neutrino; Balloon; Antarctica | 2003 |
| 186 |
 |
Lupton, John Mark | Intrinsic room-temperature electrophosphorescence from a π-conjugated polymer | Electrically induced phosphorescence from a poly(para-phenylene) ladder-type polymer is observed for the first time and characterized using time resolved spectroscopy. Short-lived phosphorescence is also observed in gated fluorescence spectra and is found to be quenched reversibly by oxygen. Therm... | pi-conjugated polymers; Electrophosphorescence; Ladder-type polymer; Gated fluorescence spectra | 2002-09 |
| 187 |
 |
Harrison, Reid R. | Power, clock, and data recovery in a wireless neural recording device | For many medical applications, neural recording systems should be fully implantable. Transcutaneous wires must be compleley eliminated, and this necessitates the wireless transfer of power, clock and configuration data to the device. We have developed, fabricated, and tested cirucits that recover po... | 2006 | |
| 188 |
 |
Stevens, Kenneth | Relative timing based verification of timed circuits and systems | Aggressive timed circuits, including synchronous and asynchronous self-resetting circuits, are particularly challenging to design and verify due to complicated timing constraints that must hold to ensure correct operation. Identifying a small, sufficient, and easily verifiable set of relative timin... | 2002 | |
| 189 |
 |
Myers, Chris J. | Timed event/level structures | This paper presents timed event/level(TEL) structures, an extension to timed event-rule structures, which allows the general use of signal levels and timing in the specification of an asynchronous circuit. TEL structures can express true OR causality, as well as language constructs that are very dif... | 1997 | |
| 190 |
 |
Mishchenko, Eugene | Zero-bias anomaly in two-dimensional electron layers and multiwall nanotubes | The zero-bias anomaly in the dependence of the tunneling density of states n (e) on the energy e of the tunneling particle for two- and one-dimensional multilayered structures is studied. We show that for a ballistic two-dimensional (2D) system the first-order interaction correction to density of s... | Spin-orbit coupling; Coulomb interaction | 2002-05 |
| 191 |
 |
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 |
| 192 |
 |
Gardner, Reed M. | Eight-Channel Data Set for Clincal EEG Transmission Over Dial-Up Telephone Network | Biomedical Informatics | 1974 | |
| 193 |
 |
Guiora, Amos N. | The Gate Keepers: Geopolitics and the Limits of Power | The Gate Keepers: Geopolitics and the Limits of Power | 2013-03 | |
| 194 |
 |
Carter, Tony M. | ASSASSIN : a CAD system for self-timed control-unit design | Many software systems exist for automatically implementing synchronous state machines . Presented is this paper is a software system -- ASSASSIN -- for the design and automatic layout of self-timed (or speed- independent) control units as integrated circuit modules. | ASSASSIN; Self-timed control units | 1982 |
| 195 |
 |
Smith, Kent F. | PPL quick reference guide (NMOS) | 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. | NMOS | 1986 |
| 196 |
 |
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 |
| 197 |
 |
Malloy, Thomas E. | Steps to an ecology of emergence | To begin to take steps to a mental ecology of emergence we first establish two fundamental assumptions from the methodology of transformational grammar-the centrality of human judgment based on direct experience and the proposition that the systematic nature of human behavior is algorithmically dri... | Emergence; Perceptual Categories; Dynamic Constancy; Hierarchies; Boolean Models; Epistemology; Knowledge; Bateson; Kauffman | 2005 |
| 198 |
 |
Brunvand, Erik L. | Self-timed design with dynamic domino circuits | We introduce a simple hierarchical design technique for building high-performance self-timed components using dynamic domino-style circuits. This technique is useful for building handshaking style functional blocks and for self-timed data path components. We wrap the dynamic domino circuit in a wra... | 2003 | |
| 199 |
 |
Gopalakrishnan, Ganesh | psolve: Deciding satisfiability for presburger formulae using automata, rewriting and a model checker | Presburger formulas are an expressive but decidable language of arithmetic expressions and boolaen connectives with quantification. psolve is a prototype of an automata based tool for deciding the satisfiability of Presburger formulae extended with a predicate that recognizes powers of two. The uniq... | psolve; Presburger formulas; Satisfiability; Automata; Rewriting; Model checker | 1999 |
| 200 |
 |
Khan, Faisal Habib | Reliability analysis and performance degradation of a boost converter | In general, power converters are being operated in closed-loop systems, and any characteristic variations in one component will simultaneously alter the operating point of other components resulting in a shift in overall reliability profile. This interdependence makes the reliability of a converter ... | 2013-01-01 |