Abstract¿Software designers draw Message Sequence Charts for early modeling of the individual behaviors they expect from the concurrent system under design. Can they be sure that precisely the behaviors they have described are realizable by some implementation ...

Siphons are very important in the analysis and control of deadlocks in a Petri net. However, it is quite time-consuming or even impossible to get the complete siphon enumeration of a Petri net. This paper focuses on the deadlock prevention problems in ...

Modularity is of fundamental importance in computer science. The need for a formal theory of modularity in the design and maintenance of large systems is especially pronounced. In recent work on Interval Temporal Logic (ITL) we gave an axiom system in ...

The use of measuring techniques to assist in the process of evaluation has always been a speculative endeavor. There is the presence of doubt as to what should be measured, and once this measurable entity has been determined, then what constitutes proper ...

The work is motivated by deadlock resolution and resource allocation problems, occurring in distributed server-client architectures. We consider a very general setting which includes, as special cases, distributed bandwidth management in communication ...

Abstract¿This paper proposes multidestination message passing on wormhole k-ary n-cube networks using a new base-routing-conformed-path (BRCP) model. This model allows both unicast (single-destination) and multidestination messages to co-exist in a given ...

Topology selection is an important issue for the design of network on chip systems. At present, typical application-specific NoC systems often integrate a number of heterogeneous components which have varied functions, sizes and communication requirements. ...

Abstract¿Networks of workstations are rapidly emerging as a cost-effective alternative to parallel computers. Switch-based interconnects with irregular topology allow the wiring flexibility, scalability, and incremental expansion capability required ...

Networks-on-chip will serve as the central integration platform in future complex systems-on-chip (SoC) designs, composed of a large number of heterogeneous processing resources. Most researchers advocate the use of traditional regular networks like ...

Competitions of shared web resources have been widely concerned today. Under the circumstances of networks, no central supervisor can be implemented, which makes it more complicated to avoid deadlock problems. This paper describes the interactions of ...

Abstract¿Multicast operation is an important operation in multicomputer communication systems and can be used to support several collective communication operations. A significant performance improvement can be achieved by supporting multicast operations ...

The key idea of the algorithm is to let one transaction controller be in charge of all transactions in a set of interacting transactions. Two transactions are interacting if they are both interested in (accessing) the same resource. In addition, the ...

Abstract¿Owing to the Internet's rapid expansion and fast advancing PC technology, there are many PC-based network systems now. For increasingly many applications running over the Internet, guaranteeing QoS on these PC-based systems has become an issue ...

A line inadvertently omitted from a section of the pseudocode in the paper is provided. The correct reading of the section is given in full.

This paper studies the problem of deadlock-free packet routing in parallel and distributed architectures. Three main results are presented. First, it is shown that the standard technique of ordering the buffers so that every packet always has the possibility ...

Increasingly, VoIP applications are being deployed to multi-threaded SIP servlet containers. Unfortunately, the standard specification for these containers is silent with regard to synchronization issues, and the lack of direction has led different vendors ...