• CUTEr

  • Referenced in 545 articles [sw04010]
  • available as a separate package. Once translated, these files may be manipulated to provide tools...
  • MapReduce

  • Referenced in 234 articles [sw00546]
  • massively parallel data analysis applications. The translation and optimization from relational algebra operators to MapReduce...
  • ETPS

  • Referenced in 152 articles [sw06302]
  • facilities for searching for expansion proofs, translating these into natural deduction proofs, constructing natural deduction ... proofs, translating natural deduction proofs which do not contain cuts into expansion proofs, and solving...
  • Java PathFinder

  • Referenced in 119 articles [sw07658]
  • using JAVA PathFinder. The paper describes a translator called JAVA PATHFINDER (JPF), which translates from ... language of the SPIN model checker. JPF translates a given JAVA program into a PROMELA ... JAVA program may contain assertions, which are translated into similar assertions in the PROMELA model...
  • GLPK

  • Referenced in 162 articles [sw04560]
  • interior-point method, branch-and-cut method, translator for GNU MathProg, application program interface...
  • Esterel

  • Referenced in 161 articles [sw20012]
  • programming reactive systems, and a compiler which translates Esterel programs into finite-state machines...
  • CESAR

  • Referenced in 154 articles [sw08510]
  • system consists in obtaining by automatic translation of its description program an Interpreted Petri...
  • chammp

  • Referenced in 142 articles [sw11655]
  • support, (iv) forced nonlinear system with a translating low pressure centre, (v) zonal flow over...
  • EBayesThresh

  • Referenced in 110 articles [sw11104]
  • scripts in this library are a translation of the corresponding R package or S-PLUS...
  • C-XSC

  • Referenced in 106 articles [sw00181]
  • computers with a C++ compiler translating the AT&T language standard...
  • MINLPLib

  • Referenced in 74 articles [sw06172]
  • model collection is augmented with a translation server that can transform the models from their ... AMPL, BARON, LGO, LINGO, and MINOPT. The translation server can also be used to transform...
  • Bio-PEPA

  • Referenced in 102 articles [sw01361]
  • language. Finally, we show the translation of a biological model into thenew language...
  • TPS

  • Referenced in 71 articles [sw00973]
  • facilities for searching for expansion proofs, translating these into natural deduction proofs, constructing natural deduction ... proofs, translating natural deduction proofs which do not contain cuts into expansion proofs, and solving...
  • LTL2BA

  • Referenced in 95 articles [sw10956]
  • Fast LTL to Büchi automata translation. We present an algorithm to generate Büchi automata from...
  • Gringo

  • Referenced in 94 articles [sw04630]
  • tool, gringo, is a grounder capable of translating logic programs provided by users into equivalent...
  • KRAKATOA

  • Referenced in 85 articles [sw03159]
  • proofs, and finally the KRAKATOA tool, a translator of our own, which reads the JAVA...
  • 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...
  • SYMMGRP.MAX

  • Referenced in 71 articles [sw10756]
  • adaptation of the method. This procedure is translated into a MACSYMA program that performs...
  • Gibbsit

  • Referenced in 69 articles [sw25318]
  • Markov chain Monte Carlo. An S translation of the Fortran function gibbsit...
  • iRSpot-PseDNC

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