UScholar Works
 
Filters: School Or College: "College of Engineering" Collection: "ir_uspace"
1 - 25 of 31
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Mathews, V. JohnSufficient stability bounds for slowly varying direct-form recursive linear filters and their applications in adaptive IIR filtersAbstract-This correspondence derives a sufficient time-varying bound on the maximum variation of the coefficients of an exponentially stable time-varying direct-form homogeneous linear recursive filter. The stability bound is less conservative than all previously derived bounds for time-varying IIR ...1999
2 Stevens, KennethModelling mixed 4phase pipelines: structures and patternsThis paper presents an exploration of the design space for homogeneous and mixed 4phase asynchronous linear pipelines. We extend previously published results by uncovering their complete ordered design space, demonstrate relationships between the latter's governing lattice structures, tabulating the...2014-01-01
3 Gopalakrishnan, GaneshA symbolic partial order reduction algorithm for rule based transition systemsPartial order reductions are a class of methods that attempt to reduce the state space that must be explored to verify systems by explicit state enumeration. Partial order reduction algorithms have been successfully incorporated into tools such as Spin and VFSM-valid. However, current partial ord...Partial order reductions; Partial order reduction algorithms; SAT solver; Rule based transition systems2003-12-01
4 Mathews, V. JohnTracking analysis of the sign algorithm in nonstationary environmentsThis paper presents a tracking analysis of the adaptive filters equipped with the sign algorithm and operating in nonstationary environments. Under the assumption that the nonstationarity can be modeled using a random disturbance, it is shown that the long-term time average of the mean-absolute erro...1990
5 Mathews, V. JohnTracking analysis of the sign algorithm in nonstationary environmentsAbstract-This paper presents a tracking analysis of the adaptive filters equipped with the sign algorithm and operating in nonstationary environments. Under the assumption that the nonstationarity can be modeled using a random disturbance, it is shown that the long-term time average of the mean-abso...1990
6 Mathews, V. JohnOrthogonalization of correlated gaussian signals for volterra system identificationThis letter presents a simple method for orthogonalizing correlated Gaussian input signals for identification of truncated Volterra systems of arbitrary order of nonlinearity P and memory length N. The procedure requires a Gram-Schmidt orthogonalizer for a vector containing N elements and some nonli...1995
7 Mathews, V. JohnEfficient FIR adaptive filter using DPCM and the sign algorithmThis correspondence introduces an adaptive filter structure that requires zero multiplications for its implementation. The primary input signal is quantized using DPCM, and the DPCM outputs are processed by a conventional adaptive filter. The filter coefficients are updated using the sign algorithm....1989
8 Gu, JunFast structured design of VLSI circuitsWe believe that a structured, user-friendly, cost-effective tool for rapid implementation of VLSI circuits which encourages students to participate directly in research projects are the key components in digital integrated circuit (IC) education. In this paper, we introduce our VLSI education activ...VLSI circuits; Rapid implementation1988
9 Gopalakrishnan, GaneshA correctness criterion for asynchronous circuit validation and optimizationWe propose a new relation C. called strong conformance in the context of Dill's trace theory, and define B Q A to be true exactly when B conforms to A and the success set of B contains the success set of A. When B C. A, module B operated in module A's maximal environment AM (i.e. B || AM) exhibits a...Validation; Optimization1992
10 Mathews, V. JohnFast recursive least squares adaptive second-order volterra filter and its performance analysisAbstract-This paper presents a fast, recursive least squares (RLS) adaptive nonlinear filter. The nonlinearity is modeled using a second-order Volterra series expansion. The structure presented in the paper makes use of the ideas of fast RLS multichannel filters and has a computational complexity of...1993
11 Dintelman, Sue Marie ThompsonDesign and implementation of a relational data base system for a minicomputerA data base system provides the advantages of centralized control of data including increased data independence. Design specifications for a low level relational data base interface are given in the form of a formal description which separates the implementation details from the description of the ...Data base system1977
12 Mathews, V. JohnBlind identification of bilinear systemsAbstract-This paper is concerned with the blind identification of a class of bilinear systems excited by non-Gaussian higher order white noise. The matrix of coefficients of mixed input-output terms of the bilinear system model is assumed to be triangular in this work. Under the additional assumptio...2003
13 Mathews, V. JohnDetection and estimation with fixed lag for abruptly changing systemsThe problem of state estimation and system structure detection for discrete-time stochastic systems with parameters which may switch among a finite set of values is considered. The switchings are modeled by a semi-Markov, or Markov, chain with known transition statistics. A fixed time delay (lag) is...1983
14 Mathews, V. JohnPilot embedding for channel estimation and tracking in OFDM systemsAbstract-We consider the problem of channel estimation and tracking in OFDM systems and explore the idea of adding pilot symbols to the data symbols as a means to conserve bandwidth. The term pilot embedding (PE) is used to refer to this scheme. Compared to the pilot insertion (PI) scheme, i.e., the...2004
15 Brunvand, Erik L.A correctness criterion for asynchronous circuit validation and optimizationIn order to reason about the correctness of asynchronous circuit implementations and specifications, Dill has developed a variant of trace theory [1]. Trace theory describes the behavior of an asynchronous circuit by representing its possible executions as strings called "traces" A useful relatio...Asynchronous circuits; Circuit optimizations; Formal verification of hardware; Trace theory; Asynchronous circuit validation1992
16 Myers, Chris J.A compositional minimization approach for large asynchronous design verificationThis paper presents a compositional minimization approach with efficient state space reductions for verifying non-trivial asynchronous designs. These reductions can result in a reduced model that contains the exact same set of observably equivalent behavior in the original model, therefore no false ...2012-01-01
17 Gopalakrishnan, GaneshA partial order reduction algorithm without the ProvisoThis paper presents a partial order reduction algorithm, called Two phase, that preserves stutter free LTL properties. Two phase dramatically reduces the number of states visited compared to previous partial order reduction algorithms on most practical protocols. The reason can be traced to a step o...Order reduction algorithm; Proviso step1998
18 Shirley, Peter S.Natural image statistics for computer graphicsThe class of all natural images is an infinitely small fraction of all possible images. The structure of natural images can be statistically modeled, revealing striking regularities. The human visual system appears to be optimized to view natural images, as opposed to any possible image, and therefo...Natural image2001
19 Stevens, KennethRelative timingRelative Timing is introduced as an informal method for aggressive asynchronous design. It is demonstrated on three example circuits (C-Element, FIFO, and RAPPID Tag Unit), facilitating transformations from speed-independent circuits to burst-mode, relative timed, and pulse-mode circuits. Relative ...1999
20 Evans, DavidDisplay of complex three dimensional finite element modelsComplex three dimensional models can be displayed after an automatic generation of a finite element (panel) mapping. although this automatic generation algorithm fails at certain levels of model complexity, the elimination of these failures can be accomplished through user interaction. This report p...Three dimensional models; Finite element models1978
21 Regehr, JohnFinding and understanding bugs in C compilersCompilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bugs. During this period we reported more than 325 previously unknown bugs to compiler developers. Every compiler we tested w...2011-01-01
22 Stevens, KennethCharacterization of asynchronous templates for integration into clocked CAD flowsAsynchronous circuit design can result in substantial benefits of reduced power, improved performance, and high modularity. However, asynchronous design styles are largely incompatible with clocked CAD, which has prevented wide-scale adoption. The key incompatibility is timing. Thus most commercial...2009
23 Lindstrom, Gary E.Object-oriented programming in scheme with first-class modules and operator-based inheritanceWe characterize object-oriented programming as structuring and manipulating a uniform space of first-class values representing modules, a distillation of the notion of classes. Operators over modules individually achieve effects such as encapsulation, sharing, and static binding. A variety of idioms...First-class modules; Operator-based inheritance1995
24 Painter, James S.Radioptimization - Goal based renderingThis paper presents a method for designing the illumination in an environment using optimization techniques applied to a radiosity based image synthesis system. An optimization of lighting parameters is performed based on user specified constraints and objectives for the illumination of t h e envir...Radioptimization; Illumination; Optimization; Lighting parameters; Radiosity based image synthesis1993
25 Stevens, KennethRelative timingAbstract-Relative timing (RT) is introduced as a method for asynchronous design. Timing requirements of a circuit are made explicit using relative timing. Timing can be directly added, removed, and optimized using this style. RT synthesis and verification are demonstrated on three example circuits,...2003
1 - 25 of 31