Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
240
Power-Aware Systems
, 2000
"... The key to maximizing energy efficiency of systems is understanding and systematically harnessing the tremendous operational diversity they exhibit. We define the powerawareness of a system as its ability to minimize energy consumption by adapting to changes in its operating point. These changes occ ..."
Abstract
-
Cited by 22 (2 self)
- Add to MetaCart
that enhances power-awareness and finally to illustrate the impact of such re-engineering. By applying power-awareness formalisms to systems ranging from multipliers to variable voltage processors, we demonstrate increases in energy efficiency of 60%-200%. 1. Introduction A system paradigm that has been
Modeling and analysis of power-aware systems
- Proceedings of TACAS ’03, volume 2619 of LNCS
, 2003
"... Abstract. The paper describes a formal approach for designing and rea-soning about power-constrained, timed systems. The framework is based on process algebra, a formalism that has been developed to describe and analyze communicating concurrent systems. The proposed extension al-lows the modeling of ..."
Abstract
-
Cited by 10 (5 self)
- Add to MetaCart
Abstract. The paper describes a formal approach for designing and rea-soning about power-constrained, timed systems. The framework is based on process algebra, a formalism that has been developed to describe and analyze communicating concurrent systems. The proposed extension al-lows the modeling
Power-Aware DBMS: Potential and Challenges
"... Abstract. Energy consumption has become a first-class optimization goal in computing system design and implementation. Database systems, being a major consumer of computing resources (thus energy) in modern data centers, also face the challenges of going green. In this position paper, we describe ou ..."
Abstract
- Add to MetaCart
our vision on this new direction of database system research, and report the results of our recent work on this topic. We describe our ideas on the key issues in designing a power-aware DBMS and sketch our solutions to such issues. Specifically, we believe that the ability for the DBMS to dynamically
Probabilistic Model Checking and Power-Aware Computing
- In Proc. of the 7th Int’l Workshop on Performability Modeling of Computer and Communication Systems
, 2005
"... Power-aware computing aims either to maximise the performance of a system under certain constraints on its power consumption and dissipation or, dually, to reduce power consumption in order to meet desired performance or throughput targets. This area is currently gaining importance due to the increa ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
to the increasing usage of portable, mobile and hand-held electronic devices. In this paper we illustrate the applicability of probabilistic model checking, a formal verification technique for the analysis of systems which exhibit stochastic behaviour, to the field of power-aware computing. We use the probabilistic
Formal Modeling and Analysis of Power-Aware Real-Time Systems
, 2001
"... The paper describes a uni ed formal framework for designing and reasoning about power-constrained, timed systems. The framework is based on process algebra, a formalism which has been developed to describe and analyze communicating, concurrent systems. The proposed extension allows the modeling of ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
The paper describes a uni ed formal framework for designing and reasoning about power-constrained, timed systems. The framework is based on process algebra, a formalism which has been developed to describe and analyze communicating, concurrent systems. The proposed extension allows the modeling
On the Utility of DVFS for Power-Aware Job Placement in Clusters
"... Abstract. Placing compute jobs on clustered hosts in a way that optimizes both performance and power consumption has become a crucial issue. Most solutions to the power-aware job placement problem boil down to consolidating workload on a small number of hosts so as to reduce power consumption which ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
Abstract. Placing compute jobs on clustered hosts in a way that optimizes both performance and power consumption has become a crucial issue. Most solutions to the power-aware job placement problem boil down to consolidating workload on a small number of hosts so as to reduce power consumption which
Process-algebraic modeling and analysis of power-aware real-time systems
- Computing and Control Engineering J
, 2002
"... The paper describes a unified formal framework for designing and reasoning about power-constrained, real-time systems. The framework is based on process algebra, a formalism which has been developed to describe and analyze communicating, concurrent systems. The proposed extension allows the modeling ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
The paper describes a unified formal framework for designing and reasoning about power-constrained, real-time systems. The framework is based on process algebra, a formalism which has been developed to describe and analyze communicating, concurrent systems. The proposed extension allows
A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks
, 2012
"... We present CMN#, a process calculus for formally modelling and reasoning about Mobile Ad Hoc Networks (MANETs) and their protocols. Our calculus naturally captures essential characteristics of MANETs, including the ability of a MANET node to broadcast a message to any other node within its physical ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
We present CMN#, a process calculus for formally modelling and reasoning about Mobile Ad Hoc Networks (MANETs) and their protocols. Our calculus naturally captures essential characteristics of MANETs, including the ability of a MANET node to broadcast a message to any other node within its physical
Developing Embedded/Real-Time and Cyber-Physical Systems: Functional Reactive Programming, RTL-based Formal Verification, Response Time Analysis, and Power-Aware Scheduling
"... This tutorial is for anyone interested in the state-of-the-art technology for developing embedded, real-time, and cyber-physical systems. The focus is on functional reactive programming, RTL (real-time logic)-based formal verification, response time analysis, and power-aware scheduling. Knowledge of ..."
Abstract
- Add to MetaCart
This tutorial is for anyone interested in the state-of-the-art technology for developing embedded, real-time, and cyber-physical systems. The focus is on functional reactive programming, RTL (real-time logic)-based formal verification, response time analysis, and power-aware scheduling. Knowledge
A Power-Aware Mapping Approach to Map IP Cores onto NoCs under Bandwidth and Latency Constraints
, 2010
"... In this article, we investigate the Intellectual Property (IP) mapping problem that maps a given set of IP cores onto the tiles of a mesh-based Network-on-Chip (NoC) architecture such that the power consumption due to intercore communications is minimized. This IP mapping problem is considered under ..."
Abstract
-
Cited by 10 (4 self)
- Add to MetaCart
In this article, we investigate the Intellectual Property (IP) mapping problem that maps a given set of IP cores onto the tiles of a mesh-based Network-on-Chip (NoC) architecture such that the power consumption due to intercore communications is minimized. This IP mapping problem is considered
Results 1 - 10
of
240
