9067 search results - page 1642 / 1814 » Adaptive Model Checking |
144
click to vote
ASIACRYPT
2004
Springer
16 years 8 days ago
2004
Springer
d abstract) Bartosz Przydatek1 and Reto Strobl2 1 Department of Computer Science, ETH Z¨urich, Switzerland 2 IBM Research, Zurich Research Laboratory, Switzerland In this paper, w...
203
click to vote
CBSE
2004
Springer
16 years 7 days ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
207
click to vote
CC
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
191
click to vote
COLT
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The Gram matrix plays a central role in many kernel methods. Knowledge about the distribution of eigenvalues of the Gram matrix is useful for developing appropriate model...
195
click to vote
HIPC
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...