• DeepBugs

  • Referenced in 1 article [sw40138]
  • framework detect accidentally swapped function arguments, incorrect binary operators, and incorrect operands in binary operations...
  • BRAINSTools

  • Referenced in 1 article [sw25759]
  • Slicer3 execution model framework to define the command line arguments and can be fully integrated...
  • GCminor

  • Referenced in 4 articles [sw22622]
  • trust. As an example application of our framework, we describe a compiler for Haskell that ... support a simple but useful memory safety argument for this compiler, the front end uses...
  • Zelig

  • Referenced in 9 articles [sw17526]
  • package Zelig. Everyone’s Statistical Software. A framework that brings together an abundance of common ... common uniformly structured call and set of arguments. Moreover, Zelig automates all the surrounding building...
  • LamatzSolver

  • Referenced in 1 article [sw22093]
  • abstract framework [4] in the contest of International Competition on Computational Models of Argumentation (ICCMA ... based on the Java-Collections-Framework...
  • EVL

  • Referenced in 1 article [sw40278]
  • Framework for Multi-Methods in C++. Multi-methods are functions whose calls at runtime ... dynamic types of more than one argument. They are useful for common programming problems. However ... present the EVL (Extended Virtual function Library) framework which provides a set of classes ... than class inheritance. For instance, the EVL framework provides multi-methods with predicate dispatch...
  • Storm

  • Referenced in 1 article [sw41844]
  • framework for reducing probabilistic programs. Given a probabilistic program (with associated data and inference arguments...
  • BRECCIA

  • Referenced in 1 article [sw31708]
  • BRECCIA: A novel multi-source fusion framework for dynamic geospatial data analysis. Geospatial Intelligence analysis ... this is a novel approach to probabilistic argumentation analysis...
  • GlobalAncova

  • Referenced in 8 articles [sw30019]
  • global F-test. We give the following arguments in support of the GlobalAncova approach: After ... approximation yields asymptotic p-values. The framework is generalized to groups of categorical variables...
  • SHRAD

  • Referenced in 6 articles [sw02663]
  • sequential fragment of Real-PCF. The previous argument suggests some sort of compromise ... where we succeed in presenting a framework for exact real number computation which satisfies...
  • GrappaVis

  • Referenced in 2 articles [sw21598]
  • GrappaVis - A System For Advanced Graphical Argumentation Formalisms. Welcome to the system page of GrappaVis ... JAVA-application based on the JGraphX framework and therefore provides intuitive tools to draw GRAPPA...
  • BMI

  • Referenced in 1 article [sw39902]
  • named set of functions with prescribed arguments and return values. The BMI functions make ... describing and fully controllable by a modeling framework or application. By design, the BMI functions...
  • ClaimEval

  • Referenced in 1 article [sw23918]
  • ClaimEval: integrated and flexible framework for claim evaluation using credibility of sources. The World Wide ... extracts a set of pro and con arguments from the Web information sources, and jointly ... resulting in a flexible and principled framework which makes it easy to state and incorporate...
  • tasks.lib

  • Referenced in 1 article [sw35692]
  • tasks. This library provides a parallel framework based on tasks. It introduces a new Singular ... string) applied to a list of arguments. Tasks can be computed in parallel...
  • VPDMf

  • Referenced in 1 article [sw01458]
  • strategy called the `View-Primitive Data Model framework’ (or `VPDMf’) derived from the design ... within neuroinformatics. We present the argument that the only way to fulfill on demands...
  • ETCH

  • Referenced in 3 articles [sw07636]
  • guarantee static detection of mismatched message arguments in Promela specifications that use dynamic channel passing ... implemented using the SableCC parser generation framework...
  • PISKaS

  • Referenced in 1 article [sw29283]
  • mpirun tool of your MPI framework, and give as ”number-of-cores” parameter ... step for your simulation using the PISKaS argument -sync-t. This argument defines the time...
  • Jug

  • Referenced in 3 articles [sw27402]
  • executable record of parameters and command line arguments leads to error-prone analysis and opens ... designed) and implemented. Under many frameworks, this causes having a single point of entry...
  • dynPARTIX

  • Referenced in 1 article [sw30435]
  • Tool. dynPARTIX is a system for abstract argumentation which is based on decomposition and dynamic ... practice, we shall use the SHARP framework, a C++ environment which includes heuristic methods...
  • MiniBrass

  • Referenced in 1 article [sw31298]
  • modeling language building on the unifying algebraic framework of partially ordered valuation structures (PVS) that ... semiring from an arbitrary PVS. Both arguments draw upon elements from category theory. MiniBrass turns...