• OOPS

  • Referenced in 2 articles [sw10571]
  • easier for application developers to support error handling, thus helping to reduce the negative effects...
  • quadgk

  • Referenced in 49 articles [sw11527]
  • high-order global adaptive quadrature and default error tolerances. The function y = fun(x) should ... must be a function handle. Limits...
  • QSRA

  • Referenced in 2 articles [sw29572]
  • assembly algorithm through further error handling capabilities...
  • IBEX

  • Referenced in 12 articles [sw11947]
  • reliable algorithms for handling non-linear constraints. In particular, roundoff errors are also taken into...
  • CSSV

  • Referenced in 20 articles [sw13701]
  • conservative tool, it reports all such errors at the expense of sometimes generating false alarms ... statically reducing software vulnerability is achievable. CSSV handles large programs by analyzing each procedure separately ... used it to verify the absence of errors in real code from EADS Airbus. When...
  • dReal

  • Referenced in 34 articles [sw07157]
  • formulas over the reals. The tool can handle various nonlinear real functions such as polynomials ... input formulas, where δ is a numerical error bound specified by the user. dReal also...
  • MetaFJig

  • Referenced in 1 article [sw30243]
  • errors are detected dynamically, and conventional typing errors are detected by interleaving typechecking with meta ... underlying language. Moreover, programmers can handle errors due to composition operators. Besides soundness, our technique...
  • HeroSvm

  • Referenced in 1 article [sw13803]
  • been applied to design the package. Error handling is supported and HeroSvm is exception-safe...
  • KADABRA

  • Referenced in 4 articles [sw25810]
  • centralities with a given absolute error, and it also handles more general problems, such...
  • FAUST2

  • Referenced in 14 articles [sw23682]
  • user-defined maximum threshold on the approximation error introduced by the abstraction procedure. FAUST2 allows ... PRISM or MRMC. lternatively, it can handle internally the computation of PCTL properties (e.g. safety ... over the concrete dtMP via a quantified error that depends on the abstraction procedure...
  • Ell

  • Referenced in 1 article [sw36320]
  • preorder traversal) is provided. Syn- tax errors are handled fully automatic including error reporting from...
  • Octave Interval

  • Referenced in 2 articles [sw13236]
  • concepts can be used to handle uncertainties, estimate arithmetic errors and produce reliable results. Also...
  • Consed

  • Referenced in 2 articles [sw18793]
  • interfaces for viewing and correcting errors must now handle large numbers of reads, efficiently pinpoint ... editing of the reference sequence, variant and error detection, display of annotation tracks...
  • Dagger

  • Referenced in 15 articles [sw04953]
  • refine such abstract interpretations to reduce false errors: (1) a new operator called interpolated widen ... widen, (2) a new way to handle disjunctions that arise due to refinement...
  • SLICE

  • Referenced in 1 article [sw34042]
  • obtained from administrative registers generally contain errors. Another problem they have to face is that ... these sources may be missing. To handle such errors and missing data efficiently, Statistics Netherlands...
  • Quartets MaxCut

  • Referenced in 7 articles [sw29616]
  • fraction of errors. We show empirically that conflicts in the inputs are handled satisfactorily...
  • Deep Speech

  • Referenced in 6 articles [sw40429]
  • achieving 16.0% error on the full test set. Deep Speech also handles challenging noisy environments...
  • EVL

  • Referenced in 1 article [sw40278]
  • types. By default, our multi-methods handle dispatch errors at runtime by throwing exceptions...
  • isONclust

  • Referenced in 1 article [sw28730]
  • quality values (in order to handle variable error rates). We test isONclust on three simulated...
  • BACOLR

  • Referenced in 6 articles [sw04397]
  • errors. The DAEs resulting from the spatial discretization (based on B-spline collocation) are handled ... code computes an estimate of the temporal error and requires it to satisfy the user...