• Isar

  • Referenced in 144 articles [sw04599]
  • theorems, proof procedures etc. may be used interchangeably between Isabelle-classic proof scripts and Isabelle/Isar...
  • LISP

  • Referenced in 126 articles [sw07201]
  • domain-specific languages embedded in Lisp. The interchangeability of code and data also gives Lisp...
  • Cactus

  • Referenced in 81 articles [sw04422]
  • latest advances in computational science, such as interchangeable parallel data distribution and high performance...
  • PAUP*

  • Referenced in 57 articles [sw07834]
  • common data file format (NEXUS), allowing easy interchange of data between the two programs...
  • PNML

  • Referenced in 40 articles [sw03257]
  • formal semantics and syntax to enable model interchange and industrial dissemination. Part 2 defines ... concrete interchange format as an XML-based language: PNML. This language is bound to evolve...
  • BPEL2PN

  • Referenced in 18 articles [sw06954]
  • write out the net into the standard interchange format for Petri nets, the Petri...
  • libalf

  • Referenced in 12 articles [sw09880]
  • automata). libalf is flexible and allows facilely interchanging learning algorithms and combining domain-specific features...
  • Exp.Open

  • Referenced in 10 articles [sw07702]
  • export models towards other tools using interchange formats such as automata networks and Petri nets.Finally...
  • FLASH Code

  • Referenced in 8 articles [sw00294]
  • components to co-exist and interchange with each other. A simple and elegant mechanism exists...
  • SchemaSQL

  • Referenced in 8 articles [sw24371]
  • which data and schema may be interchanged. (3) It also permits the creation of views...
  • GraphXML

  • Referenced in 5 articles [sw01695]
  • that can be used as an interchange format for graph drawing and visualization packages ... make it possible to define an interchange format that not only supports the pure, mathematical...
  • evmix

  • Referenced in 7 articles [sw19523]
  • provided, so that users can safely interchange most code...
  • RCWA

  • Referenced in 6 articles [sw00786]
  • simple group which is generated by involutions interchanging disjoint residue classes of Z and which...
  • GLift

  • Referenced in 5 articles [sw06826]
  • simplifying algorithmic development and enabling reusable and interchangeable data structures. We characterize a large body...
  • VarianceGamma

  • Referenced in 5 articles [sw11603]
  • checking the validity of parameters and to interchange different sets of parameterizatons for the variance...
  • FastMe

  • Referenced in 5 articles [sw28027]
  • version of FastME only included Nearest Neighbor Interchange. The new 2.0 version also includes Subtree...
  • XSugar

  • Referenced in 5 articles [sw35682]
  • successful as a machine processable data interchange format, but it is often too verbose...
  • PiXL

  • Referenced in 3 articles [sw01975]
  • based language named PiXL (Protocol Interchange using XML Languages), responsible for interchanging the whole specification...
  • ROSE

  • Referenced in 4 articles [sw04891]
  • aggressive loop optimizations such as fusion, fission, interchange, unrolling, and blocking...
  • ucminf

  • Referenced in 4 articles [sw11276]
  • interface of ’ucminf’ is designed for easy interchange with ’optim...