|
|
Creator | Title | Description | Subject | Date |
226 |
 | Stringfellow, Gerald B. | Sb enhancement of lateral superlattice formation in GaInP | Epitaxial layers of GaInP were grown by organometallic vapor phase epitaxy with small amounts of TESb added to control the surface bonding. Above a concentration of Sb/III(v)=0.016, 12 K photoluminescence measurements show that the band gap is reduced, as compared to completely disordered GaInP, by ... | Tin; Epitaxy; Photoluminescence | 2001 |
227 |
 | Mathews, V. John | Blind identification of bilinear systems | Abstract This paper is concerned with the blind identification of bilinear systems excited by higher-order white noise. Unlike prior work that restricted the bilinear system model to simple forms and required the excitation to be Gaussian distributed, the results of this paper are applicable to a m... | | 2001 |
228 |
 | Myers, Chris J. | Efficient exact two-level hazard-free logic minimization | Abstract This paper presents a new approach to two-level hazard-free sum-of-products logic minimization. No currently available minimizers for single-output literal-exact two-level hazard-free logic minimization can handle large circuits without synthesis times ranging up over thousands of seconds.... | | 2001 |
229 |
 | Stringfellow, Gerald B. | Kinetics of Te doping in disordering GaInP grown by organometallic vapor phase epitaxy | Te-doped GaInP epitaxial layers were grown by organometallic vapor phase epitaxy in an effort to clarify the Te disordering mechanism. CuPt ordered GaInP is produced under normal growth conditions. The addition of Te has been reported to induce disorder. One suggested mechanism for disordering GaInP... | Crystal growth; Epitaxy; Dynamics | 2001 |
230 |
 | Myers, Chris J. | Framework of timed trace theoretic verification revisited | This 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 |
231 |
 | Harrison, Reid R. | CMOS programmable analog memory-cell array using floating-gate circuits | The 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 circuit | 2001-01 |
232 |
 | Furse, Cynthia M.; Cherkaev, Elena A. | Cross-borehole delineation of a conductive ore deposit in a resistive host-experimental design | The 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 host | 2001-01-01 |
233 |
 | Furse, Cynthia M. | Down to the wire | As 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 systems | 2001-01-01 |
234 |
 | Harrison, Reid R.; Myers, Chris J.; Schlegel, Christian | Analog decoding of product codes | A 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 |
 | Tasdizen, Tolga; Whitaker, Ross T. | Geometric surface smoothing via anisotropic diffusion of normals | This 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 |
236 |
 | Mathews, V. John; Clark, Edward B. | Reconstruction of maximum blood velocity waveforms from doppler ultrasound measurements | Absfauct -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 |
237 |
 | Mathews, V. John; Dubow, Joel | A stable adaptive Hammerstein filter employing partial orthogonalization of the input signals | Abstract 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 |
238 |
 | Harrison, Reid R.; Myers, Chris J.; Schlegel, Christian | Analog decoding of product codes | 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 to implement th... | | 2002 |
239 |
 | Harrison, Reid R. | Phonotaxis in crickets and robots | Over 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... | Phonotaxis | 2002 |
240 |
 | Mathews, V. John; Clark, Edward B. | Mean frequency estimation of narrowband signals and its application to doppler ultrasound blood velocity waveform estimation | ABSTRACT 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 |
241 |
 | 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 |
242 |
 | Stevens, Kenneth | Lazy transition systems and asynchronous circuit synthesis with relative timing assumptions | This 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 |
243 |
 | Myers, Chris J. | Automatic derivation of timing constraints by failure analyis | Abstract. 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 |
244 |
 | Harrison, Reid R.; Myers, Chris J.; Schlegel, Christian | Cell library for automatic synthesis of analog error control decoders | This 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 |
245 |
 | Myers, Chris J.; Harrison, Reid R.; Schlegel, Christian | Cell library for automatic synthesis of analog error control decoders | This 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 |
246 |
 | 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 |
247 |
 | Stringfellow, Gerald B. | Influence of Sb, Bi, Tl, and B on the incorporation of N in GaAs | GaAs: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; Nitrogen | 2002 |
248 |
 | Harrison, Reid R. | Fly-inspired VLSI vision sensors | Engineers 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 |
249 |
 | Myers, Chris J.; Harrison, Reid R.; Schlegel, Christian | Analog decoding of product codes | Abstract - 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 |
250 |
 | Myers, Chris J. | Level oriented formal model for asynchronous circuit verification and its efficient analysis method | Using 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 |