4205 search results - page 400 / 841 » Typed Mobile Objects |
182
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Resource allocation involves deciding how to divide a resource of limited availability among multiple demands in a way that optimizes current objectives. In this brief paper we fo...
167
click to vote
ENTCS
2007
15 years 6 months ago
2007
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...
155
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
167
click to vote
ICRA
2006
IEEE
16 years 22 days ago
2006
IEEE
— In this paper, we consider the problem of exploring an unknown environment with a team of mobile robots. One of the key issues in multi-robot exploration is how to assign targe...
174
click to vote
NSDI
2007
15 years 9 months ago
2007
Many contemporary approaches for speeding up large file transfers attempt to download chunks of a data object from multiple sources. Systems such as BitTorrent quickly locate sou...