Sciweavers

155 search results - page 15 / 31
» Energy Parity Games
Sort
View
FSTTCS
2005
Springer
14 years 3 months ago
Fixpoint Logics on Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
CAV
2009
Springer
155views Hardware» more  CAV 2009»
14 years 10 months ago
Better Quality in Synthesis through Quantitative Objectives
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
Roderick Bloem, Krishnendu Chatterjee, Thomas A. H...
GLOBECOM
2009
IEEE
14 years 4 months ago
Cooperative Strategy by Stackelberg Games under Energy Constraint in Multi-Hop Relay Networks
— This paper presents a cooperative relay strategy with a game-theoretic perspective. In multi-hop networks, each node needs to send traffic via relay nodes, which behave indepe...
Hyukjoon Kwon, HyungJune Lee, John M. Cioffi
CORR
2008
Springer
127views Education» more  CORR 2008»
13 years 10 months ago
Energy-Efficient Resource Allocation in Multiuser MIMO Systems: A Game-Theoretic Framework
This paper focuses on the cross-layer issue of resource allocation for energy efficiency in the uplink of a multiuser MIMO wireless communication system. Assuming that all of the ...
Stefano Buzzi, H. Vincent Poor, Daniela Saturnino
DATE
2004
IEEE
153views Hardware» more  DATE 2004»
14 years 1 months ago
A Game Theoretic Approach to Low Energy Wireless Video Streaming
: This paper presents a dynamic energy management policy for a wireless video streaming system, consisting of a battery-powered client and a video server. The video quality in wire...
Ali Iranli, Kihwan Choi, Massoud Pedram