Proving the Correctness of Pipelined Micro-Architectures.

Daniel Kröning Wolfgang J. Paul Silvia M. Müller

Published in: MBMV (2000)

Keyphrases

data flow
neural network
website
case study
database
artificial intelligence
information systems
preprocessing
relational databases
artificial neural networks
special case