• Bandera

  • Referenced in 134 articles [sw07663]
  • concurrent Java software. The Bandera Tool Set is an integrated collection of program analysis, transformation ... variables and internal states of Java lock objects. par In this tutorial paper ... Bandera and how to interact the tool set using its graphical user interface...
  • DAEPACK

  • Referenced in 16 articles [sw12958]
  • given set of inputs (sparsity pattern generation), automatic generation of a discontinuity-locked model...
  • VeriCool

  • Referenced in 10 articles [sw09749]
  • describing the set of memory locations protected by an object’s lock. In addition...
  • RacerX

  • Referenced in 16 articles [sw09941]
  • aggressively infers checking information such as which locks protect which operations, which code contexts ... shared accesses are dangerous. It tracks a set of code features which it uses ... infer checking information such as which locks protect which operations, which code contexts are multithreaded...
  • Magiclock

  • Referenced in 1 article [sw25232]
  • lock dependencies, and searches over the set of lock dependency chains without the need...
  • STMBench7

  • Referenced in 9 articles [sw08814]
  • easier to use than fine-grained locking. However, STM implementations have yet to demonstrate that ... overly simplified setting can be at best uninformative and at worst misleading ... underlying data structure consists of a set of graphs and indexes intended to be suggestive ... range of workloads and concurrency patterns. Companion locking strategies serve as a baseline...
  • JoCaml

  • Referenced in 25 articles [sw02065]
  • means that messages always travel to a set destination, and can interact only after they ... level fashion than the traditional threads-and-locks approach...
  • Dryad

  • Referenced in 15 articles [sw08916]
  • vertices of this graph on a set of available computers, communicating as appropriate through flies ... sequential programs with no thread creation or locking. Concurrency arises from Dryad scheduling vertices...
  • Checkfence

  • Referenced in 19 articles [sw09939]
  • concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory ... conditionals, loops, pointers, arrays, structures, function calls, locks, and dynamic memory allocation. CheckFence lets...
  • CYCLADES

  • Referenced in 3 articles [sw15227]
  • memory setting. CYCLADES is asynchronous during shared model updates, and requires no memory locking mechanisms...
  • GPUVerify

  • Referenced in 8 articles [sw11260]
  • processing units (GPUs). We provide a novel lock-step execution semantics for GPU kernels represented ... statements. The evaluation was based on a set of 163 open source and commercial...
  • CertiKOS

  • Referenced in 7 articles [sw21503]
  • Each such layer can have a different set of observable events. We insist on formally ... purpose concurrent OS kernel with fine-grained locking...
  • RGITL

  • Referenced in 5 articles [sw13917]
  • programs, which are transferred to a concurrent setting with temporal logic. We include an interleaving ... show for the important progress property of lock-freedom. RGITL is implemented in the interactive...
  • Polyaxon

  • Referenced in 1 article [sw27026]
  • deep learning applications. It includes an infrastructure, set of tools, proven algorithms, and industry models ... Polyaxon is a platform-agnostic with no lock-in. You keep full ownership and control...
  • SArTagnan

  • Referenced in 2 articles [sw11451]
  • still able to keep its own set of clauses. We show how physical clause sharing ... solver does not require any operating system lock...
  • SchedCAT

  • Referenced in 1 article [sw15096]
  • heuristics, blocking term analysis for real-time locking protocols (including various spinlock types, the OMLP ... accounting methods. Additionally, the library contains task set generation routines, task set serialization support...
  • Cloud4SOA

  • Referenced in 1 article [sw16037]
  • applications from one PaaS to another, “locking” software developers to the first provider they ... presented in this work, comprises of a set of interlinked collaborating software components and models...
  • JavaSMT

  • Referenced in 1 article [sw18525]
  • directly creates the problem of a solver lock-in, which makes evaluating a tool with ... based communication, by offering a large set of features with minimal performance overhead. JavaSMT...
  • FlashRelate

  • Referenced in 2 articles [sw21511]
  • vast amount of real-world data is ”locked-in” to a proliferation ... synthesized in seconds from a small set of examples for 43 real-world scenarios. Finally...
  • pomegranate

  • Referenced in 1 article [sw26684]
  • collection of additive sufficient statistics from data sets as a strategy for training models. This ... calculations and releases the global interpreter lock to allow for built-in multithreaded parallelism, making...