• CC-Pi

  • Referenced in 26 articles [sw15033]
  • single party or by the synchronisation of two agents. Moreover, restricting the scope of names ... become global as a consequence of synchronisations. Our approach relies on a system of named...
  • StirMark

  • Referenced in 34 articles [sw19164]
  • introduced random bilinear geometric distortions to de-synchronise watermarking algorithms. Then several versions followed improving...
  • M-nets

  • Referenced in 11 articles [sw09132]
  • level net models; and composition – in particular, synchronisation – in a process algebraic style, turning...
  • Jinja Threads

  • Referenced in 8 articles [sw28538]
  • inter-thread communication via shared memory, lock synchronisation and joins. Also, threads can suspend themselves...
  • VerCors

  • Referenced in 6 articles [sw11259]
  • logic to use different implementations of synchronisers in verification, and how we reason about class...
  • Reoservice

  • Referenced in 4 articles [sw08568]
  • lacks support for typical coordination constraints, like synchronisation, mutual exclusion, and context-dependency...
  • Liss

  • Referenced in 4 articles [sw20205]
  • Liss (Language Inclusion-based Synchronisation Synthesis). This is the version of Liss for our FMSD...
  • SymmPa

  • Referenced in 3 articles [sw08414]
  • over alternative approaches on a range of synchronisation programs...
  • G3D

  • Referenced in 3 articles [sw15487]
  • real-time action recognition in gaming containing synchronised video, depth and skeleton data is provided...
  • Welterweight Java

  • Referenced in 3 articles [sw24343]
  • thread-based concurrency and lock-based synchronisation. The design of WJ is distilled from recent...
  • JCSP

  • Referenced in 3 articles [sw25045]
  • application channels, acknowledgement packets to preserve synchronisation semantics) are hidden from the JCSP programmer...
  • SAMOA

  • Referenced in 1 article [sw13786]
  • SAMOA: A Framework for a Synchronisation-Augmented Microprotocol Approach. We address programming abstractions for building ... programmer, who should implement all the necessary synchronisation using standard language facilities. We develop ... SAMOA: a framework for a synchronisation augmented microprotocol approach in Java. It has been designed ... expressed without explicit low-level synchronisation, thus making programming easier and less error-prone...
  • tsan

  • Referenced in 1 article [sw21723]
  • intricate rules for memory ordering and synchronisation associated with the C/C++11 memory model mean ... program executions, and does not correctly model synchronisation between C/C++11 atomic operations. We present ... that correctly captures C/C++11 synchronisation, and uses instrumentation to support exploration of a class...
  • JABAT

  • Referenced in 2 articles [sw09778]
  • with the population of solutions, or how synchronisation or cooperation of agents influence the quality...
  • NemoTam

  • Referenced in 1 article [sw12731]
  • effective long-term development strategy for ensuring synchronisation of NEMOTAM with future NEMO releases. This...
  • ANaConDA

  • Referenced in 1 article [sw24890]
  • notification about important events, such as thread synchronisation or memory accesses, so that developers...
  • PeCAn

  • Referenced in 1 article [sw30318]
  • such as on-the-fly analysis and synchronisation between multiple Petri nets), PeCAn generates symbolic...
  • LPC

  • Referenced in 1 article [sw34817]
  • model that is assumed to underly the synchronisation performance when a human individual synchronizes ones...
  • MOLDY

  • Referenced in 0 articles [sw21164]
  • required in the main force loop, where synchronisation is often required in OpenMP implementations...
  • Complx

  • Referenced in 0 articles [sw21502]
  • Simpl with support for parallel composition and synchronisation. We additionally define an OG logic, which...