Producing scheduling that causes concurrent programs to fail.

Yosi Ben-Asher Yaniv Eytani Eitan Farchi Shmuel Ur

Published in: PADTAD (2006)

Keyphrases

concurrent programs
scheduling problem
process algebra
scheduling algorithm
concurrent programming
concurrent processes
web applications
formal methods
real time
databases
resource allocation
artificial intelligence
information systems
general purpose
fault tolerant
formal specification