• RALib

  • Referenced in 2 articles [sw16256]
  • library for active learning algorithms for register automata (a form of extended finite state machines...
  • Symbolic automata

  • Referenced in 5 articles [sw13262]
  • transducers with registers. Constraint solving is used when composing and minimizing automata, and a much...
  • coneqct

  • Referenced in 2 articles [sw40190]
  • emptiness problem for fresh-register pushdown automata. An evaluation demonstrates that our tool works well...
  • DEQ

  • Referenced in 0 articles [sw34234]
  • Equivalence Checker for Deterministic Register Automata. Register automata are one of the most studied automata ... present an equivalence checker for deterministic register automata, called DEQ, based on a recent polynomial...
  • PECANS

  • Referenced in 6 articles [sw02161]
  • implement the proposed approach. The developed cellular automata network language (CANL) consists mainly ... periodically defined transformations on polydimensional abstract registers...
  • CASTREAM

  • Referenced in 2 articles [sw15302]
  • Both Hardware and Software. A new Cellular Automata based stream cipher is presented which ... streams. Unlike Non-linear Feedback Shift Register (NFSR) based non-linear combiners, it combines ... blocks using parallel evolution of Cellular Automata (CA) and small CA based S-boxes...
  • ATLAS

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

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

  • Referenced in 3363 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

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

  • Referenced in 2033 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • Modula

  • Referenced in 197 articles [sw01224]
  • The Modula programming language is a descendant of...
  • McEliece

  • Referenced in 264 articles [sw02076]
  • Practical power analysis attacks on software implementations of...
  • BLAST

  • Referenced in 129 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • CUDA

  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SSC2

  • Referenced in 9 articles [sw03430]
  • The software-oriented stream cipher SSC2 SSC2 is...
  • PVS

  • Referenced in 634 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Daikon

  • Referenced in 44 articles [sw04319]
  • The Daikon system for dynamic detection of likely...