
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]
 interiorpoint method, branchandcut 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 finitestate 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 SPLUS...

CXSC
 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...

BioPEPA
 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...

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