5230 search results - page 400 / 1046 » Dynamic Optimality -- Almost |
247
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...
209
click to vote
CAV
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
195
click to vote
HPCA
2009
IEEE
16 years 8 months ago
2009
IEEE
Some instructions have more impact on processor performance than others. Identification of these critical instructions can be used to modify and improve instruction processing. Pr...
152
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
Data dissemination in pervasive environments is often accomplished by on-demand broadcasting. The time critical nature of the data requests plays an important role in scheduling t...
242
click to vote
IPSN
2010
Springer
16 years 2 months ago
2010
Springer
Shared sensing infrastructures that allow multiple applications to share deployed sensors are emerging and Internet protocol based access for such sensors has already been prototy...