1917 search results - page 132 / 384 » User Model and Utility Based Power Management |
126
click to vote
APN
2008
Springer
15 years 3 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
136
click to vote
MICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
Process variations in integrated circuits have significant impact on their performance, leakage and stability. This is particularly evident in large, regular and dense structures...
118
click to vote
ICMLA
2004
15 years 3 months ago
2004
Complexity, or in other words compactness, of models generated by rule learners is one of often neglected issues, although it has a profound effect on the success of any project t...
119
click to vote
IJVR
2008
15 years 1 months ago
2008
Simulations utilizing virtual humans, or computer controlled agents, are more predominant now than ever. Many of these simulations suffer from a lack of effective, stimulating, and...
MSWIM
2005
ACM
15 years 7 months ago
2005
ACM
We investigate the impact of power control on latency in wireless ad-hoc networks. If transmission power is increased, interference increases, thus reducing network capacity. A no...