3951 search results - page 37 / 791 » Automatic amortized analysis |
74
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
144
Voted
PRDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
72
Voted
AIED
2007
Springer
15 years 10 months ago
2007
Springer
141
Voted
GFKL
2007
Springer
15 years 9 months ago
2007
Springer
122
Voted
STACS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...