Monitoring for deadlocks in Ada tasking.

Steven M. German David P. Helmbold David C. Luckham

Published in: AdaTEC Conference on Ada (1982)

Keyphrases

monitoring system
real time
condition monitoring
static analysis
databases
health monitoring
website
abnormal events
complex event processing
data acquisition
decision support
digital libraries
cooperative
knowledge base
social networks
search engine
genetic algorithm
real world