34 search results - page 2 / 7 » A Methodology Based on Formal Methods for Predicting the Imp... |
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
13 years 7 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
TODAES
2008
13 years 5 months ago
2008
The goal of dynamic power management is to reduce power dissipation in system level by putting system components into different states. This paper proposes a wavelet based approac...
VLSID
2004
IEEE
14 years 5 months ago
2004
IEEE
Abstract-- Power has become a major concern for mobile computing systems such as laptops and handhelds, on which a significant fraction of software usage is interactive instead of ...
CIMCA
2008
IEEE
13 years 12 months ago
2008
IEEE
With the advent of e-Commerce, enterprises can no longer rely on static business strategies. They have to be able to cope in dynamic and uncertain electronic environments, especia...
SAMOS
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, we use the CoDeL hardware design platform to analyze the potential and performance impact of power gating individual registers. For each register, we examine the per...