226 - 250 of 577
Number of results to display per page
CreatorTitleDescriptionSubjectDate
226 Myers, Chris J.; Schlegel, ChristianAnalog MAP decoder for (8, 4) hamming code in subthreshold CMOSAbstract - An all-MOS analog tail-biting MAP decoder is presented for an (8,4) Hamming code. The decoder implements a probability propagation algorithm using subthreshold CMOS networks. Physical results verify the expected behavior of the decoderand demonstrate robustness of analog decoding circuit...2001
227 Myers, Chris J.Framework of timed trace theoretic verification revisitedThis paper develops a framework to support trace theoretic verification of timed circuits and systems. A theoretical foundation for classifying timed traces as either successes or failures is developed. The concept of the semimirror is introduced to allow conformance checking thus supporting hierarc...2001
228 Myers, Chris J.Timed circuits: a new paradigm for high-speed designAbstract| In order to continue to produce circuits of increasing speeds, designers must consider aggressive circuit design styles such as self-resetting or delayed-reset domino circuits used in IBM's gigahertz processor (GUTS) and asynchronous circuits used in Intel's RAPPID instruction length de...2001
229 Stringfellow, Gerald B.; Shurtleff, James KevinSurfactant effects on doping of GaAs grown by organometallic vapor phase epitaxyRecently, the addition of the isoelectronic surfactant Sb during organometallic vapor phase epitaxy (OMVPE) of GaInP was shown to eliminate ordering, resulting in a significant change in the band gap energy. These results suggest that surfactants added during growth could have profound affects on ot...Gallium arsenide; Surfactants; Semiconductors2001
230 Stevens, Kenneth; Myers, Chris J.An asynchronous instruction length decoderThis paper describes an investigation of potential advantages and pitfalls of applying an asynchronous design methodology to an advanced microprocessor architecture. A prototype complex instruction set length decoding and steering unit was implemented using self-timed circuits. [The Revolving Async...2001
231 Harrison, Reid R.CMOS programmable analog memory-cell array using floating-gate circuitsThe complexity of analog VLSI systems is often limited by the number of pins on a chip rather than by the die area. Currently, many analog parameters and biases are stored off-chip. Moving parameter storage on-chip could save pins and allow us to create complex programmable analog systems. In this ...Computer chips; VLSI; Computer memory; Potentiometers; CMOS circuits; Floating gate circuit2001-01
232 Furse, Cynthia M.; Cherkaev, Elena A.Cross-borehole delineation of a conductive ore deposit in a resistive host-experimental designThe finite-difference time-domain method is used for high-resolution full-wave analysis of cross-borehole electromagnetic surveys of buried nickel sulfide deposits. The method is validated against analytical methods for simple cases, but is shown to be a valuable tool for analysis of complicated ...Finite-difference time-domain; FDTD; Cross-borehole; Electromagnetic surveys; Nickel sulfide deposits; Conductive ores; Resistive host2001-01-01
233 Furse, Cynthia M.Down to the wireAs today's military and commercial aircraft age past their teen years, the many kilometers of wiring buried deep within their structures begin to crack and fray. Once thought to be rare and benign, such faults are found by the hundreds in a typical aircraft. Unlike obvious cracks in a wing or an e...Aging wiring; Wire fault location; Aging wire detection; Smart wire systems2001-01-01
234 Harrison, Reid R.; Myers, Chris J.; Schlegel, ChristianAnalog decoding of product codesA design approach is presented for soft-decision decoding of block product codes ("block turbo codes") using analog computation with MOS devices. Application of analog decoding to large code sizes is also considered with the introduction of serial analog interfaces and pipeline schedules.2001-01-11
235 Myers, Chris J.; Harrison, Reid R.; Schlegel, ChristianCell library for automatic synthesis of analog error control decodersThis paper presents a cell library for automatic synthesis of analog error control decoders. By using some basic cells, analog ermr control decoders can be automatically synthesized. Also, using automatic synthesis based on this cell library, the circuit performance is not degraded and the circuit i...2002
236 Harrison, Reid R.; Myers, Chris J.; Schlegel, ChristianCell library for automatic synthesis of analog error control decodersThis paper presents a cell library for automatic synthesis of analog error control decoders. By using some basic cells, analog ermr control decoders can be automatically synthesized. Also, using automatic synthesis based on this cell library, the circuit performance is not degraded and the circuit i...2002
237 Myers, Chris J.Synchronous interlocked pipelinesIn 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
238 Myers, Chris J.Automatic derivation of timing constraints by failure analyisAbstract. This work proposes a technique to automatically obtain timing constraints for a given timed circuit to operate correctly. A designated set of delay parameters of a circuit are first set to sufficiently large bounds, and verification runs followed by failure analysis are repeated. Each ver...2002
239 Myers, Chris J.Level oriented formal model for asynchronous circuit verification and its efficient analysis methodUsing a level-oriented model for verification of asynchronous circuits helps users to easily construct formal models with high readability or to naturally model datapath circuits. On the other hand, in order to use such a model on large circuits, techniques to avoid the state explosion problem must ...2002
240 Tasdizen, Tolga; Whitaker, Ross T.Geometric surface smoothing via anisotropic diffusion of normalsThis paper introduces a method for smoothing complex, noisy surfaces, while preserving (and enhancing) sharp, geometric features. It has two main advantages over previous approaches to feature preserving surface smoothing. First is the use of level set surface models, which allows us to process ver...2002
241 Mathews, V. John; Dubow, JoelA stable adaptive Hammerstein filter employing partial orthogonalization of the input signalsAbstract This paper presents an algorithm that adapts the parameters of a Hammerstein system model. Hammerstein systems are nonlinear systems that contain a static nonlinearity cascaded with a linear system. In this work, the static nonlinearity is modeled using a polynomial system and the linear f...2002
242 Harrison, Reid R.Fly-inspired VLSI vision sensorsEngineers have long looked to nature for inspiration. The diversity of life produced by five billion years of evolution provides countless existence proofs of organic machines with abilities that far surpass those of our own relatively crude automata. We have learned how to harness large amounts of ...2002
243 Myers, Chris J.; Harrison, Reid R.; Schlegel, ChristianAnalog decoding of product codesAbstract - A method is presented for analog softdecision decoding of block product codes (block turbo codes). Extrinsic information is exchanged as analog signals between component row and column decoders. The component MAP decoders use low-power analog computation in subthreshold CMOS circuits t...2002
244 Stevens, KennethRelative timing based verification of timed circuits and systemsAggressive 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
245 Stevens, KennethLazy transition systems and asynchronous circuit synthesis with relative timing assumptionsThis paper presents a design flow for timed asynchronous circuits. It introduces lazy transitions systems as a new computational model to represent the timing information required for synthesis. The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a tr...2002
246 Stringfellow, Gerald B.Influence of Sb, Bi, Tl, and B on the incorporation of N in GaAsGaAs:N is an interesting material for many devices due to its unique compositional variation of band gap. Small amounts of N lead to a strong decrease in band gap energy as well as lattice constant. The further addition of In or Sb leads to quaternary alloys with band gap energies below 1.4 eV latti...Antimony; Gallium Arsenide; Nitrogen2002
247 Mathews, V. John; Clark, Edward B.Reconstruction of maximum blood velocity waveforms from doppler ultrasound measurementsAbsfauct -This paper presents a novel algorithm for the extraction of maximum blood flow velocity waveform from Doppler measurements. This method is based on the short-term integrated spectrum of the Doppler signal, and does not require a pre-selected threshold level to deal with the background nois...2002
248 Harrison, Reid R.; Myers, Chris J.; Schlegel, ChristianAnalog decoding of product codesA method is presented for analog softdecision decoding of block product codes (block turbo codes). Extrinsic information is exchanged as analog signals between component row and column decoders. The component MAP decoders use low-power analog computation in subthreshold CMOS circuits to implement th...2002
249 Mathews, V. John; Clark, Edward B.Mean frequency estimation of narrowband signals and its application to doppler ultrasound blood velocity waveform estimationABSTRACT Many applications involving Doppler signals require the accurate estimation of the power-weighted mean frequency over short durations of the signal due to it's nonstationarity. This paper presents a novel algorithm for estimating mean frequencies using the eigenstructure of the covariance ...2002
250 Harrison, Reid R.Phonotaxis in crickets and robotsOver the past decade, we have built and tested several robot models to investigate a particular biological behavior, the sound localizing (phonotaxis) ability of the cricket. This work has had several purposes. One is to develop robotic technology, such as novel sensors and control systems, by copyi...Phonotaxis2002
226 - 250 of 577