186 search results - page 19 / 38 » Analyzing Loop Paths for Execution Time Estimation |
120
click to vote
SAINT
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a novel approach to conserve power in networked mobile devices. Our approach exploits communication within a pervasive smart space as an opportunity to save power as op...
166
click to vote
NFM
2011
14 years 10 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
126
click to vote
ANOR
2006
15 years 3 months ago
2006
This paper discusses choice set generation and route choice model estimation for large-scale urban networks. Evaluating the effectiveness of Advanced Traveler Information Systems (...
114
click to vote
FPL
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we propose a first step towards a time predictable computer architecture for single-chip multiprocessing (CMP). CMP is the actual trend in server and desktop syste...
141
click to vote
ICPP
2002
IEEE
15 years 8 months ago
2002
IEEE
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...