Sciweavers

1204 search results - page 59 / 241
» Termination of Polynomial Programs
Sort
View
SIAMJO
2010
112views more  SIAMJO 2010»
14 years 7 months ago
A Semidefinite Relaxation Scheme for Multivariate Quartic Polynomial Optimization with Quadratic Constraints
We present a general semidefinite relaxation scheme for general n-variate quartic polynomial optimization under homogeneous quadratic constraints. Unlike the existing sum-of-squar...
Zhi-Quan Luo, Shuzhong Zhang
IPL
2008
118views more  IPL 2008»
15 years 18 days ago
Slicing for modern program structures: a theory for eliminating irrelevant loops
Slicing is a program transformation technique with numerous applications, as it allows the user to focus on the parts of a program that are relevant for a given purpose. Ideally, ...
Torben Amtoft
85
Voted
ICCAD
1996
IEEE
106views Hardware» more  ICCAD 1996»
15 years 4 months ago
A general dispersive multiconductor transmission line model for interconnect simulation in SPICE
Although numerous methods have been proposed for interconnect simulation, no single model exists for all kind of transmission line problems. This paper presents a new, single, gen...
Mustafa Celik, Andreas C. Cangellaris
ANTS
2010
Springer
260views Algorithms» more  ANTS 2010»
15 years 4 months ago
On the Complexity of the Montes Ideal Factorization Algorithm
Let p be a rational prime and let Φ(X) be a monic irreducible polynomial in Z[X], with nΦ = deg Φ and δΦ = vp(disc Φ). In [13] Montes describes an algorithm for the decomposi...
David Ford, Olga Veres
87
Voted
CORR
2010
Springer
95views Education» more  CORR 2010»
15 years 20 days ago
A lower bound for the tree-width of planar graphs with vital linkages
The disjoint paths problem asks, given an graph G and k + 1 pairs of terminals (s0, t0), . . . , (sk, tk), whether there are k + 1 pairwise disjoint paths P0, . . . , Pk, such tha...
Isolde Adler, Philipp Klaus Krause