8499 search results - page 21 / 1700 » cans 2009 |
CISIS
2009
IEEE
14 years 4 months ago
2009
IEEE
r that this abstract discusses, proposes a fully decentralized agent-based approach to global stabilization of resource utilization, based on local coordination. The core question ...
ESOP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
AIMS
2009
Springer
14 years 4 months ago
2009
Springer
Churn resilience is an important topic in DHT research. In this paper, I present techniques to improve churn resilience and their effects. All the techniques can be implemented i...
ACISP
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes a m-ary exponentiation algorithm where the radix-m digits of an exponent can be treated in a somewhat random order without using any more group operations than...
TABLEAUX
2009
Springer
14 years 4 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...