deltaq: Framework for ∆Q System Development
∆Q System Development is a paradigm for developing distributed systems that meet performance requirements.
In this paradigm, the system designer starts by defining high-level outcomes, explores different refinements into combinations of lower-level outcomes, and evaluates their performance characteristics.
The deltaq package (pronounced "Delta Q") provides
data types and functions for
outcomes and their combinations
evaluating the performance characteristics of outcomes, specifically the probability distribution of their completion times
[Skip to Readme]
Downloads
- deltaq-1.0.0.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 1.0.0.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.14.3.0 && <5), Chart (>=1.8 && <2.0), deepseq (>=1.4.4.0 && <1.6), lattices (>=2.2 && <2.3), probability-polynomial (>=1.0 && <1.1) [details] |
| Tested with | ghc ==9.10.1 |
| License | BSD-3-Clause |
| Copyright | Predictable Network Solutions Ltd., 2003-2024 |
| Author | Neil Davies, Heinrich Apfelmus |
| Maintainer | neil.davies@pnsol.ccom |
| Revised | Revision 1 made by HeinrichApfelmus at 2025-07-02T09:00:06Z |
| Category | DeltaQ, Distributed Systems, Probability |
| Home page | https://github.com/DeltaQ-SD/deltaq |
| Source repo | head: git clone git://github.com/DeltaQ-SD/deltaq.git(lib/deltaq) |
| Uploaded | by semanticphilosopher at 2024-12-23T13:24:04Z |
| Distributions | NixOS:1.0.0.0 |
| Downloads | 28 total (1 in the last 30 days) |
| Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2024-12-23 [all 1 reports] |