5548 search results - page 844 / 1110 » Programming a Distributed System Using Shared Objects |
162
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Robust execution of robotic tasks is a difficult problem. In many situations, these tasks involve complex behaviors combining different functionalities (e.g. perception, localizat...
150
click to vote
ICDCN
2010
Springer
16 years 1 months ago
2010
Springer
Abstract— Motivated by the widespread proliferation of wireless networks employing directional antennas, we study the problem of provisioning bandwidth in such networks. Given a ...
200
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Facebook recently deployed Facebook Messages, its first ever user-facing application built on the Apache Hadoop platform. Apache HBase is a database-like layer built on Hadoop des...
148
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
198
click to vote
IWMM
2000
Springer
15 years 10 months ago
2000
Springer
We describe a novel approach to obtaining type-accurate information for garbage collection in a hardware and language independent way. Our approach uses a run-time analysis to pro...