Towards a Theory of Bisimulation for a Fragment of Verilog.

Li Yongjian Jifeng He

Published in: IPDPS (2003)

Keyphrases

genetic algorithm
theoretical framework
theoretical basis
formal theory
real time
machine learning
artificial intelligence
computer vision
metadata
image processing
digital libraries
computational model
general theory