Search Results - "Mathematics of computing Mathematical analysis Numerical analysis Computations on polynomials"

Monomial size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus by Hakoniemi, Tuomas

“…In this paper we consider the relationship between monomial-size and bit-complexity in Sums-of-Squares (SOS) in Polynomial Calculus Resolution over rationals…”
Get full text

Time-Domain Simulation of Sampled Weakly Nonlinear Systems Using Analytical Integration and Orthogonal Polynomial Series by Martens, Ewout, Gielen, Georges

“…This paper presents a novel method for simulation of sampled systems with weakly nonlinear behavior. These systems can be characterized by adding weakly…”
Get full text

Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations by Yevtushenko, Nina, Villa, Tiziano, Brayton, Robert K., Petrenko, Alex, Sangiovanni-Vincentelli, Alberto L.

“…Given a plant MA and a specification MC, the largest solution of the FSM equation M_X\bullet M_A\leqslant M_Ccontains all possible discrete controllers MX…”
Get full text

Polynomial methods for component matching and verification by Smith, James, De Micheli, Giovanni

“…Component reuse requires designers to determine whether or not an existing component implements desired functionality. If a common structure is used to…”
Get full text

Adjustable Width Linear Combinational Scan Vector Decompression by Krishna, C. V., Touba, Nur A.

“…A new scheme for combinational linear expansion isproposed for decompression of scan vectors. It has thecapability to adjust the width of the linear expansion…”
Get full text

Constructing multi-point discrete event integration schemes by Nutaro, James

“…The systematic study of discrete event numerical integration schemes can be greatly aided by an understanding of their general form. This paper describes the…”
Get full text

Efficient circuit-level modelling of ballistic CNT using piecewise non-linear approximation of mobile charge density by Kazmierski, Tom J, Zhou, Dafeng, Al-Hashimi, Bashir M

“…This paper presents a new carbon nanotube transistor (CNT) modelling technique which is based on an efficient numerical piece-wise non-linear approximation of…”
Get full text

Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits by Raudvere, Tarvo, Singh, Ashish Kumar, Sander, Ingo, Jantsch, Axel

“…Todays integrated circuits with increasing complexity cause the well known state space explosion problem in verification tools. In order to handle this problem…”
Get full text

S-parameter based macro model of distributed-lumped networks using exponentially decayed polynomial function by Liao, Haifang, Dai, Wayne Wei-Ming, Wang, Rui, Chang, Fung-Yuel

Get full text

A new time-domain macromodel for transient simulation of uniform/nonuniform multiconductor transmission-line interconnections by Haque, Monjurul, El-Zein, Ali, Chowdhury, S.

“…A rational-function hybrid-parameter model for general multiconductor transmission lines is derived from a spectralmethod solution of the telegrapher…”
Get full text

A New Surface Integral Formulation For Wideband Impedance Extraction of 3-D Structures by Song, Ben, Zhu, Zhenhai, Rockway, John D., White, Jacob

“…Detailed electromagnetic analysis of three-dimensional structures in multi-layereddielectric media is critical for automatic generation of equivalentcircuit…”
Get full text

Exact and approximate task assignment algorithms for pipelined software synthesis by Hashemi, Matin, Ghiasi, Soheil

“…Pipelined execution of streaming applications enable processing of high-throughput data under performance constraint. We present an integrated approach to…”
Get full text

Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra by Shekhar, N., Kalla, P., Enescu, F., Gopalakrishnan, S.

“…This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapath-oriented designs that implement polynomial…”
Get full text

Explicit formulas and efficient algorithm for moment computation of coupled RC trees with lumped and distributed elements by Yu, Q., Kuh, E.

Get full text

Normal bounds for subdivision-surface interference detection by Grinspun, Eitan, Schröder, Peter

“…Subdivision surfaces are an attractive representation when modeling arbitrary topology free-form surfaces and show great promise for applications in…”
Get full text

A strongly polynomial-time algorithm for over-constraint resolution: efficient debugging of timing constraint violations by Dasdan, Ali

“…A system of binary linear constraints or difference constraints (SDC) contains a set of variables that are constrained by a set of unary or binary linear…”
Get full text

Bivariate Simplex B-Splines: A New Paradigm by Neamtu, Marian

“…A construction of bivariate splines is described, based on a new concept of higher degree Delaunay configurations. The crux of this construction is that…”
Get full text

The Chebyshev expansion based passive model for distributed interconnect networks by Wang, Janet M., Kuh, Ernest S., Yu, Qingjian

“…A new Chebyshev expansion based model for distributed interconnect networks is presented in this paper. Unlike the moment methods, this new model is optimal…”
Get full text

Efficient prime factorization of logic expressions by McGeer, P. C., Brayton, R. K.

“…The set of multivariate Boolean functions over the variables 1 ..., m is considered as the set of multilinear polynomials with coefficients in [0,1] over the…”
Get full text

Low-power adaptive filter architectures via strength reduction by Goel, M., Shanbhag, N.

Get full text