1888 search results - page 225 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
137
click to vote
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
In a shared-memory multiprocessor system, it is possible that certain synchronization operations are redundant -that is, their corresponding sequencing requirements are enforced c...
159
click to vote
EUROPAR
2008
Springer
15 years 6 months ago
2008
Springer
Developing a distributed application for mobile resource constrained devices is a difficult and error-prone task that requires awareness of several system-level details (e.g., faul...
130
click to vote
EDOC
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we present a constraint-based approach for selecting and deploying active network components, called proxylets, which execute on servers within the network to perfo...
253
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
rrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, c...
139
click to vote
MOBISYS
2006
ACM
16 years 4 months ago
2006
ACM
We introduce a novel infrastructure supporting automatic updates for dynamic content browsing on resource constrained mobile devices. Currently, the client is forced to continuous...