• RTEHunter

  • Referenced in 0 articles [sw25376]
  • states, maximum depth of the symbolic execution tree and search strategy in order to find...
  • PANOW

  • Referenced in 5 articles [sw10156]
  • PANOW is a software dedicated to the search of rare words in biological sequences (over ... occurrence times of a string of symbols in a stochastic process with mixing properties (such...
  • CDNA

  • Referenced in 9 articles [sw37103]
  • measure the ”predictability/compressibility” of a symbol sequence based on inexact matches. The local context ... program relies on fast inexact nearest neighbor search and online EM to produce something closer...
  • ExplicitPRISMSymm

  • Referenced in 2 articles [sw13369]
  • model checking of concurrent system involves exhaustive search of the reachable state space associated with ... Most work on symmetry reduction focuses on symbolically represented probabilistic models, which are easy...
  • Kima

  • Referenced in 3 articles [sw08979]
  • errors. Kima realizes automated correction by replacing symbol occurrences around the possible sources and recalculating ... alternatives that include an intended program. Search space is kept small because the minimal subset...
  • QGRS mapper

  • Referenced in 2 articles [sw27630]
  • annotated entries of public genomic databases (GenBank/RefSeq), search transcribed regions of the genes for occurrences ... user can provide a Gene Name, Gene Symbol or Entrez Gene ID to retrieve...
  • NIRA-GUI

  • Referenced in 1 article [sw26185]
  • coupled-constraint games. It implements an equilibrium search method based on the Nikaido-Isoda function ... allows the user to specify the game symbolically...
  • lsystem

  • Referenced in 0 articles [sw05457]
  • system consists of a starting string of symbols from an alphabet which has repeated transitions ... specified by a list of transition search-and-replace rules. In addition to the standard ... generate fractal patterns (usually via mapping symbols from the alphabet to turtle commands), organic-looking...
  • RevSCA

  • Referenced in 1 article [sw37909]
  • recent years, formal methods based on Symbolic Computer Algebra (SCA) have shown very good results ... multiplier netlist, and (2) extremely large search space for finding the source of the vanishing...
  • Z3str2

  • Referenced in 3 articles [sw30520]
  • cross-domain heuristics; and (3) a binary search based heuristic, allowing the procedure to skip ... enabled by Z3str2 in the context of symbolic execution for string-manipulating programs. We observe...
  • Wave2Vec

  • Referenced in 1 article [sw37868]
  • this field has been focused on searching for new knowledge for predicting and diagnosing disease ... number time series, into a sequence of symbols or a sequence of wavelet patterns that...
  • MSeqGen

  • Referenced in 0 articles [sw07264]
  • often challenging due to a large search space of possible sequences. On the other hand ... test-generation approaches: random testing and dynamic symbolic execution. We conduct two evaluations to show...
  • ADOL-C

  • Referenced in 242 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ATLAS

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

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

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

  • Referenced in 634 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

  • Referenced in 200 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • CUTE

  • Referenced in 64 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...