Reset
Showing 20 of 280 academic articles

Transparency and reflection in distributed systems

Robert J. Stroud • ACM SIGOPS Operating Systems Review (1993)

The recursive composition of systems to form functionally equivalent transparently distributed systems is an important paradigm for constructing distributed systems. The extent to which such recursive transparency can be achieved depends cr...

OPENALEX Open Access DOI: https://doi.org/10.1145/155848.155866

Distributed System Development in B

Michael J. Butler, Marina Waldén • ePrints Soton (University of Southampton) (1996)

The B-Method is a method for the stepwise derivation of sequential programs. In this paper we show how the B-Method can be used for designing distributed systems by embedding action systems within this method. The action system formalism is...

OPENALEX

The timed asynchronous distributed system model

Flaviu Cristian, Christof W. Fetzer • IEEE International Symposium on Fault-Tolerant Computing (2002)

We propose a formal definition for the timed asynchronous distributed system model and we describe extensive measurements of actual message and process scheduling delays and hardware clock drifts that confirm that this model adequately desc...

OPENALEX DOI: https://doi.org/10.1109/ftcs.1998.689463

Configuring distributed systems

Jeff Kramer, Jeff Magee, Morris S. Sloman • ACM SIGOPS European Workshop (1992)

Distributed systems are constructed from a set of computational components which are bound together to interact and communicate to achieve some over all objective. In this paper, we examine the issues related to system configuration, partic...

OPENALEX DOI: https://doi.org/10.1145/506378.506406

Exploiting replication in distributed systems

Ken Birman, Thomas Joseph • ACM eBooks (1990)

Techniques are examined for replicating data and execution in directly distributed systems: systems in which multiple processes interact directly with one another while continuously respecting constraints on their joint behavior. Directly d...

OPENALEX Open Access DOI: https://doi.org/10.1145/90417.90751

A performance study of monitoring and information services for distributed systems

X. Zhang, Jeffrey L. Freschl, Jennifer M. Schopf • ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC) (2004)

Monitoring and information services form a key component of a distributed system, or Grid. A quantitative study of such services can aid in understanding the performance limitations, advise in the deployment of the monitoring system, and he...

OPENALEX Open Access DOI: https://doi.org/10.1109/hpdc.2003.1210036

Fault Tolerance in Distributed Systems

Gérard Tel • Cambridge University Press eBooks (2000)

The earlier parts of this book studied the coordinated behavior that can be achieved in distributed systems where processes are reliable . For several reasons it is attractive to study what coordinated behavior of processes is possible unde...

OPENALEX Open Access DOI: https://doi.org/10.1017/cbo9781139168724.014