Search
Search Results
-
Inter Thread/Process Synchronisation
In this chapter we will look at several facilities supported by both the threading and multiprocessing libraries that allow for synchronisation and... -
Overview on Constrained Multiparty Synchronisation in Team Automata
This paper provides an overview on recent work on Team Automata, whereby a network of automata interacts by synchronising actions from multiple... -
The Analysis of Phase Synchronisation in the Uniform Scale-Free Hypernetwork
Many phenomena in realistic complex systems can be explained by the synchronisation behavior of complex systems, such as cricket chir** in unison.... -
Synchro-Sub, an adaptive multi-algorithm framework for real-time subtitling synchronisation of multi-type TV programmes
Subtitles are critical elements in making TV as accessible as possible for people with hearing impairment, elderly people and other end-users that...
-
Reaching self-stabilising distributed synchronisation with COTS Ethernet components: the WALDEN approach
For reaching deterministic self-stabilising distributed synchronisation with commercial-off-the-shelf (COTS) Ethernet, this paper explores the...
-
Deep-Sync: A novel deep learning-based tool for semantic-aware subtitling synchronisation
Subtitles are a key element to make any media content accessible for people who suffer from hearing impairment and for elderly people, but also...
-
On Becoming in Sync with Yourself and Others: An Adaptive Agent Model for How Persons Connect by Detecting Intrapersonal and Interpersonal Synchrony
Research indicates that interpersonal synchronisation leads to more closeness, mutual coordination, alliance, or affiliation between the synchronized...
-
Synchronisation of an Automotive Multi-concern Development Process
Standardisation has a primary role in establishing common ground and providing technical guidance on best practices. However, as the methods for... -
Model-Agnostic Federated Learning
Since its debut in 2016, Federated Learning (FL) has been tied to the inner workings of Deep Neural Networks (DNNs); this allowed its development as... -
Synchronisation of Elementary Cellular Automata with a Small Initial Error. Application to Rule 18
In this paper, we study how synchronization and state estimation are related in the context of elementary cellular automata. We first characterize... -
TADA: A Toolkit for Approximate Distributed Agreement
Approximate agreement has long been relegated to the sidelines compared to exact consensus, with its most notable application being clock... -
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management
Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep inter-related models...
-
From Monitors to Monitors: A Primitive History
As computers became multi-component systems in the 1950s, handling the speed differentials efficiently was identified as a major challenge. The...
-
On Synchronisation of ISS-OFDM Signals
Interleaved Spread Spectrum OFDM (ISS-OFDM) is a new spread-spectrum modulation method which is similar to conventional OFDM. Despite properties of... -
A formal component model for UML based on CSP aiming at compositional verification
Model-based engineering emerged as an approach to tackle the complexity of current system development. In particular, compositional strategies assume...
-
Advanced Consistency Restoration with Higher-Order Short-Cut Rules
Sequential model synchronisation is the task of propagating changes from one model to another correlated one to restore consistency. It is... -
Team Automata: Overview and Roadmap
Team Automata is a formalism for interacting component-based systems proposed in 1997, whereby multiple sending and receiving actions from concurrent... -
Recursive SQL and GPU-support for in-database machine learning
In machine learning, continuously retraining a model guarantees accurate predictions based on the latest data as training input. But to retrieve the...
-
Compositionality in Model-Based Testing
Model-based testing (MBT) promises a scalable solution to testing large systems, if a model is available. Creating these models for large systems,... -
How AI can Advance Model Driven Engineering Method ?
Artificial intelligence (AI) skills are being increasingly applied in today’s field of computer science. This aims at better satisfying customer...