Technology-Based MPSoCs Through Executable Specifications.

Jayanta Bhadra Ekaterina Trofimova Magdy S. Abadir

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2008)

Keyphrases

formal specification
attribute grammars
neural network
case study
cost effective
rapid development
computer systems
specification language
control flow
real world
genetic algorithm
high level
digital libraries
petri net