Analyzing Hard-Real-Time Programs For Guaranteed Schedulability.

Alexander D. Stoyenko V. Carl Hamacher Richard C. Holt

Published in: IEEE Trans. Software Eng. (1991)

Keyphrases

database
knowledge base
preprocessing
control structures
databases
neural network
genetic algorithm
artificial intelligence
information systems
data structure
expert systems
probabilistic model
programming environment
prolog programs