Sciweavers

477 search results - page 56 / 96
» Complexity Considerations, cSAT Problem Lower Bound
Sort
View
SPIRE
2007
Springer
14 years 3 months ago
Generalized LCS
The Longest Common Subsequence (LCS) is a well studied problem, having a wide range of implementations. Its motivation is in comparing strings. It has long been of interest to dev...
Amihood Amir, Tzvika Hartman, Oren Kapah, B. Riva ...
ISAAC
2010
Springer
233views Algorithms» more  ISAAC 2010»
13 years 6 months ago
Computing Sparse Multiples of Polynomials
We consider the problem of finding a sparse multiple of a polynomial. Given f F[x] of degree d, and a desired sparsity t, our goal is to determine if there exists a multiple h F[...
Mark Giesbrecht, Daniel S. Roche, Hrushikesh Tilak
ISPD
1998
ACM
88views Hardware» more  ISPD 1998»
14 years 1 months ago
An efficient technique for device and interconnect optimization in deep submicron designs
In this paper, we formulate a new class of optimization problem, named the general CH-posynomial program, and reveal the general dominance property. We propose an efcient algorith...
Jason Cong, Lei He
WDAG
1999
Springer
88views Algorithms» more  WDAG 1999»
14 years 1 months ago
Generic Broadcast
This short paper establishes lower bounds on the time complexity of algorithms solving the generic broadcast problem. The paper shows that (a) to deliver messages in one round, no...
Fernando Pedone, André Schiper
ICCAD
2010
IEEE
124views Hardware» more  ICCAD 2010»
13 years 6 months ago
Symbolic performance analysis of elastic systems
Elastic systems, either synchronous or asynchronous, can be optimized for the average-case performance when they have units with early evaluation or variable latency. The performan...
Marc Galceran Oms, Jordi Cortadella, Michael Kishi...