1201 search results - page 3 / 241 » Exact Analysis of Exact Change |
140
Voted
SAS
1997
Springer
15 years 7 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
145
Voted
DAC
2004
ACM
15 years 9 months ago
2004
ACM
—This paper proposes a novel approach to the exact symbolic analysis of very large analog circuits. The new method is based on determinant decision diagrams (DDDs) representing s...
130
Voted
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
of a direct implementation of this criterion. This paper presents the first critical path finding tool based on the exact criterion. It offers therefore better results in compariso...
113
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Exact bit error probabilities (BEP) are derived in closed form for pulsed binary direct sequence ultra-wideband (DS-UWB) multiple access systems in flat Nakagami fading channe...
131
Voted
COMPGEOM
2008
ACM
15 years 5 months ago
2008
ACM
We present a method to compute the exact topology of a real algebraic surface S, implicitly given by a polynomial f