Login / Signup

Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus.

Jayasri BanerjeeAnup Kumar BandyopadhyayAjit Kumar Mandal
Published in: ACM SIGPLAN Notices (2007)
Keyphrases
  • key issues
  • security issues
  • decision trees
  • real time
  • databases
  • neural network
  • search algorithm
  • high speed
  • digital forensics