
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 controlcommand safety critical realtime 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 roundoff errors, but also handcoded 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 roundoff 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 errorcontrolled integration. The FORSIM package solves...

Stabhyli
 Referenced in 5 articles
[sw20122]
 systems. We present Stabhyli, a tool that automatically proves stability of nonlinear hybrid systems ... control applications where a discrete controller is controlling a timecontinuous 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 datarace 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 rulebased 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 errorprone 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 socalled 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 precisiontuning of real valued expressions. FPTuner generates ... input domain that is guaranteed to have error below a given threshold. In addition ... precisiontuning, FPTuner also allows users to control precision allocation in ways that helps optimize...