10271 search results - page 389 / 2055 » Computer Science |
129
click to vote
FOCS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper deals with balls and bins processes related to randomized load balancing, dynamic resource allocation, and hashing. Suppose
133
click to vote
RTA
1999
Springer
15 years 9 months ago
1999
Springer
We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simu...
RANDOM
1998
Springer
15 years 8 months ago
1998
Springer
139
Voted
WG
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We consider broadcasting on asynchronous anonymous totally unoriented n
120
click to vote
RTA
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We investigate conditions under which con uence and or termination are preserved for constructor-sharing and hierarchical combinations of rewrite systems, one of which is...