• KELLEY

  • Referenced in 631 articles [sw04829]
  • reader!) and understand.’ par This book is partitioned into two parts. The first part, occupying ... that the starting point of the optimization iteration is sufficiently close to a solution ... algorithms. Chapter 7 introduces implicit filtering, a technique due to the author and his group...
  • ADVENTURE_Coupler

  • Referenced in 4 articles [sw12181]
  • such as seismic loading. Using iterative partitioned coupling techniques, the authors examine here large-scale ... used. This system adopts an efficient preconditioned iterative linear algebraic solver. A parallel coupling tool...
  • RAMAS

  • Referenced in 12 articles [sw10958]
  • technique for reachability analysis of continuous multi-affine systems based on rectangular partitions. The method ... iterative. At each step, finer partitions and larger discrete quotients are produced. We exploit some...
  • SA-cluster

  • Referenced in 9 articles [sw06867]
  • goal of graph clustering is to partition vertices in a large graph into clusters based ... clustering refinement, the graph edge weights are iteratively adjusted to balance the relative importance between ... consequence, matrix multiplication is repeated in each iteration of the clustering process to recalculate ... save. We further design parallel matrix computation techniques on a multicore architecture. Experimental results demonstrate...
  • Alpine.jl

  • Referenced in 1 article [sw34677]
  • techniques to contract the variable bounds. We apply feasibility-based bound contraction methods iteratively until ... achieved. In the second stage, we partition the variables domains using an adaptive multivariate partitioning...
  • Magiclock

  • Referenced in 1 article [sw25232]
  • present Magiclock, a novel potential deadlock detection technique by analyzing execution traces (containing no deadlock ... occurrence) of large-scale multithreaded programs. Magiclock iteratively eliminates removable lock dependencies before potential deadlock ... divides lock dependencies into thread specific partitions, consolidates equivalent lock dependencies, and searches over...
  • Inc-cluster

  • Referenced in 5 articles [sw06866]
  • goal of graph clustering is to partition vertices in a large graph into clusters based ... clustering refinement, the graph edge weights are iteratively adjusted to balance the relative importance between ... consequence, matrix multiplication is repeated in each iteration of the clustering process to recalculate ... save. We further design parallel matrix computation techniques on a multicore architecture. Experimental results demonstrate...
  • L2CXCV

  • Referenced in 2 articles [sw26952]
  • partition into suitable sets is achieved by a finite iterative algorithm, which is made quite ... divided differences constraints. The quadratic programming technique makes use of active sets and takes advantage...
  • ADOL-C

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

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

  • Referenced in 65 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BoomerAMG

  • Referenced in 196 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • Diffpack

  • Referenced in 115 articles [sw00203]
  • As modern programming methodologies migrate from computer science...
  • Expokit

  • Referenced in 200 articles [sw00258]
  • Expokit provides a set of routines aimed at...