In this report we present a powerful new synchronisation mechanism called scheduling predicates These predicates there are no there exists and for all allow the programmer to schedule the order of execution of operations based on relative arrival times values of parameters and built in synchronisation counters Since many synchronisation problems are in fact scheduling problems these facilitate ...

This paper describes a system for supporting coarse-grained locationbased synchronisation. This type of synchronisation may occur when people need only some awareness about the location of others within the specific context of an on-going activity. We have identified a number of reference scenarios for this type of synchronisation and we have implemented and deployed a prototype to evaluate the...

This paper deals with the problem of multimedia synchronisation in fully meshed multipoint videoconferencing applications. This work relies on previous work dealing with multimedia synchronisation in point to point videoconferencing: Up to now, the two main approaches are based on (1) timeline or on (2) temporal intervals composition. But, the first approach is not suited for multimedia data, a...

The conventional nature of synchronisation is discussed in inertial frames, where it is found that theories using different synchronisations are experimentally equivalent to special relativ-ity. In contrary, in accelerated systems only a theory maintaining an absolute simultaneity is consistent with the natural behaviour of clocks. The principle of equivalence is discussed, and it is found that...

Synchronisation of chaotic systems is an important research problem in chaos theory. In this research work, a novel sliding mode control method is proposed for the global chaos synchronisation of identical chaotic systems. The general result derived using novel sliding mode control method is established using Lyapunov stability theory. As an application of the general result, the problem of glo...

Inheritance of operations and inheritance of synchronisation constraints in Ei el k are in dependent of each other In other words a change in synchronisation constraints does not necessitate a rewrite of the operations and visa versa Unfortunately the monolithic approach of specifying all synchronisation constraints in a single routine Live means that there is no independence of constraints cha...

Self-organised synchronisation is a common phenomenon observed in many natural and artificial systems: simple coupling rules at the level of the individual components of the system result in an overall coherent behaviour. Owing to these properties, synchronisation appears particularly interesting for swarm robotics systems, as it allows for robust temporal coordination of the group while minimi...

Self-organised synchronisation is a common phenomenon observed in many natural and artificial systems: simple coupling rules at the level of the individual components of the system result in an overall coherent behaviour. Owing to these properties, synchronisation appears particularly interesting for swarm robotic systems, as it allows to robustly coordinate through time the activities of the g...

While many software projects requiring some form of parallelisation resort to standard synchronisation mechanisms offered by a programming language or a standard library of choice, other synchronisation techniques exist. This paper presents predicate-based synchronisation constructs and discusses the possibilities of their detection and static analysis.