Home »
Academic Articles & Research Papers
Showing 20 of 5,045 academic articles
Brian White, Jay Lepreau, Leigh B. Stoller, Robert Ricci et al. • ACM SIGOPS Operating Systems Review
(2002)
Three experimental environments traditionally support network and distributed systems research: network emulators, network simulators, and live networks. The continued use of multiple approaches highlights both the value and inadequacy of e...
OPENALEX
DOI: https://doi.org/10.1145/844128.844152
Calton Pu, Avraham Leff • ACM SIGMOD International Conference on Management of Data (SIGMOD)
(1991)
Article Free Access Share on Replica control in distributed systems: as asynchronous approach Authors: Calton Pu Department of Computer Science, Columbia University, New York, NY Department of Computer Science, Columbia University, New York...
OPENALEX
DOI: https://doi.org/10.1145/115790.115856
John P. John, Ethan Katz-Bassett, Arvind Krishnamurthy, Thomas E. Anderson et al. (2008)
Internet routing protocols (BGP, OSPF, RIP) have traditionally favored responsiveness over consistency. A router applies a received update immediately to its forwarding table before propagating the update to other routers, including those t...
OPENALEX
K. Arvind • IEEE Transactions on Parallel and Distributed Systems
(1994)
Presents and analyzes a new probabilistic clock synchronization algorithm that can guarantee a much smaller bound on the clock skew than most existing algorithms. The algorithm is probabilistic in the sense that the bound on the clock skew ...
OPENALEX
DOI: https://doi.org/10.1109/71.282558
Bernadette Charron-Bost • Information Processing Letters
(1991)
OPENALEX
DOI: https://doi.org/10.1016/0020-0190(91)90055-m
Thomas Y. C. Woo, Simon S. Lam • Journal of Computer Security
(1993)
In most existing systems, authorization is specified using some low-level system-specific mechanisms, e.g., protection bits, capabilities and access control lists. We argue that authorization is an independent semantic concept that must be ...
OPENALEX
DOI: https://doi.org/10.3233/jcs-1993-22-304
J.L. Kim, T. Park • IEEE Transactions on Parallel and Distributed Systems
(1993)
The authors present an efficient synchronized checkpointing protocol that exploits the dependency relation between processes in distributed systems. In this protocol, a process takes a checkpoint when it knows that all processes on which it...
OPENALEX
DOI: https://doi.org/10.1109/71.238629
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