Login / Signup

Race directed scheduling of concurrent programs.

Mahdi EslamimehrJens Palsberg
Published in: PPOPP (2014)
Keyphrases
  • concurrent programs
  • scheduling problem
  • scheduling algorithm
  • process algebra
  • model checking
  • concurrent processes
  • web applications
  • artificial intelligence
  • response time
  • resource allocation
  • concurrent systems