8499 search results - page 21 / 1700 » cans 2009 |
113
click to vote
CISIS
2009
IEEE
15 years 10 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 ...
120
Voted
ESOP
2009
Springer
15 years 10 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...
109
click to vote
AIMS
2009
Springer
15 years 10 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...
133
Voted
ACISP
2009
Springer
15 years 8 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...
147
click to vote
TABLEAUX
2009
Springer
15 years 10 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...