971 search results - page 97 / 195 » Approximate Satisfiability and Equivalence |
82
Voted
WEA
2005
Springer
15 years 6 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ļ¬...
82
Voted
DATE
2003
IEEE
15 years 6 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...
100
Voted
ISCAS
2002
IEEE
15 years 5 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...
CIAC
2010
Springer
15 years 5 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 ...
107
Voted
ANTS
2000
Springer
15 years 5 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...