2092 search results - page 264 / 419 » Dynamically Distributed Query Evaluation |
146
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
142
click to vote
IJHCR
2010
15 years 1 months ago
2010
This paper proposes CADRE (Collaborative Allocation and Deallocation of Replicas with Efficiency), which is a dynamic replication scheme for improving the typically low data avail...
123
Voted
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
― Self-assembly systems in space are arguably within the reach of today’s technology based on the research and development of self-reconfigurable robots on earth. This paper pr...
116
click to vote
ISPDC
2003
IEEE
15 years 9 months ago
2003
IEEE
— This paper presents a new power management technique integrated into a multithreaded microcontroller with builtin real-time scheduling schemes. Power management is done by hard...
171
Voted
ICOIN
2003
Springer
15 years 9 months ago
2003
Springer
This paper focuses on Bluetooth, a promising new wireless technology, developed mainly as a cable replacement. We argue that, in practice, Bluetooth devices will have different po...