1581 search results - page 239 / 317 » Mechanizing Inductive Reasoning |
103
click to vote
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
Due to the better utilization of computational and communication resources and the improved coordination of application subsystems, designers of large distributed embedded systems...
103
click to vote
VTC
2006
IEEE
15 years 5 months ago
2006
IEEE
— In the third generation wireless system UMTS, Radio Resource Management (RRM) functions should encompass scheduling algorithms. In particular, scheduling mechanisms play a key ...
121
click to vote
IUI
2006
ACM
15 years 5 months ago
2006
ACM
Networked appliances can simplify our lives, but interacting with them can be difficult in itself. KitchenSense is an early prototype of a networked kitchen full of sensors that u...
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Many embedded systems are designed to take timely reactions to the occurrences of interested scenarios. Sometimes transient overloads might be experienced due to hardware malfunct...
VALUETOOLS
2006
ACM
15 years 5 months ago
2006
ACM
Run-time management of modern Web-based services requires the integration of several algorithms and mechanisms for job dispatching, load sharing, admission control, overload detec...