4307 search results - page 321 / 862 » Dynamic Spyware Analysis |
113
click to vote
WSC
2004
15 years 5 months ago
2004
We summarize the results of an experimental performance evaluation of using an empirical histogram to approximate the steady-state distribution of the underlying stochastic proces...
142
click to vote
AI
2008
Springer
15 years 3 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
122
click to vote
BC
2005
15 years 3 months ago
2005
We describe a simple but general method to analyze networks of coupled identical nonlinear oscillators, and study applications to fast synchronization, locomotion, and schooling. ...
127
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Recent progress in EDA tools allows IC designs to be accurately verified with consequent improvements in yield and performance through reduced guard bands. This paper will present...
113
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— In this paper, we consider the sampled-data problem of interconnected systems, specifically, time- and spaceinvariant systems. Our main contribution is to provide suf...