Add to ORKGWe present an application of the stochastically timed process algebra EMPAr to the performance modeling and analysis of an ATM switch. The switch is formally represented by means of a discrete time model based on the assumption of Bernoulli incoming traffic. Two algebraic descriptions are provided: the former concerns an ATM switch supporting UBR service only, the latter an ATM switch supporting UBR and ABR services. The two descriptions are then compared by automatically evaluating their performance by means of the EMPAr based software tool TwoTowers.
Performance analysis of ATM switches has been an active research topic in these recent years. Numero...
Stochastically timed process algebras based software tools are becoming an important technology to b...
This paper deals with the performance evaluation of an ATM switch which implements the Circuit Emula...
We present an application of the stochastically timed process algebra EMPAr to the performance model...
Abstract. Stochastically timed process algebras are emerging as a pro-mising formalism to support pe...
Stochastically timed process algebras are emerging as a promising formalism to support performance m...
We present two applications of the stochastically timed process algebra EMPA. The first one is conce...
We present an application of the integrated approach based on the stochastically timed process algeb...
Stochastically timed process algebras based software tools are becoming an important technology to b...
We present an application of the integrated approach based on the stochastically timed process algeb...
Abstract: This paper describes the use of stochastic process algebra to model and to evaluate the pe...
In this paper we study a non-blocking ATM switch with internal speedup. Modifying the model in [1], ...
An analytical model for the performance analysis of a novel input access scheme for an ATM switch is...
A formal approach for modeling and analyzing concurrent systems is proposed which integrates perform...
Performance analysis of ATM switches has been an active research topic in these recent years. Numero...
Stochastically timed process algebras based software tools are becoming an important technology to b...
This paper deals with the performance evaluation of an ATM switch which implements the Circuit Emula...
We present an application of the stochastically timed process algebra EMPAr to the performance model...
Abstract. Stochastically timed process algebras are emerging as a pro-mising formalism to support pe...
Stochastically timed process algebras are emerging as a promising formalism to support performance m...
We present two applications of the stochastically timed process algebra EMPA. The first one is conce...
We present an application of the integrated approach based on the stochastically timed process algeb...
Stochastically timed process algebras based software tools are becoming an important technology to b...
We present an application of the integrated approach based on the stochastically timed process algeb...
Abstract: This paper describes the use of stochastic process algebra to model and to evaluate the pe...
In this paper we study a non-blocking ATM switch with internal speedup. Modifying the model in [1], ...
An analytical model for the performance analysis of a novel input access scheme for an ATM switch is...
A formal approach for modeling and analyzing concurrent systems is proposed which integrates perform...
Performance analysis of ATM switches has been an active research topic in these recent years. Numero...
Stochastically timed process algebras based software tools are becoming an important technology to b...
This paper deals with the performance evaluation of an ATM switch which implements the Circuit Emula...