• CUTEr

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

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

  • Referenced in 160 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 123 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 181 articles [sw04560]
  • interior-point method, branch-and-cut method, translator for GNU MathProg, application program interface...
  • chammp

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

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

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

  • Referenced in 96 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...
  • EBayesThresh

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

  • Referenced in 71 articles [sw36205]
  • Method for Automatic Evaluation of Machine Translation. Human evaluations of machine translation are extensive ... propose a method of automatic ma- chine translation evaluation that is quick, inexpensive, and language...
  • C-XSC

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

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

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

  • Referenced in 73 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 100 articles [sw10956]
  • Fast LTL to Büchi automata translation. We present an algorithm to generate Büchi automata from...
  • KRAKATOA

  • Referenced in 89 articles [sw03159]
  • proofs, and finally the KRAKATOA tool, a translator of our own, which reads the JAVA...
  • Gibbsit

  • Referenced in 89 articles [sw25318]
  • Markov chain Monte Carlo. An S translation of the Fortran function gibbsit...
  • SYMMGRP.MAX

  • Referenced in 72 articles [sw10756]
  • adaptation of the method. This procedure is translated into a MACSYMA program that performs...
  • 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...