A formal approach to design space exploration of protocol converters.

Karin Avnit Arcot Sowmya

Published in: DATE (2009)

Keyphrases

design space exploration
design space
formal analysis
computer architecture
design process
hardware software partitioning
formal specification
databases
real world
e learning
expert systems
wireless sensor networks
sensor networks
online learning
computer systems
learning theory