2172 search results - page 70 / 435 » Building Modern Distributed Systems |
SOSP
2001
ACM
14 years 4 months ago
2001
ACM
In modern systems, developers are often unable to modify the underlying operating system. To build services in such an environment, we advocate the use of gray-box techniques. Whe...
TOOLS
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper we describe how object-oriented language design interacts with access control in extensible systems, based on our experience in building the SPIN extensible operatin...
ENTCS
2007
13 years 7 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
ISCAPDCS
2001
13 years 9 months ago
2001
Known parallel DBMS offer at present only static partitioning schemes. Adding a storage node is then a cumbersome operation that typically requires the manual data redistribution....
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Many modern massively distributed systems deploy thousands of nodes to cooperate on a computation task. Network congestions occur in these systems. Most applications rely on conge...