• Isar

  • Referenced in 138 articles [sw04599]
  • generic (X)Emacs interface for interactive proof assistants, we arrive at a reasonable environment...
  • Turbo Pascal

  • Referenced in 363 articles [sw16451]
  • includes a compiler and an integrated development environment (IDE) for the Pascal programming language running ... name Borland Pascal is also used more generically for Borland’s dialect of the Pascal...
  • KRAKATOA

  • Referenced in 86 articles [sw03159]
  • environment for proving JAVA programs annotated with JML specifications. Our method is generic with respect...
  • Centaur

  • Referenced in 19 articles [sw29541]
  • main components. The system is a generic interactive environment. When given the formal specification...
  • CAESAR_SOLVE

  • Referenced in 14 articles [sw10194]
  • Cadp verification toolbox using the generic Open/Caesar environment and is currently used for three purposes...
  • ISTL

  • Referenced in 18 articles [sw18749]
  • large and sparse linear systems. Using generic programming techniques in C++ one can create solver ... Distributed and Unified Numerics Environment” (DUNE). It applies generic programming in C++ to the domain...
  • CPGraph

  • Referenced in 14 articles [sw08697]
  • contribution package of the generic constraint development environment Gecode. The purpose of this release...
  • TAG

  • Referenced in 75 articles [sw20627]
  • aggregation in low-power, distributed, wireless environments. TAG allows users to express simple, declarative queries ... power, wireless sensors. We discuss various generic properties of aggregates, and show how those properties...
  • CONTENT

  • Referenced in 33 articles [sw01058]
  • generically appear in problems with one free parameter. The software package CONTENT (continuation environment) combines...
  • GME

  • Referenced in 5 articles [sw33604]
  • Generic Modeling Environment is a configurable toolkit for creating domain-specific modeling and program synthesis...
  • GridLab

  • Referenced in 16 articles [sw01629]
  • resources in a real and production grid environment. GAT will provide core, easy ... functionality through a carefully constructed set of generic higher level grid APIs through which ... order to perform efficiently in the grid environment using various, dramatically wild application scenarios...
  • GUIDE

  • Referenced in 2 articles [sw02837]
  • centric application design by a generic scientific simulation environment. Techniques for library-centric application design ... poses new difficulties. A parallel generic scientific simulation environment has been developed to ease this...
  • UG

  • Referenced in 22 articles [sw03500]
  • Ubiquity Generator framework: UG is a generic framework to parallelize branch-and-bound based solvers ... distributed or shared memory computing environment: Exploits powerful performance of state-of-the-art ”base...
  • HOL-Z

  • Referenced in 11 articles [sw02996]
  • proof environment for Z built as plug-in of the generic theorem prover Isabelle/HOL (Version...
  • KOJAK

  • Referenced in 4 articles [sw09129]
  • custom made for this class of computing environments. Current state-of-the-art tools provide ... development of a generic automatic performance analysis environment for parallel programs. Performance problems are specified...
  • ADMIT

  • Referenced in 21 articles [sw02687]
  • using automatic differentiation technology, from a MATLAB environment. Given a function to be differentiated, ADMIT ... derivative matrices (in sparse MATLAB form). A generic automatic differentiation tool, subject to some functionality...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • protocol for mathematical services can be relatively generic (hence KQML suffices), as long ... distributed theorem proving and symbolic computation environments...
  • DAGuE

  • Referenced in 10 articles [sw20709]
  • DAGuE: A generic distributed DAG engine for High Performance Computing. The frenetic development ... current state-of-the-art programming environments. Harnessing the full potential of such architectures ... scientific computing community. We present DAGuE a generic framework for architecture aware scheduling and management...
  • PEBBL

  • Referenced in 11 articles [sw13809]
  • environments. PEBBL can be customized to support application-specific operations, while managing the generic aspects...
  • PaInleSS

  • Referenced in 3 articles [sw21967]
  • solvers for many-core environments. Thanks to its genericity and modularity, it provides the implementation...