• Z

  • Referenced in 274 articles [sw10291]
  • with the refinement calculus and data refinement. The overall presentation is fluent, with many well...
  • deal.ii

  • Referenced in 515 articles [sw03516]
  • modern interface to the complex data structures and algorithms required. The main aim of deal.II ... details of grid handling and refinement, handling of degrees of freedom, input of meshes...
  • Autoref

  • Referenced in 14 articles [sw12809]
  • Automatic data refinement. We present the Autoref tool for Isabelle/HOL, which automatically refines algorithms specified ... like red-black-trees, and produces a refinement theorem. It is based on ideas borrowed ... executable data structures.par Thanks to its integration with the Isabelle refinement framework and the Isabelle ... verified data structures. We have evaluated the tool by synthesizing efficiently executable refinements for some...
  • HOL-Z

  • Referenced in 11 articles [sw02996]
  • from refinement statements for functional and data refinement...
  • BoxLib

  • Referenced in 19 articles [sw11472]
  • each FAB is an array of data on a single grid. During each MultiFab operation ... each level of refinement are distributed independently. The software supports two data distribution schemes ... exchange between processors. Each processor contains meta-data that is needed to fully specify ... each AMR level of refinement. The meta-data can thus be used to dynamically evaluate...
  • RAMSES

  • Referenced in 24 articles [sw18064]
  • with a tree-based data structure allowing recursive grid refinements on a cell-by-cell...
  • Dijkstra Shortest Path

  • Referenced in 9 articles [sw28550]
  • algorithm is implemented using the data refinement framework for monadic, nondeterministic programs. An efficient implementation...
  • Refinement Monadic

  • Referenced in 6 articles [sw28551]
  • provide a framework for program and data refinement in Isabelle/HOL. The framework is based ... verification condition generation, finding appropriate data refinement relations, and refine an executable program...
  • Gabow SCC

  • Referenced in 8 articles [sw28915]
  • components of a directed graph. Using data refinement techniques, we extract efficient code that performs...
  • Amos

  • Referenced in 58 articles [sw06515]
  • refine models. Uses Bayesian analysis—to improve estimates of model parameters. Offers various data imputation...
  • Separation Logic

  • Referenced in 7 articles [sw28549]
  • develop generic imperative algorithms and use data-refinement techniques. As we target Imperative...
  • KIDS

  • Referenced in 10 articles [sw15441]
  • simplification, partial evaluation, finite differencing optimizations, data type refinement, compilation, and other development operations. Although...
  • Data Refinement IBP

  • Referenced in 3 articles [sw28836]
  • DataRefinementIBP: Semantics and Data Refinement of Invariant Based Programs. The invariant based programming ... proving that they preserve the invariants. Data refinement is a technique of building correct programs ... working on concrete datatypes as refinements of more abstract programs. In the theories presented here ... invariant based programs and their data refinement...
  • Rabbit

  • Referenced in 24 articles [sw01317]
  • provides reachability analysis and refinement checking, both implemented using the data structure BDD. Good variable...
  • DIMTEST

  • Referenced in 12 articles [sw33561]
  • Refinements of Stout’s Procedure for Assessing Latent Trait Unidimensionality. This article provides a detailed ... trait model fits observed binary item response data from a psychological test. One finding ... statistic on which DIMTEST depends. These three refinements have led to an improved procedure that ... validated on a selection of real data sets...
  • UG

  • Referenced in 186 articles [sw04596]
  • this. Firstly, the multigrid solution and adaptive refinement for many engineering applications are still ... space dimensions as well as a flexible data layout. Therefore, it can serve...
  • CVXGEN

  • Referenced in 37 articles [sw07151]
  • refinement in the search direction computation yields reliable performance, even with poor quality data...
  • Isabelle/Circus

  • Referenced in 13 articles [sw15208]
  • data and behavior specifications, using an integration of Z and CSP with a refinement calculus ... allows for proofs of refinement for Circus processes (involving both data and behavioral aspects). This...
  • Collections

  • Referenced in 4 articles [sw28610]
  • framework features the use of data refinement techniques to refine an abstract specification (using high...
  • Tree Automata

  • Referenced in 3 articles [sw28835]
  • less-concrete, non-executable algorithms using data-refinement techniques. The concrete data structures are from...