Search
Now showing items 31-40 of 219
On transformations of concurrent object programs
(1996)
Transformation rules which increase the scope for concurrent activity within systems prescribed by programs of concurrent object languages are given. The correctness of the rules is proved using a semantic definition by ...
On confluence in the π-caleulus
(1997)
An account of the basic theory of confluence in the 7r-calculus is presented, techniques for showing confluence of mobile systems are given, and the utility of some of the theory presented is illustrated via an analysis ...
A rigorous analysis of concurrent operations on B-trees
(1997)
An account is given of a rigorous study of concurrent operations on a variant of the B-tree in the framework of a general theory of concurrent systems, an extension of the r-calculus. The assertion of correctness of the ...
On transformations of concurrent-object programs
(1998)
Transformation rules which increase the scope for concurrent activity within systems prescribed by programs of concurrent-object languages are given. Their correctness is proved on the basis of a semantic definition by ...
Integrated control of connection admission, flow rate, and bandwidth for ATM based networks
(1996)
We consider the combined control problem of connection admission, flow rate, and bandwidth allocation (capacity, service-rate) under nonstationary conditions. A fluid flow model in state variable form describes the time ...
Optimal control approach to dynamic bandwidth allocation in B-ISDN
(Publ by IE Aust, 1992)
Asynchronous Transfer Mode (ATM) will be the transfer mode for implementing Broadband-ISDN (B-ISDN). This is prompted by the need to handle a variety of types of services, with diverse demands on the network in terms of ...
Adaptive congestion control in ATM based networks: Quality of service and high utilisation
(1997)
To improve network utilisation and robustness for Asynchronous Transfer Mode (ATM) networks there is increasing evidence that reactive congestion controls are necessary. However the large bandwidth-delay product and the ...
Integrated switching strategy for ABR traffic control in ATM networks
(1997)
In this paper we extend earlier results on combined control problem of connection admission, flow rate, and bandwidth allocation (capacity, service-rate) in ATM based networks under nonstationary conditions to the multiple ...
Effective control of traffic flow in ATM networks using fuzzy explicit rate marking (PERM)
(1997)
In this paper, we describe the fuzzy explicit rate marking (FERM) traffic flow control algorithm for a class of best effort service, known as available bit rate (ABR), proposed by the ATM Forum. FERM is an explicit rate ...
Fuzzy backward congestion notification (FBCN) congestion control in asynchronous transfer mode (ATM) networks
(IEEE, 1995)
In this paper, we study the performance of a fuzzy control scheme as a first step to develop better control strategies for avoiding congestion and attaining high link utilisation in ATM based networks. Due to the complexity ...