Home »
Academic Articles & Research Papers
Showing 20 of 280 academic articles
Guohong Cao, Mukesh Singhal • IEEE Transactions on Parallel and Distributed Systems
(1998)
Coordinated checkpointing simplifies failure recovery and eliminates domino effects in case of failures by preserving a consistent global checkpoint on stable storage. However, the approach suffers from high overhead associated with the che...
OPENALEX
DOI: https://doi.org/10.1109/71.737697
Marcus Brunner, Keller, Alexander • Lecture notes in computer science
(2003)
OPENALEX
DOI: https://doi.org/10.1007/b94014
James W. Mickens, Brian D. Noble (2006)
Loosely-coupled distributed systems have significant scale and cost advantages over more traditional architectures, but the availability of the nodes in these systems varies widely. Availability modeling is crucial for predicting per-machin...
OPENALEX
Anatoliy G. Butkovskiy (1983)
OPENALEX
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino • Electronic Proceedings in Theoretical Computer Science
(2011)
We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calcul...
OPENALEX
cc-by-nc-nd
DOI: https://doi.org/10.4204/eptcs.59.11
Helen D. Karatza • Lecture notes in computer science
(2004)
OPENALEX
DOI: https://doi.org/10.1007/978-3-540-24663-3_16
Bernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier • ACM Transactions on Programming Languages and Systems
(1995)
The definitions of the predicates Possibly φ and Definitely φ, where φ is a global predicate of a distributed computation, lead to the definitions of two predicate transformers P and D . We show that P plays the same role with respect to ti...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/200994.201005
Ken Birman • Texts in computer science
(2012)
OPENALEX
DOI: https://doi.org/10.1007/978-1-4471-2416-0
William Johnston Buchanan • Research Output (Edinburgh Napier University)
(2000)
This book provides the student with comprehensive coverage of both networks and system architecture. It aims to introduce the most widely used networking protocols and distributed systems, covering recent developments in distributed process...
OPENALEX
other-oa
Nicodemos Damianou, Naranker Dulay, E. Lupu, Morris S. Sloman • Spiral (Imperial College London)
(2000)
This document defines a declarative, object-oriented language for specifying policies for the security and management of distributed systems. The language includes constructs for specifying the following basic policy types: authorisation po...
OPENALEX
Open Access
DOI: https://doi.org/10.25561/5966
George Coulouris, Jean Dollimore, Tim Kindberg • Addison-Wesley Longman Publishing Co., Inc. eBooks
(2000)
OPENALEX
Tushar Deepak Chandra, Sam Toueg • Journal of the ACM
(1996)
We introduce the concept of unreliable failure detectors and study how they can be used to solve Consensus in asynchronous systems with crash failures. We characterise unreliable failure detectors in terms of two properties—completeness and...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/226643.226647
Daniel Grosu, Anthony Theodore Chronopoulos, Ming‐Ying Leung • Concurrency and Computation Practice and Experience
(2008)
Abstract A serious difficulty in concurrent programming of a distributed system is how to deal with scheduling and load balancing of such a system which may consist of heterogeneous computers. In this paper, we formulate the static load‐bal...
OPENALEX
DOI: https://doi.org/10.1002/cpe.1331
Manish Parashar • Computer
(2020)
This installment of Computer’s series highlighting the work published in IEEE Computer Society journals comes from IEEE Transactions on Parallel and Distributed Systems....
OPENALEX
Open Access
DOI: https://doi.org/10.1109/mc.2020.3017320
Andriy Luntovskyy, Dietbert Gütter • Springer eBooks
(2022)
OPENALEX
DOI: https://doi.org/10.1007/978-3-030-92829-2
A. El Jai, A. J. Pritchard • HAL
(1988)
The object of this book is to present the principal results in the analysis of distributed parameter systems, which are concerned with the structure of input-output operators, i.e. actuators and sensors.We have adopted an approach via semig...
OPENALEX
Patrick Th. Eugster, Rachid Guerraoui, Anne-Marie Kermarrec, Laurent Massoulié • Computer
(2004)
Easy to deploy, robust, and highly resilient to failures, epidemic algorithms are a potentially effective mechanism for propagating information in large peer-to-peer systems deployed on Internet or ad hoc networks. It is possible to adjust ...
OPENALEX
Open Access
DOI: https://doi.org/10.1109/mc.2004.1297243
Roberto Baldoni, Maarten R. van Steen, Nicolas Nisse • Lecture notes in computer science
(2013)
OPENALEX
DOI: https://doi.org/10.1007/978-3-319-03850-6
Nader Motee, Ali Jadbabaie • IEEE Transactions on Automatic Control
(2008)
In this paper, we study the structural properties of optimal control of spatially distributed systems. Such systems consist of an infinite collection of possibly heterogeneous linear control systems that are spatially interconnected via cer...
OPENALEX
DOI: https://doi.org/10.1109/tac.2008.929366
Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen et al. (2008)
Testing large-scale distributed systems is a challenge, because some errors manifest themselves only after a distributed sequence of events that involves machine and network failures. D³S is a checker that allows developers to specify predi...
OPENALEX