Skip to main content

Module analysis

Module analysis 

Source
Expand description

Statistical analysis layers for timing leak detection.

This module implements the statistical analysis framework (spec §3):

  • Bayesian inference (bayes): Posterior probability of timing leak
  • Effect decomposition (effect): Separates uniform shift from tail effects
  • MDE estimation (mde): Minimum detectable effect for power analysis

Re-exports§

pub use bayes::build_design_matrix;
pub use bayes::compute_2d_projection;
pub use bayes::compute_bayes_gibbs;
pub use bayes::compute_max_effect_ci;
pub use bayes::compute_quantile_exceedances;
pub use bayes::BayesResult;
pub use bayes::MaxEffectCI;
pub use effect::classify_pattern;
pub use effect::decompose_effect;
pub use effect::EffectDecomposition;
pub use effect::EffectEstimate;
pub use gibbs::run_gibbs_inference;
pub use gibbs::GibbsResult;
pub use gibbs::NU;
pub use gibbs::N_BURN;
pub use gibbs::N_GIBBS;
pub use gibbs::N_KEEP;
pub use mde::analytical_mde;
pub use mde::estimate_mde;
pub use mde::MdeEstimate;

Modules§

bayes
Bayesian inference for timing leak detection using 9D quantile model.
effect
Effect decomposition using Bayesian linear regression (spec §3.4.6).
gibbs
Gibbs sampler for Student’s t prior inference (spec v5.4, v5.6).
mde
Minimum Detectable Effect (MDE) estimation (spec §3.3.4).