640 search results - page 126 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
ADHOC
2006
13 years 7 months ago
2006
Since the energy budget of mobile nodes is limited, the performance of a networking protocol for such users should be evaluated in terms of its energy efficiency, in addition to t...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—The design of scheduling policies for wireless data systems has been driven by a compromise between the objectives of high overall system throughput and the degree of fairness a...
CP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...
MICRO
2003
IEEE
14 years 22 days ago
2003
IEEE
Silicon technology will continue to provide an exponential increase in the availability of raw transistors. Effectively translating this resource into application performance, how...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
In many cases, rather than a keyword search, people intend to see what is going on through the Internet. Then the integrated comprehensive information on news topics is necessary,...