Home »
Academic Articles & Research Papers
Showing 20 of 23,220 academic articles
Ken Birman, Thomas Joseph • ACM SIGOPS Operating Systems Review
(1987)
We describe applications of a virtually synchronous environment for distributed programming, which underlies a collection of distributed programming tools in the ISIS 2 system. A virtually synchronous environment allows processes to be stru...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/37499.37515
Richard E. Schantz, Douglas C. Schmidt • Wiley eBooks
(2007)
Abstract Improvements in hardware and networking technologies over the past decades have yielded dramatic increases in computer and communication capabilities. Despite these advances, the effort and cost required to develop, validate, port,...
OPENALEX
DOI: https://doi.org/10.1002/9780470050118.ecse241
Tasneem Salah, Mohamed Jamal Zemerly, Chan Yeob Yeun, Mahmoud Al‐Qutayri et al. • International Conference for Internet Technology and Secured Transactions
(2016)
Applications developed to fulfil distributed systems needs have been growing rapidly. Major evolutions have happened beginning with basic architecture relying on initiated request by a client to a processing side referred to as the server. ...
OPENALEX
DOI: https://doi.org/10.1109/icitst.2016.7856721
Amritha Sampath, C. Tripti • Advances in intelligent systems and computing
(2012)
OPENALEX
DOI: https://doi.org/10.1007/978-3-642-31513-8_43
Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Roşu • ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
(2004)
This paper presents a variant of past time linear temporal logic, called PT-DTL, suitable for expressing temporal properties of distributed systems. The formulae in this logic are given with respect to a particular process and are interpret...
OPENALEX
DOI: https://doi.org/10.1109/icse.2004.1317464
Özalp Babaoğlu, Keith Marzullo (1993)
s are available from the same host in the directory /pub/TR/ABSTRACTS in plain text format. All local authors can be reached via e-mail at the address [email protected]. UBLCS Technical Report Series 92-1 Mapping Parallel Computations o...
OPENALEX
Ivan Beschastnikh, Patty Wang, Yuriy Brun, Michael D. Ernst • Communications of the ACM
(2016)
ShiViz is a new distributed system debugging visualization tool....
OPENALEX
Open Access
DOI: https://doi.org/10.1145/2909480
Zhaoquan Gu, Yuexuan Wang, Qiang-Sheng Hua, Francis C. M. Lau • Springer eBooks
(2017)
OPENALEX
DOI: https://doi.org/10.1007/978-981-10-3680-4
Colin Atkinson, Antônio José Natali, T. Moreton • Cambridge University Press eBooks
(1988)
This book describes the difficulties involved in programming distributed systems in Ada and outlines the various possible approaches. In then describes in detail the technique developed in the GEC MAP (Multi-Annual Programme) project....
OPENALEX
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
Morris S. Sloman (1994)
Contents Introduction 1. Management - What and Why Enabling Technologies 2. Network Technologies 3. Distributed Systems Models and Standards for Management 4. OSI Management Model and Standards 5. OSI Structure of Management Information 6. ...
OPENALEX
Qiang Fu, Jian–Guang Lou, Yi Wang, Li Jiang • Proceedings
(2009)
Detection of execution anomalies is very important for the maintenance, development, and performance refinement of large scale distributed systems. Execution anomalies include both work flow errors and low performance problems. People often...
OPENALEX
DOI: https://doi.org/10.1109/icdm.2009.60
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