Early Prototyping of Wireless Sensor Network Algorithms in PVS.

Cinzia Bernardeschi Paolo Masci Holger Pfeifer

Published in: SAFECOMP (2008)

Keyphrases

orders of magnitude
computational complexity
data structure
computational cost
times faster
theoretical analysis
machine learning
optimization problems
database
wireless sensor networks
data mining algorithms
theorem proving