• LTL2BA

  • Referenced in 95 articles [sw10956]
  • Fast LTL to Büchi automata translation. We present an algorithm to generate Büchi automata from ... order to save memory and time. As usual we simplify the LTL formula before...
  • PALLOC

  • Referenced in 5 articles [sw20960]
  • exploits page-based virtual-to-physical memory translation to selectively allocate memory pages of each...
  • SphereTransform.py

  • Referenced in 2 articles [sw34731]
  • fully sampled (non-decimated), translation invariant, fast, but memory-consuming implementation; A fully sampled, translation ... subsampled (decimated), not translation invariant, but fast and memory-efficient implementation. 2) Implementations (in AdaptiveAlpha.py...
  • MUMMER

  • Referenced in 39 articles [sw17256]
  • seconds, using 78 MB of memory, on a 2.4 GHz Linux desktop computer. MUMmer ... generate alignments based upon the six-frame translations of both input sequences. The original MUMmer...
  • Algorithm 913

  • Referenced in 22 articles [sw12775]
  • Gijzen [2008] is a very efficient limited memory method for solving large nonsymmetric systems ... Gijzen [2008] is a direct translation of the theorem into an algorithm. This translation...
  • DG2VHDL

  • Referenced in 3 articles [sw00202]
  • DG2VHDL, a design tool which can automatically translate abstract algorithmic descriptions, known as dependence graphs ... distributed memory and control processor arrays, known as signal flow graphs. This translation facilitates...
  • opty

  • Referenced in 1 article [sw29116]
  • been optimized for speed and memory consumption. The translation of the dynamical system description...
  • phraseNet

  • Referenced in 0 articles [sw15327]
  • Neural Machine Translation with External Phrase Memory. In this paper, we propose phraseNet, a neural ... machine translator with a phrase memory which stores phrase pairs in symbolic form, mined from ... given source sentence, phraseNet scans the phrase memory to determine the candidate phrase pairs ... English translation shows that, with carefully-chosen phrase table in memory, phraseNet yields 3.45 BLEU...
  • EVC

  • Referenced in 8 articles [sw13374]
  • logic of Equality with Uninterpreted Functions and Memories (EUFM). The logic expresses connectness of high ... exploits positive equality and other optimizations when translating a formula in EUFM to a propositional...
  • GCminor

  • Referenced in 4 articles [sw22622]
  • language, GCminor, that includes primitives for allocating memory in a garbage-collected heap ... collection; and (iii) a proven semantics-preserving translation from GCminor to Cminor plus ... describe a compiler for Haskell that translates the Glasgow Haskell Compiler’s Core intermediate language ... GCminor. To support a simple but useful memory safety argument for this compiler, the front...
  • PyCUDA

  • Referenced in 15 articles [sw09005]
  • detach from a context before all memory allocated in it is also freed. Convenience. Abstractions ... Error Checking. All CUDA errors are automatically translated into Python exceptions. Speed. PyCUDA’s base...
  • hiCUDA

  • Referenced in 6 articles [sw12727]
  • computation, and of managing the GPU memory. Along with the language, we have designed ... prototype source-to-source compiler that translates a hiCUDA program (i.e. a sequential C program...
  • Wine

  • Referenced in 4 articles [sw23866]
  • translates Windows API calls into POSIX calls on-the-fly, eliminating the performance and memory...
  • DaStGen

  • Referenced in 3 articles [sw30530]
  • memory manually is error-prone and cumbersome. This paper presents the tool DaStGen translating classes ... Using the tool reduces any algorithm’s memory footprint, it speeds up memory-bounded applications...
  • ccNUMA

  • Referenced in 13 articles [sw01477]
  • viable high-level programming model for shared memory parallel systems. Although it has also been ... application development and incorporates a system to translate standard loop-level parallel OpenMP code, with...
  • TreeFTL

  • Referenced in 2 articles [sw20271]
  • NAND flash memory is widely used for secondary storage today. The flash translation layer...
  • STAPL

  • Referenced in 14 articles [sw00910]
  • processor systems that utilize shared or distributed memory. STAPL is implemented using simple parallel extensions ... replace STL automatically by invoking a preprocessing translation phase. In the applications studied, the performance...
  • OPTYap

  • Referenced in 13 articles [sw13883]
  • limited speedups from parallel execution can directly translate to very significant productivity gains ... engine -- OPTYap -- and we used a shared-memory parallel machine to evaluate its performance...
  • BSP2OMP

  • Referenced in 1 article [sw02032]
  • BSP2OMP: A compiler for translating BSP programs to OpenMP The convergence of the two widely ... used parallel programming paradigms, shared-memory and distributed-shared-memory parallel programming models, into ... parallel programming models: a shared-memory programming model (OpenMP) and a distributed-shared programming model ... carried out by designing a compiler for translating BSP parallel programs to an OpenMP programming...
  • TFad

  • Referenced in 9 articles [sw07478]
  • straightforwardly, may use a prohibitive amount of memory. In this case, applying AD separately ... used in fully general source-to-source translators...