2509 search results - page 450 / 502 » Abstract Geometrical Computation and Computable Analysis |
RTSS
2006
IEEE
14 years 3 months ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
WIOPT
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— We study the problem of establishing secure communication channels in resource-constrained wireless networks using key predistribution. Pairwise communication channels ...
SIGSOFT
2006
ACM
14 years 3 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
LCN
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— Powerline communications (PLC) are receiving special attention since they use an already available and ubiquitous infrastructure. The main standard for PLC home network...
P2P
2005
IEEE
14 years 3 months ago
2005
IEEE
Among the open problems in P2P systems, support for non-trivial search predicates, standardized query languages, distributed query processing, query load balancing, and quality of...