Sign in

Formally Verifying Function Scheduling Properties in Serverless Applications.

Giuseppe De PalmaSaverio GiallorenzoJacopo MauroMatteo TrentinGianluigi Zavattaro
Published in: IT Prof. (2023)
Keyphrases
  • scheduling algorithm
  • dynamic scheduling
  • scheduling problem
  • desirable properties
  • artificial intelligence
  • database
  • knowledge base
  • clustering algorithm
  • multiscale
  • expert systems
  • piecewise linear