• CIL

  • Referenced in 36 articles [sw26691]
  • original source. Moreover, it comes with a front-end that translates to CIL not only...
  • DLV

  • Referenced in 33 articles [sw04640]
  • based on disjunctive logic programming, which offers front-ends to several advanced KR formalisms...
  • ROSETTA

  • Referenced in 23 articles [sw10969]
  • researchers for rapid prototyping, and a GUI front-end developed for knowledge discovery ... process. Jointly, the kernel and the front-end offer a means to effectively and easily...
  • Isabelle/jEdit

  • Referenced in 31 articles [sw06432]
  • with sophisticated front-end technology on the JVM platform, overcoming command-line interaction at last...
  • LOOP

  • Referenced in 29 articles [sw10292]
  • higher order logic. It serves as a front-end to a theorem prover in which...
  • PAKCS

  • Referenced in 28 articles [sw13688]
  • graphical programming environments, an object-oriented front-end for Curry, partial evaluators, database applications, HTML...
  • SUIF

  • Referenced in 27 articles [sw08807]
  • toolkit currently includes C and Fortran front ends, a loop-level parallelism and locality optimizer...
  • SymDiff

  • Referenced in 17 articles [sw13093]
  • discuss the tool and the front-end interface to target various source languages. Finally ... provide a brief description of the front-end for C programs...
  • AbYSS

  • Referenced in 22 articles [sw09881]
  • convergence to the true Pareto fronts and the hypervolume metric...
  • Multivac

  • Referenced in 14 articles [sw06314]
  • Multivac provides an object-oriented framework for front tracking with level set methods ... schemes are available, which support fairly general front advance functions (”speed functions”) but also allow...
  • H-Morph

  • Referenced in 11 articles [sw08564]
  • Morph: An indirect approach to advancing front hex meshing. H-Morph is a new automatic ... tetrahedra into hexahedra. It uses an advancing front technique where the initial front consists ... prescribed quadrilateral surface facets. par Fronts are individually processed by recovering each...
  • GPflow

  • Referenced in 19 articles [sw21518]
  • core computations and Python for its front end. The distinguishing features of GPflow are that...
  • Jakarta

  • Referenced in 18 articles [sw01269]
  • JaKarTa Specification Language (JSL), a front-end for producing highly readable executable specifications; the JaKarTa...
  • MOTGA

  • Referenced in 18 articles [sw02666]
  • different part of the Pareto front. Pre-defined weight vectors act as pivots to define...
  • PANG

  • Referenced in 18 articles [sw10034]
  • PANG algorithm, is based on an advancing front technique and neighboring information. Its implementation...
  • PSPManalysis

  • Referenced in 18 articles [sw20475]
  • Matlab/Octave, for which interpreted language front-ends are included...
  • NSPSO

  • Referenced in 17 articles [sw09598]
  • swarm population towards the Pareto-optimal front. By using the non-dominated sorting concept...
  • Node.js

  • Referenced in 16 articles [sw15665]
  • Nginx server could be placed in-front and proxy static file requests, allowing the Node.js...
  • Ani3D

  • Referenced in 16 articles [sw28031]
  • algebraic solvers. Features: mesh generation using advanced front technique; anisotropic mesh adaptation; generation of local...
  • SatEx

  • Referenced in 15 articles [sw01588]
  • experimentation. It is not only a front end to a database gathering an exhaustive number...