31 search results - page 1 / 7 » Formal Analysis in Model Management: Exploiting the Power of... |
ASM
2010
ASM
13 years 5 months ago
2010
ASM
ICCD
2005
IEEE
14 years 4 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
DATE
2009
IEEE
13 years 10 months ago
2009
IEEE
—Power management at any abstraction level is a key issue for many mobile multimedia and embedded applications. In this paper a design workflow to generate system-level power mo...
ARCS
2010
Springer
13 years 10 months ago
2010
Springer
Power and resource management are key goals for the success of modern battery-supplied multimedia devices. This kind of devices are usually based on SoCs with a wide range of subsy...
BIRTHDAY
2010
Springer
13 years 4 months ago
2010
Springer
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...