In this paper we present our results on formally verifying the implementation of an Asynchronous Transfer Mode (ATM) network switching fabric using a new class of decision graphs, called Multiway Decision Graphs (MDG). The design we consider is in use for real applications in the Cambridge Fairisle network. We produced the description of the hardware implementation at different levels of abstra...

This paper reveals an analytical method of evaluating performance of an asynchronous transfer mode (ATM) data link based on the chain of two states Markov Modulated Poisson Process (MMPP). Two important traffic parameters, ‘successful retransmission time’ and ‘average system failure time’ of packet are considered as the key factors for evaluation of save operating region of a network. A group o...

Handoo is the procedure by which a user's radio link is transferred between radio ports in the network without an interruption of the user connection. In this paper , we discuss how a Wireless Asynchronous Transfer Mode (ATM) network may reroute a user connection during a handoo. We propose a novel procedure called \Nearest Common Node Rerouting (NCNR)." NCNR is designed to perform the reroutin...

The increased reliance upon computer networking as a modern communication media has placed much pressure on scientists to develop robust, powerful, and flexible networking models. In this paper, we describe Asynchronous Transfer Mode (ATM) networks which were introduced in the last decade and currently carry a significant proportion of the global network traffic. We discuss the advancements ATM...

In this paper, we suggest diagnosing InterOperabil-ity Testing problems by integrating Constraint-Based and Case-Based Reasoning. We model the problem as a Constraint Satisfaction Problem (CSP), then Case-Based Reasoning (CBR) is used to compensate for what is missing in this model. CBR supports the process of learning by supplying the case-base with new cases that can be used to solve future s...

The Pulsatile Catheter (PUCA) pump, a left ventricular assist device, was tested during acute experiments in calves using asynchronous and ECG-synchronous assist modes. The aim of the study is to compare ECG-synchronous and asynchronous assist, and to find the optimal driving mode for the PUCA-pump with respect to left ventricular myocardial oxygen consumption (LV MVO2), pump flow, and coronary...

Statistical Packet Assignment Multiple Access (SPAMA) is proposed, based on a statistical allocation of bandwidth resources to terminals which share a slotted, framed channel. The statistical nature of the centralized slot assignment scheme allows an accurate matching of bitrate requirements for different multimedia services with a minimal amount of signalling, while maintaining a throughput of...

In a biological system, if a long enough time interval is given, an enabled chemical reaction will finish its reaction in the given time interval. With this motivation, it is natural to impose a bound on the time interval when an enabled spiking rule in a spiking neural P system (SN P system, for short) remains unused. In this work, a new working mode of SN P systems is defined, which is called...

Abstract: macros that can be embedded into synchronous circuitry was This paper presents a Scan path design to ease the controllability presented in [89LeenS]. To test the asynchronous modules a and observability of Self-timed logic. The Scan path registers synchronous scan test is presented there. In contradiction, the operate in asynchronous mode during operation and test. asynchronous machin...