Results 1 to 20 of 93
Sort by:

  • 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...