3820 search results - page 563 / 764 » Bounded Model Debugging |
145
click to vote
CRYPTO
2007
Springer
15 years 9 months ago
2007
Springer
Round complexity is a central measure of efficiency, and characterizing the round complexity of various cryptographic tasks is of both theoretical and practical importance. We show...
DNA
2007
Springer
15 years 9 months ago
2007
Springer
We introduce staged self-assembly of Wang tiles, where tiles can be added dynamically in sequence and where intermediate constructions can be stored for later mixing. This model a...
110
click to vote
EUROCRYPT
2007
Springer
15 years 9 months ago
2007
Springer
We study conditional computational entropy: the amount of randomness a distribution appears to have to a computationally bounded observer who is given some correlated information....
101
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
IPCCC
2006
IEEE
15 years 9 months ago
2006
IEEE
A number of works have focused on the mean delay performance of IEEE 802.11 [1]. The main contribution of this paper is that it provides a method to obtain the full distribution o...