Constraint-based routing (CR-LDP) extends the features of MPLS Label Distribution Protocol (LDP) working in conjunction with a wide variety of QoS scenarios and services including IP differentiated services, integrated services, traffic engineering, Asynchronous Transfer Mode (ATM) service classes and frame relay. When a large number of CR-LSPs are required a lot of CR-LDP signalling is needed:...

Abstract. In this paper we present a formal hardware verification tool implementing an automata based model checking algorithm using Multiway Decision Graphs. The tool first transforms the property formula into a Generalized Buchi Automaton. It then uses a newly developed algorithm to check the language emptiness on the product machine composed from the system under verification and the constru...

In this paper we discuss configuring digital cross-connect systems (DCS) to form an embedded logical asynchronous transfer mode (ATM) network from a physical facility network. A DCS forms a channel, called a pipe, that connects two nodes. Configuration of these switches results in allocation of bandwidth to these pipes. The ATM network is modelled as a network of M/M/1 queues and the design of ...

The main issue in the optical transmission is switching speed. The optical packet switching faces many significant challenges in processing and buffering. The generalized multilevel protocol switching seeks to eliminate the asynchronous transfer mode and synchronous optical network layer, hence the implementation of IP over WDM (wave length division multiplexing). Optical burst switching attemp...

This paper presents an adaptive scheme for a sub-function in Asynchronous Transfer Mode (ATM) network routing, called link allocation. The scheme adapts the link allocation policy to the offered Poisson call traffic such that the long-term revenue in maximized. It decomposes the link allocation task into a set of link admission control (LAC) tasks, formulated as semi-Markov Decision Problems (S...

Motivated by Asynchronous Transfer Mode (ATM) in telecommunication networks, we investigate the problem of designing a directed virtual topology on a directed physical topology, which consists in nding a set of directed virtual paths (VPs) satisfying some constraints in terms of load (the number of VPs sharing a physical link) and hop count (the number of VPs used to establish a connection). Fo...

MPLS (Multiprotocol Label Switching) provides interesting mechanisms to integrate network technologies like ATM (Asynchronous Transfer Mode) and IP (Internet Protocol) with QoS (Quality of Service). It is a next generation technology with a great interest in teaching of networks and communications in Telematics Engineering degrees. In this paper we show a simulator as an innovative and educatio...

This paper proposes a network architecture to support mobile communication in a large university campus. The design allows each mobile host to maintain network connectivity while roaming freely in the campus. Called Crosspoint, the design combines wireless local-area network (LAN) technology with high-speed Asynchronous Transfer Mode (A1M) switching technology. The combination provides a wirele...

Networks of workstations are becoming a popular platform for parallel computing. Asynchronous Transfer Mode (ATM) network connections can improve the communication characteristics of these parallel clusters. This paper introduces a new class of topologies for constructing multicomputers called Small ATM Switch based Interconnection Networks (SASIN). The Round Table Network (one kind of SASIN) i...

This paper proposes a network architecture to support mobile communication in a large university campus. The design allows each mobile host to maintain transport connectivity while roaming freely in the campus. Called Crosspoint, the design combines wireless local-area network (LAN) technology with high-speed Asynchronous Transfer Mode (ATM) switching technology. The combination provides a wire...