1689 search results - page 208 / 338 » Refining abstract interpretations |
141
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- Identification of output error models from frequency domain data generally results in a non-convex optimization problem. A well-known method to approach the output error...
137
click to vote
MOC
2010
14 years 11 months ago
2010
Abstract. We prove pointwise a posteriori error estimates for semi- and fullydiscrete finite element methods for approximating the solution u to a parabolic model problem. Our esti...
139
click to vote
TSP
2010
14 years 11 months ago
2010
Abstract--Frequency hopping (FH) signals have well-documented merits for commercial and military applications due to their near-far resistance and robustness to jamming. Estimating...
143
click to vote
VLSID
2007
IEEE
16 years 4 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
254
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...