6808 search results - page 969 / 1362 » Distributed Concurrency Control |
146
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— Wireless routing based on an embedding of the connectivity graph is a very promising technique to overcome shortcomings of geographic routing and topology-based routing. This i...
146
Voted
MOBIQUITOUS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Large-scale ubiquitous computing environments require scalable and robust service discovery to enable “anytime, anywhere” computing, which is hard to be satisfied ...
140
click to vote
ROBOCOMM
2007
IEEE
15 years 11 months ago
2007
IEEE
— We describe a system that provides a low-cost, portable control station for experimentation in mobile robotic telesurgery. The software and hardware implementation of our syste...
164
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
147
click to vote
ICS
2007
Tsinghua U.
15 years 11 months ago
2007
Tsinghua U.
This paper explores the scalability of the Stream Processor architecture along the instruction-, data-, and thread-level parallelism dimensions. We develop detailed VLSI-cost and ...