
Global Arrays
 Referenced in 9 articles
[sw07425]
 MIMD parallel program can asynchronously access logical blocks of physically distributed dense multidimensional 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 firstorder logic with inductive and coinductive 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 highlevel design...

Kit
 Referenced in 7 articles
[sw22321]
 handling, message passing, and an interface to asynchronous devices. As a byproduct ... problem is stated in the BoyerMoore 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 picalculus with correspondence assertions, including...

icity
 Referenced in 4 articles
[sw11954]
 include an irregular spatial structure, asynchronous urban growth, and a high spatiotemporal resolution ... model developer to focus on implementing model logic rather than developing an entire standalone...

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 PIcalculus 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 bitvectors...

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 highlevel language and interactive...

MiniSat
 Referenced in 520 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...