Tasking Deadlocks in Ada 95 Programs and Their Detection.

Jingde Cheng Kazuo Ushijima

Published in: Ada-Europe (1996)

Keyphrases

detection method
automatic detection
detection algorithm
detection accuracy
false positives
change detection
real time
real world
image sequences
video sequences
mobile robot
digital images
infrared
event detection
oil spill