Verified Compilation of Communicating Processes into Clocked Circuits.

John O'Leary Geoffrey Brown Wayne Luk

Published in: Formal Aspects Comput. (1997)

Keyphrases

communication channels
high speed
database
databases
similarity measure
low power
data mining
learning environment
process model
computational models
delay insensitive