4075 search results - page 539 / 815 » Modeling Distributed Algorithm Using B |
186
click to vote
ISLPED
2006
ACM
16 years 19 days ago
2006
ACM
All existing methods for thermal-via allocation are based on a steady-state thermal analysis and may lead to excessive number of thermal vias. This paper develops an accurate and ...
206
click to vote
AUIC
2005
IEEE
16 years 9 days ago
2005
IEEE
Mobile augmented reality systems use general purpose computing hardware to perform tasks such as rendering computer graphics, providing video overlay, and performing vision tracki...
153
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...
199
click to vote
NOSSDAV
2004
Springer
16 years 1 days ago
2004
Springer
We propose an energy-aware video streaming system for portable computing devices, in which the video can be played back for the specified duration within the remaining battery am...
218
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
We study three scheduling problems (file redistribution, independent tasks scheduling and broadcasting) on large scale heterogeneous platforms under the Bounded Multi-port Model. I...