• Arb

  • Referenced in 39 articles [sw07822]
  • real and complex numbers, with automatic, rigorous error control...
  • ASTREE

  • Referenced in 111 articles [sw13704]
  • analyzer aiming at proving automatically the absence of run time errors in programs written ... large embedded control-command safety critical real-time software generated automatically from synchronous specifications, producing...
  • Algorithm 788

  • Referenced in 5 articles [sw04670]
  • planar Laplace equation Algorithms with automatic error control are described for the solution of Laplace...
  • TAMC

  • Referenced in 71 articles [sw07198]
  • cost function with respect to control variables. Generation of adjoint code may be seen ... extremely time consuming and subject to errors. Hence, automatic generation of adjoint code represents...
  • Reveal

  • Referenced in 20 articles [sw00801]
  • control logic interactions. If the approximation proves to be too coarse, it is automatically refined ... actual design error is reported. The Reveal system allows some user control over the abstraction...
  • PCOMP

  • Referenced in 21 articles [sw00688]
  • PCOMP: A Fortran code for automatic differentiation. Automatic differentiation is an interesting and important tool ... require derivatives, e.g., in nonlinear programming, optimal control, parameter estimation, and differential equations. The basic ... time and contain round-off errors, but also hand-coded differentiation. This article introduces...
  • DiffSharp

  • Referenced in 24 articles [sw16033]
  • Automatic differentiation library. DiffSharp is a functional automatic differentiation (AD) library. AD allows exact ... prone to truncation and round-off errors, and symbolic differentiation, which is affected by expression ... swell and cannot fully handle algorithmic control flow. Using the DiffSharp library, differentiation (gradients, Hessians...
  • knitr

  • Referenced in 49 articles [sw11224]
  • formatR package so that long lines are automatically wrapped, with indent and spaces added ... keep the last plot. Warnings, messages and errors are written in the output document ... makes it possible for the user to control almost everything in the R code input...
  • FORSIM VI

  • Referenced in 7 articles [sw16621]
  • large class of these models may be automatically transformed into initial value problems involving only ... then be solved numerically by error-controlled integration. The FORSIM package solves...
  • Stabhyli

  • Referenced in 5 articles [sw20122]
  • systems. We present Stabhyli, a tool that automatically proves stability of non-linear hybrid systems ... control applications where a discrete controller is controlling a time-continuous process such ... reaction. We have implemented a tool to automatically derive a certificate of stability...
  • ompVerify

  • Referenced in 2 articles [sw26768]
  • important class of common data-race errors in OpenMP parallel loop programs by flagging incorrectly ... called Affine Control Loops (ACLs, or alternatively, Static Control Parts, SCoPs). ompVerify automatically extracts such ... input C program, and then flags the errors as specific and precise error messages reported...
  • SBA

  • Referenced in 24 articles [sw05242]
  • unknowns contributing to the minimized reprojection error, a general purpose implementation of the LM algorithm ... sense that it grants the user full control over the definition of the parameters describing ... symbolic differentiation (e.g. maple), or obtained using automatic differentiation techniques. There is also the alternative...
  • INTAMAP

  • Referenced in 2 articles [sw08292]
  • data with known error distributions. Besides a fully automatic mode, the system can be used ... with different levels of user control over the interpolation process...
  • EMP

  • Referenced in 8 articles [sw01086]
  • constraints. All actions of the system are controlled by menues which inform the user ... source program, which is linked and executed automatically. All problem data and numerical results ... algorithms, and to perform a rule-based error analysis in case of nonsuccessful termination...
  • CAMPARY

  • Referenced in 3 articles [sw15156]
  • while also allowing for rigorously proven rounding error bounds. This allows as well ... chaotic dynamical systems or automatic control...
  • JaVis

  • Referenced in 4 articles [sw00469]
  • difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided ... debuggers such as tracing, visualization, and automated error analysis. Therefore, we have developed the JaVis ... visualization of traces. Traces are automatically analyzed for deadlocks. The tracing is implemented using...
  • Maestro

  • Referenced in 2 articles [sw29173]
  • programmer explicitly controls data transfer and device synchronization, two tedious and error-prone tasks. This ... data orchestration on OpenCL devices. Maestro provides automatic data transfer, task decomposition across multiple devices...
  • OCCAL

  • Referenced in 4 articles [sw02131]
  • hand -- and thus prone to calculation errors. The paper aims at automating this analytic processing ... Optimal Control $underline{ ext{CAL}}$culator) permits an interactive use, covering tasks like automatic determination...
  • ADDSAFE

  • Referenced in 3 articles [sw19643]
  • obtained from the so-called equivalent output error injection signal associated with the observer ... automatic generation of flight certifiable code which can be implemented on the actual flight control...
  • FPTuner

  • Referenced in 1 article [sw21697]
  • FPTuner is a rigorous tool for automatic precision-tuning of real valued expressions. FPTuner generates ... input domain that is guaranteed to have error below a given threshold. In addition ... precision-tuning, FPTuner also allows users to control precision allocation in ways that helps optimize...