6303 search results - page 674 / 1261 » A Generated Management for Distributed Systems |
215
click to vote
WMRD
1990
15 years 11 months ago
1990
This paper describes the design of an object replication scheme for the Arjuna distributed system. ThedesignsupportsK-resiliency,where,intheabsenceofnetworkpartitions,Koutofa tota...
161
click to vote
EUROMICRO
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, we present the architecture of CoBFIT, a component-based framework for building intrusion-tolerant distributed systems. The CoBFIT framework, by virtue of its desig...
202
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
234
click to vote
SIGMOD
2011
ACM
14 years 10 months ago
2011
ACM
In this demonstration we present BRRL, a library for making distributed main-memory applications fault tolerant. BRRL is optimized for cloud applications with frequent points of c...
181
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe a scalable and general-purpose framework for auto-tuning compiler-generated code. We combine Active Harmony’s parallel search backend with the CHiLL compiler transfo...