• TAF

  • Referenced in 78 articles [sw07492]
  • tool for Fortran-95 programs. TAF supports forward and reverse mode of AD and Automatic...
  • SONEST

  • Referenced in 33 articles [sw24351]
  • computed by the calling program via a reverse communication interface. The algorithms are based...
  • CONEST

  • Referenced in 33 articles [sw24352]
  • computed by the calling program via a reverse communication interface. The algorithms are based...
  • Theseus

  • Referenced in 8 articles [sw19037]
  • Theseus: a high level language for reversible computing. Programming in a reversible language remains “dierent ... than programming in conventional irreversible languages, requiring specialized abstractions and unique modes of thinking ... present a high level language for reversible programming, called Theseus, that meshes naturally with conventional ... strongly typed and all well-typed programs are reversible. We explain the semantics of Theseus...
  • Odyssee

  • Referenced in 32 articles [sw12533]
  • large-size fortran program. The usual drawback in the reverse automatic differentiation method...
  • CAP3

  • Referenced in 15 articles [sw08935]
  • generation of consensus sequences. The program also uses forward–reverse constraints to correct assembly errors...
  • SyReC

  • Referenced in 5 articles [sw23569]
  • SyReC: a programming language for synthesis of reversible circuits. Reversible logic serves as a basis ... particular, how to efficiently synthesize complex reversible circuits is an important question. So far, only ... reversible circuits. Using an existing programming language for reversible software design as basis, we introduce ... operations of the new programming language into a reversible circuit. Experiments show that with...
  • MINRES-QLP

  • Referenced in 10 articles [sw11181]
  • circumvent the need for reverse communication. Example test programs input and solve real or complex...
  • cdd

  • Referenced in 107 articles [sw00114]
  • program cdd+ (cdd, respectively) is a C++ (ANSI C) implementation of the Double Description Method ... capability of handling the dual (reverse) problem without any transformation of data. The dual problem ... functions, cdd/cdd+ can solve the general linear programming (LP) problem to maximize (or minimize...
  • Leonardo

  • Referenced in 6 articles [sw29857]
  • LEONARDO: A C Programming Environment for Reversible Execution and Software Visualization. Leonardo is an integrated...
  • STL

  • Referenced in 78 articles [sw11800]
  • from the inaccurate use of the generic programming paradigm, like dereferencing invalid iterators or misunderstanding ... These scenarios are related to allocators and reverse iterators. We emit warnings while these constructs...
  • cddplus

  • Referenced in 11 articles [sw04443]
  • dimensional vector. The program can be used for the reverse operation (i.e. convex hull computation ... Also, cdd+ can solve a linear programming problem, i.e. a problem of maximizing and minimizing...
  • Seq-Gen

  • Referenced in 30 articles [sw08310]
  • along phylogenetic trees. Seq-Gen is a program that will simulate the evolution of nucleotide ... molecular evolution are implemented including the general reversible model. Nucleotide/Amino acid frequencies and other parameters ... trees may be read in and the program will produce any number of data sets...
  • WORHP

  • Referenced in 15 articles [sw10824]
  • core foundations as a sparse sequential quadratic programming (SQP) / interior-point (IP) method; it includes ... reverse communication, which offers an unprecedented level of interaction between user and nonlinear programming...
  • Eel

  • Referenced in 1 article [sw15214]
  • Algorithms. We introduce a new programming language for expressing reversibility, Energy-Efficient Language (Eel), geared ... take advantage of a partially reversible computation model, where programs can be composed of both ... reversible and irreversible operations. In this model, irreversible operations cost energy for every ... destroyed. To handle programs of varying degrees of reversibility, Eel supports a log stack...
  • jPET

  • Referenced in 3 articles [sw12788]
  • code associated to a Java program. jPET performs reverse engineering of the test-cases obtained ... using it to test source Java programs...
  • libMC

  • Referenced in 40 articles [sw06615]
  • approach to the forward mode is the reverse mode, which performs similar recursive operations ... operator overloading approach (as opposed to program transformation techniques) to automate the relaxation and subgradient...
  • JConstHide

  • Referenced in 2 articles [sw20347]
  • software. Java applications are more amenable to reverse engineering and re-engineering attacks through methods ... decompilation because Java class files store the program in a semi complied form called byte ... code level) of the program makes it more resilient to reverse engineering attacks . But source ... more difficult due to richer set of programming constructs and the scope of the different...
  • Sigma*

  • Referenced in 7 articles [sw21731]
  • define a class of stream filters---programs that process streams of data items---for which ... commutativity, reversibility and idempotence, which is useful for web sanitizer verification and stream programs compiler...
  • IgTree

  • Referenced in 1 article [sw23151]
  • with gaps and find potential reversion mutations. The program also enumerates mutation frequencies and sequence...