Formale Verifikation eines Sonet/SDH Framers.

Alexander Thomas Jürgen Becker Ulrich Heinkel Klaus Winkelmann Jörg Bormann

Published in: MBMV (2004)

Keyphrases

single chip
data aggregation
low power
wireless sensor networks
low cost
sensor networks
energy efficient
image sensor
neural network
high speed
power consumption
cost function
energy consumption
data streams
multimedia
computer vision
data mining