Home »
Academic Articles & Research Papers
Showing 20 of 5,045 academic articles
G.R. Nudd, Darren J. Kerbyson, E. Papaefstathiou, S. C. Perry et al. • The International Journal of High Performance Computing Applications
(2000)
This paper describes a methodology that provides detailed predictive performance information throughout the software design and implementation cycles. It is structured around a hierarchy of performance models that describe the computing sys...
OPENALEX
DOI: https://doi.org/10.1177/109434200001400306
Christopher R. Bearman, Susannah B. F. Paletz, Judith M. Orasanu, Matthew J. W. Thomas • Human Factors The Journal of the Human Factors and Ergonomics Society
(2010)
OBJECTIVE: This article aims to explore the nature and resolution of breakdowns in coordinated decision making in distributed safety-critical systems. BACKGROUND: In safety-critical domains, people with different roles and responsibilities ...
OPENALEX
Open Access
DOI: https://doi.org/10.1177/0018720810372104
Daoxi Xiu, Zhaoyu Liu • Lecture notes in computer science
(2005)
OPENALEX
DOI: https://doi.org/10.1007/11556992_35
Miron Livny, Myron Melman • ACM SIGMETRICS Performance Evaluation Review
(1982)
Three different load balancing algorithms for distributed systems that consist of a number of identical processors and a CSMA communication system are presented in this paper. Some of the properties of a multi-resource system and the balanc...
OPENALEX
DOI: https://doi.org/10.1145/1010631.801689
Xinhao Yuan, Junfeng Yang • International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
(2020)
Despite their wide deployment, distributed systems remain notoriously hard to reason about. Unexpected interleavings of concurrent operations and failures may lead to undefined behaviors and cause serious consequences. We present Morpheus, ...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/3373376.3378484
Gennady Medvinsky, Charlie Lai, Clifford Neuman • ACM SIGSAC Conference on Computer and Communications Security (CCS)
(1994)
Clients in a distributed system place their confidence in many servers, and servers themselves rely on other servers for file storage, authentication, authorization, and payment. When a system spans administrative boundaries it becomes hard...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/191177.191215
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