• REDLIB

  • Referenced in 5 articles [sw21175]
  • TCTL model-checking of dense-time automata with multiple fairness assumptions. REDLIB uses...
  • Vcsn

  • Referenced in 1 article [sw21339]
  • broadest possible sense: finite automata with multiple tapes — often called transducers then — or even more ... generally finite automata with multiplicity, that is, automata that not only accept sequences of symbols ... framework is the set of automata with multiplicity over any semiring: a general algorithm...
  • JAFMAS

  • Referenced in 4 articles [sw07882]
  • conversations represented by automata models. JAFMAS classes support each agent with multiple threads...
  • STANSE

  • Referenced in 2 articles [sw26812]
  • described in an automata-based formalism, ThreadChecker detects deadlocks among multiple threads, LockChecker finds locking...
  • mctau

  • Referenced in 2 articles [sw07213]
  • formal semantics in terms of stochastic timed automata, an overarching formalism of which several well ... formalism, multiple-solution approach. In this paper, we focus on networks of timed automata...
  • biXid

  • Referenced in 9 articles [sw12667]
  • phases use a variant of finite tree automata for performing a one-pass scan ... parse tree and thus results in multiple possible outputs that may have different structures.We have...
  • SReach

  • Referenced in 3 articles [sw20158]
  • uncertainty. The second one is probabilistic hybrid automata with additional randomness for both transition probabilities ... additional benchmarks for nonlinear hybrid systems with multiple probabilistic system parameters...
  • countmotif

  • Referenced in 1 article [sw14363]
  • number of reads which are combined using multiple alignment techniques to produce sequences. During this ... sequences. An algorithm based on Deterministic Finite Automata (DFA) and Markov Chain Embedding...
  • ATLAS

  • Referenced in 192 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • AUTOMATE

  • Referenced in 12 articles [sw00059]
  • AUTOMATE, a computing package for automata and finite...
  • CGAL

  • Referenced in 307 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

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

  • Referenced in 5 articles [sw00262]
  • FAST16: A software program for factorizing polynomials over...
  • GAP

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

  • Referenced in 117 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 232 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • LANGAGE

  • Referenced in 34 articles [sw00501]
  • LANGAGE: A Maple package for automaton characterization of...
  • Maple

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

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

  • Referenced in 30 articles [sw00547]
  • MARCA: Markov chain analyzer, a software package for...