• LTSmin

  • Referenced in 18 articles [sw07214]
  • independent parts: language modules, PINS optimizations, and model checking algorithms. On the other hand ... tools benefit from PINS2PINS optimizations, like local transition caching (which speeds up slow state space ... memory consumption of symbolic algorithms), partial order reduction and linear temporal logic...
  • CC-Pi

  • Referenced in 29 articles [sw15033]
  • this work we propose a simple model of contracts for QoS and SLAs that also ... restricting the scope of names allows for local stores of constraints, which may become global ... richer mechanism of constraint combination. We give reduction-preserving translations of both cc programming...
  • WorkStream

  • Referenced in 10 articles [sw26345]
  • every cell, followed by a reduction of these local results into a global data structure ... WorkStream and that can be used to model such operations and enables...
  • H-PILoT

  • Referenced in 6 articles [sw23305]
  • theory extension (namely for local theory extensions) this hierarchical reduction is sound and complete ... formulae, and can also be used for model generation...
  • SDRcausal

  • Referenced in 1 article [sw38424]
  • package that implements sufficient dimension reduction methods for causal inference as proposed in Ghosh ... outcome regression models, are fitted by using semiparametric locally efficient dimension reduction estimators, thereby allowing...
  • GraphDemo

  • Referenced in 1 article [sw10148]
  • learning algorithms model local neighborhoods using similarity graphs: manifold methods for dimensionality reduction or data...
  • GMsFEM

  • Referenced in 1 article [sw10700]
  • multiscale model reduction technique for constructing a reduced-dimension space based on localized spectral decompositions...
  • DSCOVR

  • Referenced in 6 articles [sw28397]
  • local datasets. In this paper, we focus on distributed optimization of large linear models with ... model partitioning, and exploit its structure by doubly stochastic coordinate optimization with variance reduction (DSCOVR...
  • nprotreg

  • Referenced in 1 article [sw40639]
  • locally weighted rotations. Simulation of sphere-sphere data according to non-rigid rotation models. Provides ... methods for bias reduction applying iterative procedures within a Newton-Raphson learning scheme. Cross-validation...
  • Timed Rebeca

  • Referenced in 3 articles [sw40758]
  • schedulability and deadlock freedom of Timed Rebeca models. The key features of Timed Rebeca, asynchrony ... selected properties, led us to a significant reduction in the state space. In the proposed ... state, instead of that we store the local time of each actor separately. We prove ... problem of the former methods and allows model checking of larger systems...
  • CYCLADES

  • Referenced in 3 articles [sw15227]
  • memory setting. CYCLADES is asynchronous during shared model updates, and requires no memory locking mechanisms ... inherent conflict-free nature and cache locality, our multi-core implementation of CYCLADES consistently outperforms ... gains over asynchronous implementations of variance reduction algorithms...
  • MUSCOP

  • Referenced in 7 articles [sw06143]
  • method for inequality constrained problems and provide local convergence theory. In addition we develop ... convergence of the classical variant for a model problem. Based on numerical results ... grid Newton-Picard framework and yields a reduction of 68% in runtime for a nonlinear...
  • PECANS

  • Referenced in 6 articles [sw02161]
  • methodological approach is based on a reduction process of a physical phenomenon in components; each ... expressive since the model description is attained by means of local rules, which also allows...
  • MpCCI Mapper

  • Referenced in 1 article [sw22569]
  • failure can be caused by local thickness reduction or residual stress peaks which ... entire component. In particular the local hardening step can induce gradients in the phase proportions ... check the geometric compliance of two models by calculating the local distances between them...
  • IBCN

  • Referenced in 3 articles [sw03452]
  • fluid-flow models for ATM IBCN Fluid models for heterogeneous multiplexed traffic are considered. First ... obtainable through a variant of the (locally quadratically convergent) Newton method. For this method, easily ... many cases, results in a great reduction to the amount of computation, without any significant...
  • MRCC

  • Referenced in 0 articles [sw26733]
  • tools of the program several quantum chemistry models and techniques of high complexity have been ... element systems. The developed cost-reduction techniques and local correlation approaches also enable high-precision...
  • ADOL-C

  • Referenced in 247 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ALBERT

  • Referenced in 82 articles [sw00025]
  • ALBERT - Software for scientific computations and applications. Adaptive...
  • ANSYS

  • Referenced in 685 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...