• CMC

  • Referenced in 34 articles [sw12422]
  • considering two examples: the Fischer’s mutual exclusion protocol and a railroad crossing system...
  • Cubicle

  • Referenced in 14 articles [sw13778]
  • Experiments done on classic and challenging mutual exclusion algorithms and cache coherence protocols show that...
  • ARMCI

  • Referenced in 14 articles [sw04639]
  • includes a set of atomic and mutual exclusion operations. The development ARMCI is driven...
  • Chalice

  • Referenced in 7 articles [sw07704]
  • dynamic thread creation (fork and join), mutual-exclusion and readers-writers locks, monitor invariants, thread...
  • ACTLW

  • Referenced in 7 articles [sw21031]
  • example of verification of mutual-exclusion algorithms...
  • Reoservice

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

  • Referenced in 4 articles [sw13910]
  • performance, and several directives for the mutual exclusion synchronization of OpenMP are implemented and tested...
  • WExT

  • Referenced in 1 article [sw15825]
  • Weighted Exact Test for Mutually Exclusive Mutations in Cancer. The somatic mutations in the pathways ... drive cancer development tend to be mutually exclusive across tumors, providing a signal for distinguishing ... number of random passenger mutations. This mutual exclusivity signal can be confounded by high ... weighted test identifies sets of mutually exclusive mutations in cancer genes with fewer false positives...
  • CoMEt

  • Referenced in 2 articles [sw34271]
  • CoMEt: Combinations of Mutually Exclusive Alterations. CoMEt improves upon the Dendrix and Multi-Dendrix algorithms...
  • IODINE

  • Referenced in 2 articles [sw26817]
  • machine protocols, request-acknowledge pairs, and mutual exclusion between signals from design simulations. We show...
  • MFSAS

  • Referenced in 2 articles [sw24792]
  • product quality or multiple types of (mutually exclusive) possible defects. This paper describes a package...
  • CoBoxes

  • Referenced in 2 articles [sw18534]
  • data-centric approach that guarantees mutual-exclusion for groups of objects. This is important...
  • TwoMP

  • Referenced in 2 articles [sw20598]
  • both modes into a number of mutually exclusive and exhaustive subsets. Although such a technique...
  • cometExactTest

  • Referenced in 1 article [sw34272]
  • Exact Test from the Combinations of Mutually Exclusive Alterations (CoMEt) Algorithm. An algorithm for identifying ... combinations of mutually exclusive alterations in cancer genomes. CoMEt represents the mutations...
  • ReadMe

  • Referenced in 1 article [sw36861]
  • unordered policy topics, or any other mutually exclusive and exhaustive set of categories...
  • CHAID

  • Referenced in 1 article [sw30379]
  • partition. The data are partitioned into mutually exclusive, exhaustive subsets that best describe the dependent...
  • Gadara

  • Referenced in 1 article [sw09940]
  • wait deadlocks in multithreaded programs employing mutual exclusion locks for shared data. The application...
  • ExtremeBounds

  • Referenced in 1 article [sw23860]
  • allows users to specify sets of mutually exclusive variables, and can restrict the analysis...
  • MGOMP

  • Referenced in 1 article [sw26441]
  • failure that act in a mutually exclusive manner, and the baseline failure time for each...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...