Sign in
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