• Global Arrays

  • Referenced in 9 articles [sw07425]
  • MIMD parallel program can asynchronously access logical blocks of physically distributed dense multi-dimensional arrays...
  • HYPERS

  • Referenced in 4 articles [sw06392]
  • introducing a unidimensional infrastructure for asynchronous simulations on logically uniform meshes. As the first example...
  • MCK

  • Referenced in 27 articles [sw09465]
  • variety of approaches to model checking the logic of knowledge. The novelty of this model ... alone; observation and clock; and synchonrous and asynchronous perfect recall of all observations. Both linear...
  • SMV

  • Referenced in 13 articles [sw04135]
  • state system against specifications in the temporal logic CTL. The input language ... that range from completely synchronous to completely asynchronous and from the detailed to the abstract ... synchronous Mealy machine or as an asynchronous network of abstract, nondeterministic processes. The language provides ... data types can also be constructed. The logic CTL allows a rich class of temporal...
  • Tac

  • Referenced in 7 articles [sw09455]
  • focused proof system for a first-order logic with inductive and co-inductive definitions ... introduction rules are partitioned into an asynchronous phase and a synchronous phase. These focused proofs ... checking queries can be captured using an asynchronous phase followed by a synchronous phase. Leveraging ... interactive proof assistant, called Tac, for this logic. We describe its high-level design...
  • Kit

  • Referenced in 7 articles [sw22321]
  • handling, message passing, and an interface to asynchronous devices. As a by-product ... problem is stated in the Boyer-Moore logic, and the proof is mechanically checked with...
  • CLF

  • Referenced in 2 articles [sw21372]
  • concurrent computations in CLF. CLF (the concurrent logical framework) is a language for specifying ... within CLF by applying them to an asynchronous pi-calculus with correspondence assertions, including...
  • icity

  • Referenced in 4 articles [sw11954]
  • include an irregular spatial structure, asynchronous urban growth, and a high spatio-temporal resolution ... model developer to focus on implementing model logic rather than developing an entire stand-alone...
  • CHR.js

  • Referenced in 2 articles [sw28857]
  • Handling Rules (CHR) is usually compiled to logic programming languages. While there are implementations ... interpreter, which is based on the asynchronous execution model of JavaScript, and (ii) an ahead...
  • apims

  • Referenced in 1 article [sw27565]
  • interpretor and typechecker for the Asynchronous PI-calculus with Multiparty sessions and Symmetric synchronization ... values and choices to be specified by logical predicates (as propositional formulas). Apims has been...
  • Boolector

  • Referenced in 27 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...
  • Coq

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

  • Referenced in 2702 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 594 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Macaulay2

  • Referenced in 1567 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 4896 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 234 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 5693 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11446 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 520 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...