453 search results - page 55 / 91 » Using Symbolic Simulation for Bounded Property Checking |
ATAL
2009
Springer
15 years 6 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...
100
click to vote
FMCAD
2004
Springer
15 years 3 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...
NSDI
2007
15 years 2 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...
WCE
2007
15 years 29 days 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 ...
ICASSP
2011
IEEE
14 years 3 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...