971 search results - page 97 / 195 » Approximate Satisfiability and Equivalence |
141
click to vote
WEA
2005
Springer
15 years 12 months ago
2005
Springer
We present the problem of statically distributing instructions of a common programming language, a problem which we prove equivalent to the multiterminal cut problem. We design eļ¬...
144
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
While fast timing analysis methods, such as asymptotic waveform evaluation (AWE), have been well established for linear circuits, the timing analysis for non-linear circuits, whic...
156
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
- In this paper, new formulations for the energy dissipation of lossy transmission lines driven by CMOS inverters are provided. These formulations are obtained using an approximate...
153
click to vote
CIAC
2010
Springer
15 years 11 months ago
2010
Springer
A weighted sequence is a string in which a set of characters may appear at each position with respective probabilities of occurrence. A common task is to locate a given motif in a ...
171
click to vote
ANTS
2000
Springer
15 years 10 months ago
2000
Springer
This paper analyzes reduction of fractional ideals in a purely cubic function ļ¬eld of unit rank one. The algorithm is used for generating all the reduced principal fractional ide...