Formally Verified Resource Bounds through Implicit Computational Complexity.
Neea RuschPublished in: SPLASH Companion (2022)
Keyphrases
- computational complexity
- upper bound
- worst case
- resource allocation
- lower bound
- np complete
- special case
- upper and lower bounds
- low complexity
- error bounds
- computational cost
- average case
- resource constraints
- web resources
- resource management
- decision problems
- resource selection
- variance reduction
- neural network
- tight bounds
- computational efficiency
- computationally efficient
- bit rate
- storage requirements
- image quality
- computational load
- case study
- high computational complexity
- website
- knowledge base
- machine learning