8903 search results - page 1503 / 1781 » Alternative |
188
click to vote
MICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
Program runtime characteristics exhibit significant variation. As microprocessor architectures become more complex, their efficiency depends on the capability of adapting with wor...
221
click to vote
MOBIQUITOUS
2007
IEEE
16 years 1 months ago
2007
IEEE
—Topology control problems are concerned with the assignment of power levels to the nodes of an ad-hoc network so as to maintain a specified network topology while minimizing th...
171
click to vote
QEST
2007
IEEE
16 years 29 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
195
click to vote
RTAS
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper focuses on a technique to empower commercial-off-the-shelf (COTS) systems with an execution environment, and corresponding services, to support realtime and embedded ap...
194
click to vote
SECON
2007
IEEE
16 years 29 days ago
2007
IEEE
—Recent progress in Wireless Sensor Networks technology has enabled many complicated real-world applications. Some of the applications demand a non-trivial amount of computation;...