Results 1 to 20 of 51
Sort by:

  • 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...