453 search results - page 55 / 91 » Using Symbolic Simulation for Bounded Property Checking |
179
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper argues that the agent-based simulation approach is just the one appropriate to the social sciences (including economics). Although there were many predecessor approache...
166
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
160
click to vote
NSDI
2007
15 years 8 months ago
2007
Despite many efforts, the predominant practice of debugging a distributed system is still printf-based log mining, which is both tedious and error-prone. In this paper, we present...
166
click to vote
WCE
2007
15 years 7 months ago
2007
—In this paper, we analyze the bounds of the fixed common step-size parameter GMDFµ for the generalized multidelay adaptive filter (GMDF). Frequency domain adaptive filters are ...
172
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
— This paper proposes an efficient blind deterministic carrier frequency offset (CFO) estimation method for orthogonal frequency division multiplexing (OFDM) systems. In the pro...