|
|
Creator | Title | Description | Subject | Date |
1 |
|
Mathews, V. John | Sufficient stability bounds for slowly varying direct-form recursive linear filters and their applications in adaptive IIR filters | Abstract-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, Kenneth | Modelling mixed 4phase pipelines: structures and patterns | This 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, Ganesh | A symbolic partial order reduction algorithm for rule based transition systems | Partial 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 systems | 2003-12-01 |
4 |
|
Mathews, V. John | Tracking analysis of the sign algorithm in nonstationary environments | 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-absolute erro... | | 1990 |
5 |
|
Mathews, V. John | Tracking analysis of the sign algorithm in nonstationary environments | Abstract-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. John | Orthogonalization of correlated gaussian signals for volterra system identification | This 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. John | Efficient FIR adaptive filter using DPCM and the sign algorithm | This 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, Jun | Fast structured design of VLSI circuits | We 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 implementation | 1988 |
9 |
|
Gopalakrishnan, Ganesh | A correctness criterion for asynchronous circuit validation and optimization | We 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; Optimization | 1992 |
10 |
|
Mathews, V. John | Fast recursive least squares adaptive second-order volterra filter and its performance analysis | Abstract-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 Thompson | Design and implementation of a relational data base system for a minicomputer | A 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 system | 1977 |
12 |
|
Mathews, V. John | Blind identification of bilinear systems | Abstract-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. John | Detection and estimation with fixed lag for abruptly changing systems | The 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. John | Pilot embedding for channel estimation and tracking in OFDM systems | Abstract-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 optimization | In 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 validation | 1992 |
16 |
|
Myers, Chris J. | A compositional minimization approach for large asynchronous design verification | This 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, Ganesh | A partial order reduction algorithm without the Proviso | This 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 step | 1998 |
18 |
|
Shirley, Peter S. | Natural image statistics for computer graphics | The 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 image | 2001 |
19 |
|
Stevens, Kenneth | Relative timing | Relative 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, David | Display of complex three dimensional finite element models | Complex 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 models | 1978 |
21 |
|
Regehr, John | Finding and understanding bugs in C compilers | Compilers 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, Kenneth | Characterization of asynchronous templates for integration into clocked CAD flows | Asynchronous 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 inheritance | We 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 inheritance | 1995 |
24 |
|
Painter, James S. | Radioptimization - Goal based rendering | This 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 synthesis | 1993 |
25 |
|
Stevens, Kenneth | Relative timing | Abstract-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 |