Login / Signup

Efficient Deadlock-Freeness Detection in Real-time Systems.

Rong PengJingsong CuiYue Pan
Published in: CIT (2005)
Keyphrases
  • real time systems
  • real time
  • embedded systems
  • distributed systems
  • false positives
  • real time embedded
  • machine learning
  • artificial intelligence
  • search algorithm
  • dynamic programming
  • object detection
  • fine grained