9604 search results - page 1621 / 1921 » The Duality of TIme and Information |
219
click to vote
TACAS
2007
Springer
16 years 28 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
193
click to vote
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
Cutting-edge applications of future embedded systems demand highest processor performance with low power consumption to get acceptable battery-life times. Therefore, low power opt...
168
click to vote
ISCA
2006
IEEE
16 years 25 days ago
2006
IEEE
The key to high performance in Simultaneous Multithreaded (SMT) processors lies in optimizing the distribution of shared resources to active threads. Existing resource distributio...
164
click to vote
ITNG
2006
IEEE
16 years 25 days ago
2006
IEEE
Sensor networks have emerged as an interesting and important research area in the last few years. In order to construct a wireless sensor network, synchronization of base stations...
201
click to vote
RTAS
2006
IEEE
16 years 25 days ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...