Login / Signup
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management.
Shrirang M. Yardi
Karthik Channakeshava
Michael S. Hsiao
Thomas L. Martin
Dong S. Ha
Published in:
ICCD (2005)
Keyphrases
</>
statistical analysis
main contribution
conceptual framework
data analysis
sensor networks
modeling framework
neural network
information systems
theoretical framework
formal model
statistical modeling
structural analysis
formal models
colored petri nets