Abstract Interpretation for Worst and Average Case Analysis

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-71322-7_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Minimizing Worst-Case and Average-Case Makespan Over Scenarios

Journal of Scheduling
Management ScienceEngineeringOperations ResearchArtificial IntelligenceSoftware
2016English

Towards Average-Case Algorithms for Abstract Argumentation

2012English

Probabilistic Worst-Case Timing Analysis

ACM Computing Surveys
Computer ScienceTheoretical Computer Science
2019English

Grammar Analysis and Parsing by Abstract Interpretation

English

Beyond Worst-Case Analysis for Joins With Minesweeper

2014English

Worst-Case Mechanism Design via Bayesian Analysis

SIAM Journal on Computing
MathematicsComputer Science
2017English

Obstacles in Worst-Case Execution Time Analysis

2008English

Worst-Case Uncertain Parameter Combinations for Flight Control Systems Analysis

IFAC Proceedings Volumes
2002English

Less Pessimistic Worst-Case Delay Analysis for Packet-Switched Networks

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy