1906 search results - page 167 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
114
Voted
HPDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Large-scale donation-based distributed infrastructures need to cope with the inherent unreliability of participant nodes. A widely-used work scheduling technique in such environme...
244
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...
148
Voted
ISORC
1998
IEEE
15 years 8 months ago
1998
IEEE
Many real-time systems evolve over time due to new requirements and technology improvements. Each revision requires regression testing to ensure that existing functionality is not...
104
click to vote
IANDC
2007
15 years 3 months ago
2007
ectly-synchronized round-based model provides the powerful abstraction of op failures with atomic and synchronous message delivery. This abstraction makes distributed programming ...
131
Voted
WETICE
1998
IEEE
15 years 8 months ago
1998
IEEE
We describe a system whose purpose is to explore the use of certificates for the distributed management of access rights for resources that have multiple, independent, and geograp...