• SparseMatrix

  • Referenced in 573 articles [sw04629]
  • matrices cover a wide spectrum of domains, include those arising from problems with underlying ... structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics, computer graphics/vision...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • narrowing as the basis of a lazy reduction semantics which embodies both rewriting ... also a declarative semantics, based on Scott domains, which provides a notion of least Herbrand ... well as a soundness result for the reduction semantics w.r.t. the declarative one. We also...
  • CALMA

  • Referenced in 102 articles [sw03235]
  • assigned an operating frequency from a given domain. The assignment has to satisfy certain restrictions ... methods, genetic algorithms, neural networks, and potential reduction. These algorithms were tested and compared...
  • BILUTM

  • Referenced in 39 articles [sw07243]
  • BILUTM: A domain-based multilevel block ILUT preconditioner for general sparse matrices The purpose ... factorization with an algebraic multilevel recursive reduction. This is implemented which is shown...
  • POMDPS

  • Referenced in 34 articles [sw03055]
  • sequential decision-making under uncertainty in stochastic domains. However, solving a POMDP is often intractable ... environments under various metrics (return, error bound reduction, lower bound improvement). Our experimental results indicate ... heuristic search methods can handle large POMDP domains efficiently...
  • Metalibm

  • Referenced in 2 articles [sw11116]
  • functions within a known scheme: range reduction (domain splitting), polynomial approximation and reconstruction. This approach...
  • PMTBR

  • Referenced in 17 articles [sw02086]
  • family of approximate principal-components-like reduction algorithms We present a family of algorithms that ... considered intermediate between frequency domain projection methods and approximation of truncated balanced realizations. The methods...
  • PAT

  • Referenced in 30 articles [sw13258]
  • concurrent, real-time systems and other possible domains. It comes with user friendly interfaces, featured ... implemented in PAT, e.g. partial order reduction, symmetry reduction, process counter abstraction, parallel model checking...
  • gpuSPHASE

  • Referenced in 3 articles [sw22289]
  • years so that a reduction to a 2D domain is inevitable. In this paper gpuSPHASE...
  • LoLA

  • Referenced in 24 articles [sw04381]
  • integrate LoLA into tools of different application domains. LoLA supports place/transition nets. Implemented verification techniques ... system execution are supported. For state space reduction, LoLA features symmetries, stubborn sets, and coverability...
  • FODD-Planner

  • Referenced in 14 articles [sw07747]
  • particular algebraic decision diagrams, to capture domain dynamics and value functions. Work on symbolic dynamic ... make the approach practical. These include new reduction operators that decrease the size ... problems. The system is evaluated on several domains, including problems from the recent international planning...
  • SuitSparseQR

  • Referenced in 26 articles [sw07592]
  • waveform tomography. In this paper, a frequency-domain finite difference package written in MATLAB ... boundary and supports anti-time aliasing and reduction velocity technique. Different attenuation mechanisms can easily...
  • freqdom

  • Referenced in 1 article [sw32409]
  • frequency domain tools. These frequency domain methods for dimensionality reduction of multivariate time series were...
  • Luck

  • Referenced in 3 articles [sw21716]
  • complex domains with comparable bug-finding effectiveness and a significant reduction in testing code size...
  • URSA

  • Referenced in 3 articles [sw15541]
  • reduction to SAT is defined precisely by the semantics of the specification language. The domain...
  • EigenCFA

  • Referenced in 3 articles [sw14136]
  • reduction were “abstract” Church encodings, and encodings of the syntax tree and abstract domains...
  • WebClipper

  • Referenced in 1 article [sw01015]
  • narrow the search domain for web surfers, leading to a reduction in the cognitive load...
  • FunArray

  • Referenced in 14 articles [sw13708]
  • painless and efficient lifting of existing abstract domains for scalar variables to the analysis ... bound expressions, segment abstractions and the reduction operator. Once the functor has been instantiated with...
  • DesertFD

  • Referenced in 2 articles [sw06586]
  • decisions at design time. DesertFD is a domain-independent design space exploration tool which facilitates ... pruning of the space. We discuss the reduction of the design space, property composition formulas ... into a constraint satisfaction problem using finite domain constraints. We examine two example design space...
  • Green

  • Referenced in 2 articles [sw29920]
  • large scale data centers. Several application domains offer the opportunity to tradeoff quality of service/solution ... improvements in performance and reduction in energy consumption. Programmers sometimes take advantage of such opportunities ... compiler framework. Our experiments using benchmarks from domains such as graphics, machine learning, signal processing...