2027 search results - page 45 / 406 » Approximating power indices |
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
In this paper we present an ecient technique to reduce the switching activity in a CMOS combinational logic network based on local logic transformations. These transformations con...
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
The Gaussian approximation is known to be quite accurate for estimating the system performance of an optically pre–amplified on-off keying (OOK) system in the presence of multipl...
CADE
2001
Springer
15 years 4 months ago
2001
Springer
The dependency pair method of Arts and Giesl is the most powerful technique for proving termination of term rewrite systems automatically. We show that the method can be improved b...
113
click to vote
WAOA
2010
Springer
14 years 9 months ago
2010
Springer
The r-domination search game on graphs is a game-theoretical approach to several graph and hypergraph parameters including treewidth and hypertree width. The task is to identify t...
104
click to vote
TC
2011
14 years 6 months ago
2011
Abstract—The fused multiply accumulate-add (FMA) instruction, specified by the IEEE 754-2008 Standard for Floating-Point Arithmetic, eases some calculations, and is already avai...