• SODAS

  • Referenced in 70 articles [sw00885]
  • System) is a modular software in which each statistical method (symbolic objects data base, distance ... description of groups, factorial discriminant analysis, principal component analysis, histograms and elementary statistics, segmentation tree...
  • pde2path

  • Referenced in 44 articles [sw08571]
  • continuation/bifurcation package for elliptic systems of PDEs with arbitrary many components, on general two dimensional ... rather general boundary conditions. The package is based on the FEM of the Matlab pdetool...
  • MatrixMarket

  • Referenced in 169 articles [sw04020]
  • matrix generation software and services, from linear systems, least squares, and eigenvalue computations ... matrices in your Web browser, or form-based requests to generate matrices at the Matrix ... Dongarra. The Matrix Market is a component of the NIST project on Tools for Evaluation...
  • FACTum

  • Referenced in 3 articles [sw30951]
  • framework to support the verification of component-based systems combining model checking and interactive theorem ... system properties is split into two steps: First, suitable contracts are specified for the components...
  • CommonKADS

  • Referenced in 29 articles [sw01531]
  • cost effective and quality assured knowledge based system (KBS) development. To enhance flexible reuse, these ... models can be broken down into reusable components, containing artificial problem solving methods and ontologies...
  • MIO Workbench

  • Referenced in 29 articles [sw09762]
  • MIOs) is a new specification theory for systems communicating via inputs and outputs. The approach ... automata, two dominant specification theories for component-based design. This paper presents the MIO Workbench...
  • MAGMA

  • Referenced in 55 articles [sw12741]
  • Multicore+GPU” systems. The MAGMA research is based on the idea that, to address ... frameworks for hybrid manycore and GPU systems that can enable applications to fully exploit ... power that each of the hybrid components offers...
  • SHEEP

  • Referenced in 38 articles [sw00855]
  • computer algebra system for handling calculations of the components of tensors. Its main ... both solid and fluid mechanics. It was based on the Lisp Algebraic Manipulator LAM (whence...
  • PANDAT

  • Referenced in 2 articles [sw27262]
  • optimization, and kinetic simulation of multi-component systems based on CALPHAD (CALculation of PHAse Diagram ... materials property simulation of multi-component systems. The simulation results, which include thermodynamic, kinetic, thermo...
  • JComp

  • Referenced in 1 article [sw30247]
  • transforming the existing system into a component-based system. Based on the automated class dominance ... novel technique to incrementally identify reusable components in a low cost but high precision ... existing object-oriented systems into component-based systems...
  • ABF++

  • Referenced in 27 articles [sw14153]
  • triangles within minutes. It is based on three main components: (1) a new numerical solution ... dramatically reduces the dimension of the linear systems solved at each iteration, speeding...
  • Lean

  • Referenced in 45 articles [sw15148]
  • Lean theorem prover (system description). Lean is a new open source theorem prover being developed ... Mellon University, with a small trusted kernel based on dependent type theory. It aims ... effort, but it already provides many useful components, integrated development environments, and a rich ... used to embed it into other systems. It is currently being used to formalize category...
  • MANIFOLD

  • Referenced in 30 articles [sw02900]
  • kernel of MANIFOLD, based on a two-level transition system model: the first level ... specify the ideal behavior of each single component in a MANIFOLD system, whereas the second...
  • CEOS

  • Referenced in 10 articles [sw02250]
  • Effort calculation is based on decomposing systems into manageable building blocks (components, subsystems, classes...
  • FPC_AS

  • Referenced in 70 articles [sw12218]
  • problem: A fast algorithm for sparse reconstruction based on shrinkage, subspace optimization, and continuation ... recovering sparse solutions to an undetermined system of linear equations Ax=b. The algorithm ... yields an estimate of the subset of components of x likely to be nonzero...
  • STeP

  • Referenced in 36 articles [sw17948]
  • hybrid systems based on their temporal specification. Unlike most systems for temporal verification, STeP ... restricted to finite-state systems, but combines model checking with deductive methods to allow ... broad class of systems, including parameterized (N-component) circuit designs, parameterized (N-process) programs...
  • Access

  • Referenced in 61 articles [sw03704]
  • Microsoft Office Access, is a database management system from Microsoft that combines the relational Microsoft ... Access stores data in its own format based on the Access Jet Database Engine ... ActiveX Data Objects, and many other ActiveX components. Visual objects used in forms and reports ... modules may declare and call Windows operating-system functions...
  • TIMBER

  • Referenced in 21 articles [sw02327]
  • University of Michigan. The system is based upon a bulk algebra for manipulating trees ... that the key intellectual contribution of this system is a comprehensive set-at-a-time ... standard components of relational query processing, including algebraic rewriting and a cost-based optimizer...
  • GELDA

  • Referenced in 33 articles [sw00331]
  • integration methods for general DAEs require the system to have differentiation index not higher than ... valid or if the DAE has undetermined components, then the standard methods as implemented ... fail. The implementation of GELDA is based on the construction of the discretization scheme introduced ... local invariants and then transforms the system (1) into an equivalent strangeness-free DAE with...
  • Paje

  • Referenced in 3 articles [sw00671]
  • extensible, the architecture of the system was based on components which are connected ... Innovative components were designed, in addition to “classical” components existing in similar visualization systems...