3820 search results - page 386 / 764 » Bounded Model Debugging |
154
click to vote
EWSN
2006
Springer
16 years 4 months ago
2006
Springer
In this paper, we present a method for approximating the values of sensors in a wireless sensor network based on time series forecasting. More specifically, our approach relies on ...
157
click to vote
ASAP
2009
IEEE
16 years 1 months ago
2009
IEEE
—Molecular dynamics simulation based on discrete event simulation (DMD) is emerging as an alternative to time-step driven molecular dynamics (MD). DMD uses simplified discretize...
143
click to vote
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
Based on a timing yield model, a statistical static timing analysis technique is proposed. This technique preserves existing methodology by selecting a “device file setting” ...
122
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we present an enhanced cryptanalysis of the Substitution Cipher Chaining mode (SCC) [1]. In [2], SCC-128 (SCC which uses AES with 128-bit key) was broken using 5 att...
135
click to vote
CRYPTO
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We show that only languages in BPP have public-coin, blackbox zero-knowledge protocols that are secure under an unbounded (polynomial) number of parallel repetitions. Thi...