• Cython

  • Referenced in 37 articles [sw13752]
  • Cython is an optimising static compiler for both the Python programming language and the extended...
  • LibBi

  • Referenced in 10 articles [sw19384]
  • specific language for model specification, then optimises, generates, compiles and runs code for the given...
  • SAFL

  • Referenced in 5 articles [sw13687]
  • synthesis -- we have built an optimising compiler for translating SAFL to silicon...
  • CodeBoost

  • Referenced in 4 articles [sw09231]
  • handled by the C++ compiler. The CodeBoost optimiser will attempt to bridge the gap between...
  • Ontop

  • Referenced in 9 articles [sw22931]
  • query rewriting,  -mappings compiling R2RML mappings with ontology hierarchies, and  -mapping optimisations using SQL expressivity...
  • COFFEE

  • Referenced in 11 articles [sw20274]
  • COFFEE is a COmpiler For Fast Expression Evaluation. Given mathematical expressions embedded in a loop ... maximise the impact of low level optimisation. For example, COFFEE can analyse the arrays, loops ... transformation for enhancing the effectiveness of compiler auto-vectorisation. COFFEE is currently used in Firedrake ... equations using the finite element method. An optimisation pipeline in COFFEE was designed to exploit...
  • SQLCert

  • Referenced in 1 article [sw28676]
  • compilation chain: the syntactic analysis, the semantics analysis and the logical optimisation steps. To this ... Final Committee draft. As SQL compilers’ logical optimisation is based on algebraic rewritings, we also ... queries) rewritings, yielding strong guarantees for the optimiser. Doing so, we thus formally reconcile ... proposal of a (realistic fragment of) SQL compiler...
  • HOPE

  • Referenced in 1 article [sw21688]
  • HOPE: A Python just-in-time compiler for astrophysical computations, Astronomy and Computing. The Python ... reach the full speed of an optimised native compiled language. In order to combine ... specialised Python just-in-time (JIT) compiler designed for numerical astrophysical applications. HOPE focuses ... performing numerical optimisation on mathematical expressions at runtime. To enable the JIT compilation, the user...
  • DESOLA

  • Referenced in 1 article [sw08885]
  • active part in the compilation, in particular, the optimisation of their client code. This paper ... compositions that occur. The key optimisations in this context are loop fusion and array contraction.par ... IMKL (Intel Math Kernel Library). Excluding runtime compilation overheads (caching means they occur only...
  • CompCertS

  • Referenced in 3 articles [sw22722]
  • memory consumption is preserved by the compiler. CompCertS is based on an enhanced memory model ... challenging proof of an essential optimising pass of the front...
  • MATCH

  • Referenced in 6 articles [sw23010]
  • transcription factor binding sites. Several sets of optimised matrix cut-off values are built ... tissue-specific profiles are provided that were compiled by the TRANSFAC team. A public version...
  • Neco

  • Referenced in 1 article [sw09475]
  • presents Neco that is a Petri net compiler: it takes a Petri ... input and produces as its output an optimised library to e ciently explore the state...
  • TWB

  • Referenced in 3 articles [sw17666]
  • defined by a user is translated and compiled with the proof engine to produce ... variables, as well as hooks for utilising/defining optimisation techniques. We describe the latest version...
  • CAPLib

  • Referenced in 2 articles [sw00104]
  • over the underlying parallel environment. CAPLib contains optimised message passing routines for data exchange between ... parallel execution control, initialisation and debugging. By compiling and linking with different implementations...
  • NiHu

  • Referenced in 1 article [sw22081]
  • application using external open source libraries, or compiling a Matlab toolbox through the MEX interface ... massively exploiting C++ template metaprogramming, NiHu generates optimised codes for specific applications, including heterogeneous problems...
  • mkin

  • Referenced in 0 articles [sw15648]
  • optimisation methods made available by the ’FME’ package. If a C compiler (on windows: ’Rtools...
  • SIMCOS

  • Referenced in 2 articles [sw02851]
  • equations. It is an equation oriented and compiler type of language. Despite its name ... values of parameters), linearisation of models and optimisation (finding such values of parameters that...
  • Irri4web

  • Referenced in 1 article [sw22582]
  • irrigation water and aims at its optimisation by setting up limits to soil moisture ... inferred by a ”(pedo-) landscape map” compiled for this purpose. An estimate of soil water...
  • QAPgrid

  • Referenced in 1 article [sw23152]
  • algorithms and models from combinatorial optimisation. Datasets often contain ”hidden regularities” and a combined identification ... Academic Ranking of World Universities compiled in the The Shanghai Jiao Tong University Academic Ranking...
  • ADOL-C

  • Referenced in 207 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...