\(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis (Q1044673): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jlap.2009.02.006 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2067961203 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical Reversibility of Computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two languages for estimating program efficiency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2747613 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Principles and Practice of Constraint Programming – CP 2004 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4692885 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3549563 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic average-case analysis of algorithms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385514 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automating program analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: A trivial algorithm whose analysis isn't / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deletions That Preserve Randomness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4057549 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantics of probabilistic programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Irreversibility and Heat Generation in the Computing Process / rank
 
Normal rank
Property / cites work
 
Property / cites work: Attribute grammars and automatic complexity analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4856179 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quasi-metric properties of complexity spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weightable quasi-metric semigroups and semilattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: The quasi-metric of complexity convergence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2706892 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Duality and quasi-normability for complexity spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partial metric monoids and semivaluation spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Smyth Completion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4513583 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A characterization of partial metrizability: Domains are quantifiable. / rank
 
Normal rank
Property / cites work
 
Property / cites work: The correspondence between partial metrics and semivaluations / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Random Bag Preserving Product Operation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2843626 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Analysis of Heapsort / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3886867 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023358 / rank
 
Normal rank

Latest revision as of 07:16, 2 July 2024

scientific article
Language Label Description Also known as
English
\(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis
scientific article

    Statements

    \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis (English)
    0 references
    18 December 2009
    0 references
    randomness preservation
    0 references
    algorithms
    0 references
    average-case analysis
    0 references
    modularity
    0 references
    compositionality
    0 references
    static timing analysis
    0 references
    static power analysis
    0 references
    0 references

    Identifiers