184 search results - page 7 / 37 » FROST: Revisited and Distributed |
159
click to vote
FORMATS
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
173
click to vote
ISORC
2005
IEEE
15 years 11 months ago
2005
IEEE
Distributed Real-Time Embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middl...
176
click to vote
APPROX
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. A fundamental goal of computational complexity (and foundations of cryptography) is to find a polynomial-time samplable distribution (e.g., the uniform distribution) and...
135
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The problem of guessing a random string is revisited and some prior results on guessing exponents are re-derived using the theory of large deviations. It is shown that if the seque...
142
click to vote
EVOW
2010
Springer
16 years 17 days ago
2010
Springer
Abstract. We revisit Gaussian Adaptation (GaA), a black-box optimizer for discrete and continuous problems that has been developed in the late 1960’s. This largely neglected sear...