Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

SFM
2005
Springer

favoriteEmaildiscussreport

71views Formal Methods» more SFM 2005»

A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management

13 years 10 months ago

A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management

Download www.sti.uniurb.it

Andrea Acquaviva, Alessandro Aldini, Marco Bernard

Real-time Traffic

SFM 2005 |

claim paper

Related Content

» A Formal Framework for Modeling and Analysis of SystemLevel Dynamic Power Management

» Dynamic Power Management for nonstationary service requests

» Formal Methods for Dynamic Power Management

» An Adaptive Hybrid Dynamic Power Management Method

» A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedd...

» Waveletbased dynamic power management for nonstationary service requests

» Dynamic Power Optimization of Interactive Systems

» Deploying NeuralNetworkBased Models for Dynamic Pricing in Supply Chain Management

» Automated Power Gating of Registers Using CoDeL and FSM Branch Prediction

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	SFM
Authors	Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi

Comments (0)