Learn More
This paper considers the problems of admission control and virtual circuit routing in high performance computing and communication systems. Admission control and virtual circuit routing problems arise in numerous applications, including video-servers, real-time database servers, and the provision of permanent virtual channels in large-scale communications(More)
When proving the correctness of algorithms in distributed systems, one generally considers safety conditions and liveness conditions. The Input/Output (I/O) automaton model and its timed version have been used successfully, but have focused on safety conditions and on a restricted form of liveness called fairness. In this paper we develop a new I/O(More)
Emerging high speed Broadband I n t egrated Services Digital Networks B-ISDN will carry traac for services such a s v i d eo-on-demand a n d video teleconferencing g t h a t require resource reservation along t h e p a t h on which t h e traac is sent. As a result, such n etworks will need eeective admission control algorithms. The simplest approach i s t o(More)
On-line admission control and circuit routing for high performance computing and communication. Primal-dual approximation algorithms for integral flow and multicut in trees, with applications to matching and set cover. Faster approximation algorithms for the unit capacity concurrent flow problem with applications to routing and finding sparse cuts. SIAM(More)
Contracts have traditionally been regarded as means of individual commitment. This article offers a broader vision, viewing contracts as potential means of bilateral commitment as well. Drawing on a burgeoning literature in economics, this article explains that commitment to stick with an original contract, even if both parties later want to modify that(More)
Much of modern systems programming involves designing algorithms for distributed systems in which the nodes have access to information about time. Time information can be used to estimate the time at which system or environment events occur, to detect process failures, to schedule the use of resources, and to synchronize activities of different system(More)
Today, large telecommunications customers are increasingly using virtual private networks to link geographically dispersed sites. A virtual private network is provided by provision-ing a set of permanent (long term) virtual circuits between customer endpoints on a large backbone network. This paper considers the problem of routing a set of permanent virtual(More)
Emerging high speed Broadband Integrated Services Digital Networks (B-ISDN) are expected to carry traac for services like video-on-demand and video teleconferencing which will require resource reservation along the path on which the traac is sent. As a result, such networks will need eecient routing and admission control algorithms. The simplest approach is(More)