Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).
Yin WangHongwei LiaoAhmed NazeemSpyros A. ReveliotisTerence KellyScott A. MahlkeStéphane LafortunePublished in: CASE (2009)
Keyphrases
- extended abstract
- computer programs
- programming language
- turing test
- mutual exclusion
- expert systems
- multi user
- computer programming
- software agents
- computer hardware
- human users
- computer software
- human level ai
- linear hashing
- artificial intelligence
- trading strategies
- gene expression programming
- human subjects
- image quality
- database