• goodwin.f77

  • Referenced in 22 articles [sw37144]
  • current interest, including binary measurement-error models and the analysis of teratogenicity experiments. Analytic intractability ... relative risk in the logistic-normal measurement-error model. Using standard subroutines to maximize...
  • FLATA

  • Referenced in 19 articles [sw04142]
  • programs - checking if an error control state is reachable termination analysis of non-recursive programs...
  • VECTOR_PADE

  • Referenced in 7 articles [sw04679]
  • their work is a detailed error analysis showing that the algorithm is weakly stable ... experiments. These experiments show that the theoretical error bounds obtained by Cabay, Jones, and Labahn...
  • ProB

  • Referenced in 67 articles [sw07084]
  • ProB: an automated analysis toolset for the B method. We present ProB, a validation toolset ... which can be used to detect various errors in B specifications. We describe the underlying...
  • Orion

  • Referenced in 5 articles [sw09957]
  • Orion: high-precision methods for static error analysis of C and C++ programs. We describe ... common programming errors in C and C++ programs using static code analysis ... cost and the precision of such analyses. Analysis methods that use simple dataflow domains ... high-precision feasibility analysis aimed at filtering out as many false errors as possible.par...
  • Mentoniezh

  • Referenced in 6 articles [sw32254]
  • model, the student model and the errors analysis method are described. Finally, the evaluation results...
  • RacerX

  • Referenced in 16 articles [sw09941]
  • analysis to detect both race conditions and deadlocks. It is explicitly designed to find errors ... code features which it uses to sort errors both from most to least severe ... novel techniques to counter the impact of analysis mistakes. The tool is fast, requiring between ... large commercial code base, finding serious errors in all of them. RacerX is a static...
  • SLICOT

  • Referenced in 84 articles [sw01095]
  • SLICOT provides methods for the design and analysis of control systems. The basic ideas behind ... must either return reliable results or an error or warning indicator; 3. numerical stability...
  • quadgF

  • Referenced in 5 articles [sw13815]
  • different approach to the task – backward error analysis. Other approaches require users to supply...
  • A-SLEIPNNIR

  • Referenced in 5 articles [sw29438]
  • discretization, together with an a posteriori error analysis produce a metric tensor that is passed...
  • JPAX

  • Referenced in 29 articles [sw09906]
  • concurrency errors such as deadlocks and data races. The concurrency analysis requires no user provided...
  • SuLQ

  • Referenced in 128 articles [sw11355]
  • noise -- much less than the sampling error -- provided the total number of queries is sublinear ... ways. First, we modify the privacy analysis to real-valued functions f and arbitrary...
  • JaVis

  • Referenced in 4 articles [sw00469]
  • such as tracing, visualization, and automated error analysis. Therefore, we have developed the JaVis environment...
  • LSIC

  • Referenced in 9 articles [sw14939]
  • diffusion properties with extra error tolerance. Theoretical analysis and simulation results show that the proposed...
  • PARAFAC

  • Referenced in 22 articles [sw14789]
  • bilinear model of factor (or component) analysis (xij = ΣRr = 1airbjr) to a trilinear model (xijk ... minimizing residual error, eliminating the need for a separate ‘rotation’ phase of analysis. The model...
  • PRECiSA

  • Referenced in 2 articles [sw38041]
  • interpretation framework for the round-off error analysis of floating-point programs. This paper presents ... interpretation framework for the round-off error analysis of floating-point programs. This framework defines ... parametric abstract analysis that computes, for each combination of ideal and floating-point execution path ... accumulated floating-point round-off error that may occur. In addition, a Boolean expression that...
  • Compqd

  • Referenced in 2 articles [sw29675]
  • Accurate quotient-difference algorithm: error analysis, improvements and applications. The compensated quotient-difference (Compqd) algorithm ... Compqd algorithm is obtained by applying error-free transformations to improve the traditional ... algorithm. We study in detail the error analysis of the qd and Compqd algorithms ... numbers so that the relative forward rounding error bounds can be derived directly. Our numerical...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • integrated collection of program analysis, transformation, and visualization components designed to facilitate experimentation with model ... checked. When a model-checker produces an error trail, Bandera renders the error trail...
  • Volna-OP2

  • Referenced in 3 articles [sw38260]
  • Performance analysis of Volna-OP2 -- massively parallel code for tsunami modelling. The software package Volna ... architectures. In this paper, a comprehensive error analysis and scalability study of the GPU version ... presented. A novel decomposition of the numerical errors into the dispersion and dissipation components ... when carrying out these statistical studies. The analysis presented in this paper will guide...
  • MIXREG

  • Referenced in 5 articles [sw24547]
  • program for mixed-effects regression analysis with autocorrelated errors. MIXREG is a program that provides ... data including autocorrelated errors. This model can be used for analysis of unbalanced longitudinal data ... timepoints, or even at different timepoints. Autocorrelated errors of a general form or following ... This model can also be used for analysis of clustered data, where the mixed-effects...