• Robust Control Toolbox

  • Referenced in 155 articles [sw07907]
  • with multiple tunable blocks spanning multiple feedback loops. The toolbox lets you tune one controller ... plant models. You can also tune gain-scheduled controllers. You can specify multiple tuning objectives ... tracking, disturbance rejection, stability margins, and closed-loop pole locations...
  • ReCaml

  • Referenced in 2 articles [sw11326]
  • outermost loops of servers, OS scheduling loops and recursive functions. Permitting a dynamic update...
  • HaLoop

  • Referenced in 3 articles [sw27955]
  • large clusters. Simply speaking, HaLoop = Ha, Loop:-) HaLoop is a modified version of the Hadoop ... their efficiency by making the task scheduler loop-aware and by adding various caching mechanisms...
  • doRNG

  • Referenced in 6 articles [sw25093]
  • fully reproducible loops, independently of the number of workers, the task scheduling strategy...
  • Alpha

  • Referenced in 6 articles [sw13717]
  • different analyses (scheduling, lifetime, etc.) may guide the transformations towards imperative loop code for general...
  • Model Predictive Control Toolbox

  • Referenced in 13 articles [sw21937]
  • horizons, constraints, and weights. By running closed-loop simulations, you can evaluate controller performance ... plant, you can implement adaptive and gain-scheduled MPCs. For applications with fast sample rates...
  • Vc

  • Referenced in 9 articles [sw21533]
  • necessary hardware for instruction decoding and scheduling in favor of more arithmetic and logic units ... data-parallel variant. Especially larger data-parallel loops, spanning over multiple functions or even translation...
  • Apron

  • Referenced in 69 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • CGAL

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

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

  • Referenced in 11 articles [sw00221]
  • DRAMA (Dynamic Re-Allocation of Meshes for parallel...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LANCELOT

  • Referenced in 306 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Magma

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...