440 search results - page 24 / 88 » Local reasoning for abstraction and sharing |
135
click to vote
ICDCS
2000
IEEE
15 years 5 months ago
2000
IEEE
Providing shared-memory abstraction in messagepassing systems often simplifies the development of distributed algorithms and allows for the reuse of sharedmemory algorithms in the...
105
click to vote
CP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. For efficiency reasons, neighbourhoods in local search are often shrunk by only considering moves modifying variables that actually contribute to the overall penalty. The...
119
click to vote
LCR
2000
Springer
15 years 5 months ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
100
click to vote
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— In label-switched networks such as MPLS, protection routing involves computing and setting up the backup paths at the same time when the primary paths are routed. It ha...
191
click to vote
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
This paper presents HomeViews, a peer-to-peer middleware system for building personal data management applications. HomeViews provides abstractions and services for data organizat...