• PostgreSQL

  • Referenced in 78 articles [sw15935]
  • Control (MVCC), point in time recovery, tablespaces, asynchronous replication, nested transactions (savepoints), online/hot backups...
  • Pict

  • Referenced in 72 articles [sw08929]
  • example programs. The core language - an asynchronous variant of Milner, Parrow, and Walker...
  • AntNet

  • Referenced in 65 articles [sw11975]
  • communication among the agents is indirect and asynchronous, mediated by the network itself. This form...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • provide an open validation platform for timed asynchronous systems (such as telecommunication protocols or distributed ... semantics of real-time primitives for asynchronous systems. Currently, the toolbox contains dedicated tools...
  • WSAT

  • Referenced in 37 articles [sw01022]
  • messages. Communication among web services is asynchronous, and it is supported by messaging platforms such ... formal specification of web service composition. (2) Asynchronous messaging makes most interesting verification problems undecidable...
  • COWS

  • Referenced in 51 articles [sw06955]
  • borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited...
  • Hyperopt

  • Referenced in 49 articles [sw19219]
  • hyperopt: Distributed Asynchronous Hyper-parameter Optimization. Hyperopt is a Python library for serial and parallel...
  • PLASMA

  • Referenced in 46 articles [sw12743]
  • development of programming models that enforce asynchronous, out of order scheduling of operations...
  • ARock

  • Referenced in 30 articles [sw16800]
  • ARock: an algorithmic framework for asynchronous parallel coordinate updates. Finding a fixed point ... processors, or cores) update x in an asynchronous parallel fashion. Asynchrony is crucial to parallel...
  • Petrify

  • Referenced in 26 articles [sw09784]
  • tool for synthesis of Petri nets and asynchronous controllers. Petrify reads a Petri ... Signal Transition Graphs describing the behavior of asynchronous controllers. Petrify is able to solve...
  • MCK

  • Referenced in 33 articles [sw09465]
  • alone; observation and clock; and synchonrous and asynchronous perfect recall of all observations. Both linear...
  • PMaude

  • Referenced in 31 articles [sw08422]
  • modelled using actors (concurrent objects with asynchronous message passing), we provide an actor PMaude module...
  • ABS

  • Referenced in 31 articles [sw21211]
  • functional language for modeling data. ABS uses asynchronous method calls, interfaces for encapsulation, and cooperative...
  • APPSPACK

  • Referenced in 30 articles [sw04400]
  • bound-constrained optimization problems. It implements an asynchronous parallel pattern search method that has been...
  • ART 3

  • Referenced in 27 articles [sw08755]
  • robustly cope with sequences of asynchronous input patterns in real-time. The search process emerges...
  • JoCaml

  • Referenced in 26 articles [sw02065]
  • destination; this is required for an efficient asynchronous implementation. Specifically, the join calculus uses...
  • HOLyHammer

  • Referenced in 26 articles [sw11553]
  • proof development. An Emacs interface allowing parallel asynchronous queries to the service is also provided...
  • Creol

  • Referenced in 25 articles [sw09421]
  • looser coupling of method calls and synchronization. Asynchronous method calls and high-level local control...
  • GraphLab

  • Referenced in 23 articles [sw12830]
  • upon abstractions like MapReduce by compactly expressing asynchronous iterative algorithms with sparse computational dependencies while...
  • BacSim

  • Referenced in 22 articles [sw17261]
  • heterogeneity, the population appears to grow completely asynchronously...