Specification and analysis of power-managed systems.

Alessandro Bogliolo Luca Benini Emanuele Lattanzi Giovanni De Micheli

Published in: Proc. IEEE (2004)

Keyphrases

data analysis
statistical analysis
information retrieval
artificial intelligence
distributed systems
computer systems
formal methods
real time
decision making
case study
multiscale
management system
quantitative analysis