Login / Signup

Quantitative Bounds on Resource Usage of Probabilistic Programs.

Krishnendu ChatterjeeAmir Kafshdar GoharshadyTobias MeggendorferDorde Zikelic
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases
  • resource usage
  • resource management
  • resource allocation
  • resource consumption
  • real time
  • database
  • lower bound
  • multi dimensional
  • access patterns
  • digital libraries