• Ninf-G/MPI

  • Referenced in 45 articles [sw03461]
  • present paper, we propose a hybrid parallel method for large sparse eigenvalue problems ... models. In order to improve the parallel efficiency of the method, we propose a hybrid...
  • CorrT

  • Referenced in 6 articles [sw26432]
  • approaching zero for sparse and many dense models. In fact, CorrT is also shown ... frameworks: sparse, non-sparse and hybrid models where sparse and dense signals are mixed. Numerical...
  • SPHIN

  • Referenced in 5 articles [sw19754]
  • SPHIN: A model checker for reconfigurable hybrid systems based on SPIN. We present SPHIN ... model checker for reconfigurable hybrid systems based on the model checker SPIN. We observe that ... tool’s capabilities by modeling and verifying a reconfigurable hybrid system...
  • CULA

  • Referenced in 11 articles [sw12745]
  • CULA: Hybrid GPU accelerated linear algebra routines. The modern graphics processing unit (GPU) found ... solution and least squares. The GPU execution model featured by NVIDIA GPUs based on CUDA ... work addresses this via hybrid a processing model, in which the CPU and GPU work...
  • R-Charon

  • Referenced in 4 articles [sw19756]
  • Charon, a modeling language for reconfigurable hybrid systems. This paper describes the modeling language ... architectural reconfiguration to the existing distributed hybrid system modeling language Charon. The target application domain ... Charon is the first formal, hybrid automata based modeling language which also addresses dynamic reconfiguration...
  • iSS-Hyb-mRMR

  • Referenced in 3 articles [sw22414]
  • sites. METHODS: In this study, a hybrid model ”iSS-Hyb-mRMR” is proposed for quickly ... extract numerical descriptors from DNA sequences. Hybrid model was developed by concatenating PseTNC and PseTetraNC ... maximum relevance algorithm was applied on the hybrid feature space. The performance of these feature ... observed, that the performance of proposed model is higher than the existing methods...
  • C2e2

  • Referenced in 11 articles [sw20139]
  • C2e2: A verification tool for stateflow models. Compare Execute Check Engine (C2E2) is a tool ... bounded-time invariant properties of hybrid system and Stateflow models. It supports nonlinear dynamics...
  • COSMOS

  • Referenced in 6 articles [sw13329]
  • COSMOS: a statistical model checker for the hybrid automata stochastic logic. This tool paper introduces ... Cosmos, a statistical model checker for the Hybrid Automata Stochastic Logic (HASL). HASL employs Linear ... Hybrid Automata (LHA), a gen eralization of Deterministic Timed Automata (DTA), to describe relevant execution ... Stochastic Process (DESP), a class of stochastic models which includes, but is not limited...
  • dReach

  • Referenced in 19 articles [sw20164]
  • highly nonlinear hybrid systems. It has scaled well on various realistic models from biomedical...
  • dHybrid

  • Referenced in 4 articles [sw18070]
  • code is based on an explicit hybrid model; the numerical stability and parallel scalability ... near zero density, is proposed. Three-dimensional hybrid simulations of the interaction of the solar...
  • LySHA

  • Referenced in 4 articles [sw20150]
  • founded relations for the loops of the hybrid automaton. The algorithm is complete for automata ... integrated with a Simulink/Stateflow frontend for modeling hybrid systems. The experimental results demonstrate the effectiveness...
  • LibD3C

  • Referenced in 4 articles [sw21627]
  • presented; this approach is a hybrid model of ensemble pruning that is based...
  • SLAM

  • Referenced in 5 articles [sw17327]
  • generalized pair hidden Markov model, a hybrid of (1) generalized hidden Markov models, which have...
  • HyComp

  • Referenced in 4 articles [sw20163]
  • HyComp: An SMT-based model checker for hybrid systems. HyComp is a model checker...
  • G12

  • Referenced in 11 articles [sw10112]
  • mapping Zinc models to underlying solvers and/or search strategies, including hybrid approaches. Finally, existing Mercury ... extensible and hybridizable solvers. The same Zinc model, used with different Cadmium mappings, will allow ... experiment with different complete, local, or hybrid search approaches for the same problem. This talk...
  • FLAG

  • Referenced in 11 articles [sw09041]
  • Lagrangian (ALE) framework. To model ejecta in FLAG, a hybrid particle-continuum representation was defined ... continuum materials on large (bulk) scales. Numerical models were developed and implemented for particle production...
  • SHAVE

  • Referenced in 3 articles [sw20171]
  • SHAVE: stochastic hybrid analysis of Markov population models (tool presentation). We present a tool called ... intermediate step, SHAVE constructs a stochastic hybrid model from the original process which is then...
  • PyDSTool

  • Referenced in 18 articles [sw06718]
  • dynamical systems models of physical systems (ODEs, DAEs, maps, and hybrid systems). PyDSTool is platform ... analysis, data analysis, and other tools for modeling -- particularly for biological applications. The project...
  • HyDI

  • Referenced in 3 articles [sw11912]
  • validation techniques. Hybrid automata are a clean and consolidated formal language for modeling embedded systems ... propose a new language, HYDI, for modeling Hybrid systems with Discrete Interaction. The purpose ... apply state-of-the-art symbolic model checkers for infinite-state systems to the verification...
  • CalCS

  • Referenced in 8 articles [sw13098]
  • including formulas generated from bounded model checking of hybrid automata and static analysis of floating...