A model for hardware description and verification.

George J. Milne

Published in: DAC (1984)

Keyphrases

high level
real time
hardware and software
experimental data
computational model
computer vision
neural network model
multiscale
probabilistic model
colored petri nets
mathematical model
cost function
multi agent
objective function
image processing
decision making
information systems