23557 search results - page 4216 / 4712 » Distributed Computing - Introduction |
152
click to vote
INFOCOM
2000
IEEE
15 years 9 months ago
2000
IEEE
— This paper provides an initial look at how support for advance reservations affects the complexity of the path selection process in networks. Advance reservations are likely to...
157
click to vote
INFOCOM
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract—In this paper, we present the implementation issues of a virtual backbone that supports the operations of the Uniform Quorum System (UQS) and the Randomized Database Gro...
162
click to vote
PADS
2000
ACM
15 years 9 months ago
2000
ACM
The simulation of wide area computer networks is one area where the benefits of parallel simulation have been clearly demonstrated. Here we present a description of a system that...
153
Voted
SIGCSE
2000
ACM
15 years 9 months ago
2000
ACM
Being exposed to well-written code is a valuable experience for students -- especially when the code is larger or more complex than they are currently capable of writing. In addit...
124
click to vote
CAV
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...