• Algorithm 719

  • Referenced in 41 articles [sw13183]
  • Algorithm 719: Multiprecesion translation and execution of FORTRAN programs. This paper describes two Fortran utilities ... this purpose. The second utility is a translator program, which facilitates the conversion of ordinary ... treated as multiprecision. The translator program reads this source program and outputs a program with ... appropriate multiprecision subroutine calls. This translator supports multiprecision integer, real, and complex datatypes. The required...
  • ANTLR

  • Referenced in 67 articles [sw03062]
  • parser generator for reading, processing, executing, or translating structured text or binary files...
  • CycleGAN

  • Referenced in 67 articles [sw28302]
  • both unpaired and paired image-to-image translation. The code was written...
  • pix2pix

  • Referenced in 66 articles [sw28303]
  • both unpaired and paired image-to-image translation. The code was written...
  • iRSpot-PseDNC

  • Referenced in 65 articles [sw22437]
  • parameters (twist, tilt and roll) and three translational parameters (shift, slide and rise), are incorporated...
  • BioNetGen

  • Referenced in 63 articles [sw09072]
  • precisely for specified enzymatic activities, potential post-translational modifications and interactions of the domains...
  • MFEM

  • Referenced in 62 articles [sw09043]
  • finite element to linear algebra translator”, since it can take a problem described in terms...
  • Hets

  • Referenced in 61 articles [sw07017]
  • providing a tool for heterogeneous specifications. Logic translations are first-class citizens...
  • ARPREC

  • Referenced in 56 articles [sw07222]
  • includes both C++ and Fortran-90 translation modules, so that conventional C++ and Fortran...
  • CVC Lite

  • Referenced in 56 articles [sw07581]
  • PROVE, which calls CVC Lite and translates the resulting proof object back to HOL-Light...
  • GNMT

  • Referenced in 27 articles [sw26579]
  • Google’s Neural Machine Translation System: Bridging the Gap between Human and Machine Translation. Neural ... Machine Translation (NMT) is an end-to-end learning approach for automated translation, with ... weaknesses of conventional phrase-based translation systems. Unfortunately, NMT systems are known to be computationally ... expensive both in training and in translation inference. Also, most NMT systems have difficulty with...
  • StarExec

  • Referenced in 52 articles [sw08839]
  • execution on a large cluster and facilitate translation between logics...
  • VerICS

  • Referenced in 35 articles [sw02011]
  • used. A specification can be translated to timed automata, which are passed to other Verics ... properties, a new efficient method consisting in translating the reachability problem for Timed Automata...
  • Eden

  • Referenced in 28 articles [sw22186]
  • distributed RunTime System (RTS) for Eden. This translation is done in two steps: first Eden ... translated into PEARL (Parallel Eden Abstract Reduction Language), the parallel functional language of DREAM ... then PEARL expressions are translated into imperative code...
  • GEOTHER 1.1

  • Referenced in 32 articles [sw02842]
  • each point in some optimal manner; translate the predicate representation of the theorem into ... using any of the five algebraic provers; translate the generated algebraic nondegeneracy conditions into geometric/predicate...
  • Lparse

  • Referenced in 44 articles [sw04633]
  • semantics (classical negation, partial stable models) by translating them into normal logic programs...
  • Moses

  • Referenced in 25 articles [sw10650]
  • Moses: open source toolkit for statistical machine translation. We describe an open-source toolkit ... statistical machine translation whose novel contributions are (a) support for linguistically motivated factors, (b) confusion ... decoding, and (c) efficient data formats for translation models and language models. In addition ... tuning and applying the system to many translation tasks...
  • MUMMER

  • Referenced in 41 articles [sw17256]
  • generate alignments based upon the six-frame translations of both input sequences. The original MUMmer...
  • Janet

  • Referenced in 37 articles [sw07776]
  • differential equations can be computed. Some procedures translate differential expressions into jet notation and vice...
  • CIL

  • Referenced in 36 articles [sw26691]
  • comes with a front-end that translates to CIL not only ANSI C programs...