4565 search results - page 686 / 913 » Time Optimal Self-Stabilizing Algorithms |
98
Voted
RTA
2005
Springer
15 years 6 months ago
2005
Springer
Many applications of congruence closure nowadays require the ability of recovering, among the thousands of input equations, the small subset that caused the equivalence of a given ...
WDAG
2005
Springer
15 years 6 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
108
click to vote
QSIC
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we consider a problem that arises in black box testing: generating small test suites (i.e., sets of test cases) where the combinations that have to be covered are s...
105
Voted
COOPIS
2000
IEEE
15 years 5 months ago
2000
IEEE
We study the price dynamics in a multi-agent economy consisting of buyers and competing sellers, where each seller has limited information about its competitors’ prices. In this ...
110
Voted
IPPS
1997
IEEE
15 years 5 months ago
1997
IEEE
Abstract. The incremental and dynamic construction of interconnection networks from smaller components often leaves the fundamental problem of assigning addresses to processors to ...