Sign in

Execution Time Program Verification with Tight Bounds.

Ana Carolina SilvaManuel BarbosaMário Florido
Published in: PADL (2023)
Keyphrases
  • tight bounds
  • upper bound
  • data sets
  • neural network
  • response time
  • databases
  • preprocessing
  • lower bound
  • relational databases