A key challenge in the synthesis and subsequent analysis of supervisory controllers is impact state-space explosion caused by concurrency. The main bottleneck often memory needed to store composition plant requirement automata resulting supervisor. Partial-order reduction (POR) a well-established technique that alleviates this issue field model checking. It does so exploiting redundancy with re...

Design of large made-to-order products invariably involves design activities which are increasingly being distributed globally in order to reduce costs, gain competitive advantage and utilise external expertise and resources. Designers specialise within their domain producing solutions to design problems using the tools and techniques with which they are familiar. They possess a relatively loca...

-This paper presents the novel concept of desynchronization which deals with deriving an asynchronous circuit from an optimized synchronous circuit by replacing the clock distribution tree by a handshaking network. A new controller for implementing desynchronization is also proposed which achieves more concurrency. This concept is implemented on a MIPS processor and a comparison of the synchron...

This paper presents new algorithms for the synthesis of parallel controllers that operate on a Petri net. This net is rst simpli ed by reduction, then coloured and nally used to generate a state assignment with which the controller can be synthesised. The new concept of using colours for detecting and representing concurrency within the Petri net is presented.

concurrency control is one of the important problems in operation systems. various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. this paper presents a survey of the current methods for controlling...

ChucK is a programming language for real-time sound synthesis. It provides generalized audio abstractions and precise control over timing and concurrency combining the rapid-prototyping advantages of high-level programming tools, such as Pure Data, with the flexibility and controllability of lower-level, text-based languages like C/C++. In this paper, we present a new time-based paradigm for pr...

We present an efficient physical realization method of particle filters for real-time tracking applications. The methodology is based on block-level pipelining where data transfer between processing blocks is effectively controlled by autonomous distributed controllers. Block-level pipelining maintains inherent operational concurrency within the algorithm for high-throughput execution. The prop...

We describe an approach to implementing a wide-range of concurrency paradigms in modern programming languages. The focus of our discussion is sting, a dialect of Scheme, that supports lightweight threads of control and virtual processors as rst-class objects. Given the signiicant degree to which the behavior of these objects may be customized, we can easily express a variety of concurrency para...