Home »
Academic Articles & Research Papers
Showing 20 of 4,753 academic articles
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
Javier S. Turek, Dennis E. Shasha • Computer
(1992)
Known results regarding consensus among processors are surveyed and related to practice. The ideas embodied in the various proofs are explained. The goal is to give practitioners some sense of the system hardware and software guarantees tha...
OPENALEX
DOI: https://doi.org/10.1109/2.153253
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
Raja Sengupta • RePEc: Research Papers in Economics
(1999)
This paper discusses diagnosis problems in distributed systems within the context of a language-theoretic discrete event formalism. A distributed system is seen as a system with multiple spatially separated sites with each site having a dia...
OPENALEX
Open Access
Gerald J. Popek • The MIT Press eBooks
(1986)
LOCUS, a distributed version of the popular operating system Unix, provides an excellent solution. It makes a collection of computers, whether they are workstations or mainframes, as easy to use as a single computer by providing a set of su...
OPENALEX
DOI: https://doi.org/10.7551/mitpress/4279.001.0001
Michael D. Schroeder, Andrew D. Birrell, Roger M. Needham • ACM Transactions on Computer Systems
(1984)
Grapevine is a distributed, replicated system that provides message delivery, naming, authentication, resource location, and access control services in an internet of computers.The system, described in a previous paper [1], was designed and...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/2080.2081
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
Rachid Guerraoui, André Schiper • Lecture notes in computer science
(1996)
OPENALEX
Open Access
DOI: https://doi.org/10.1007/bfb0013477
Luiz F. Bittencourt, Alfredo Goldman, Edmundo R. M. Madeira, Nelson L. S. da Fonseca et al. • Computer Science Review
(2018)
OPENALEX
Open Access
DOI: https://doi.org/10.1016/j.cosrev.2018.08.002
Michael P. Polis, Raymond E. Goodson • Proceedings of the IEEE
(1976)
This paper surveys the distributed system parameter identification problem and concludes that it can be treated as a series of largely independent subproblems, each of which must be considered in any attempt to treat the problem in applicat...
OPENALEX
DOI: https://doi.org/10.1109/proc.1976.10066
Michel Raynal • Springer eBooks
(2018)
OPENALEX
DOI: https://doi.org/10.1007/978-3-319-94141-7
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
David R. Cheriton • IEEE Software
(1984)
Developed to take advantage of the facilities of today's powerful personal workstations, the V kernel provides good system performance, not just good kernel performance....
OPENALEX
DOI: https://doi.org/10.1109/ms.1984.234046
Morris S. Sloman, Jeff Kramer (1987)
OPENALEX
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
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
Behrooz Shirazi, Krishna M. Kavi, Ali R. Hurson (1995)
OPENALEX
Adrian Francalanza, Jorge A. Pérez, César Sánchez • Lecture notes in computer science
(2018)
OPENALEX
Open Access
DOI: https://doi.org/10.1007/978-3-319-75632-5_6
Morrie Gasser, Ellen McDermott • IEEE Computer Society Symposium on Research in Security and Privacy
(1990)
A practical technique for delegation is described. It provides both cryptographic assurance that a delegation was authorized and authentication of the delegated systems, thereby allowing reliable access control as well as precise auditing o...
OPENALEX
DOI: https://doi.org/10.1109/risp.1990.63835
Leslie Lamport • ACM Transactions on Programming Languages and Systems
(1984)
A general method is described for implementing a distributed system with any desired degree of faulttolerance.Instead of relying upon explicit timeouts, processes execute a simple clock-driven algorithm.Reliable clock synchronization and a ...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/2993.2994