
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 imagetoimage translation. The code was written...

pix2pix
 Referenced in 66 articles
[sw28303]
 both unpaired and paired imagetoimage translation. The code was written...

iRSpotPseDNC
 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 posttranslational 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 firstclass citizens...

ARPREC
 Referenced in 56 articles
[sw07222]
 includes both C++ and Fortran90 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 HOLLight...

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 endtoend learning approach for automated translation, with ... weaknesses of conventional phrasebased 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 opensource 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 sixframe 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 frontend that translates to CIL not only ANSI C programs...