• TAF

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

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

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

  • Referenced in 5 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...
  • 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...
  • CAP3

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

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

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

  • Referenced in 102 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...
  • STL

  • Referenced in 73 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 10 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 25 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...
  • 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...
  • WORHP

  • Referenced in 10 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...
  • 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...
  • libMC

  • Referenced in 36 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...
  • IgTree

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

  • Referenced in 5 articles [sw09903]
  • executions that help users understand and debug programs. Given a Maude execution trace ... reverse dependences and causality along the trace in order to incrementally generate highly reduced program...