Home »
Academic Articles & Research Papers
Showing 20 of 3,028 academic articles
Keith A. Lantz • UR Research (University of Rochester)
(1980)
In designing a distributed system it is useful to distinguish between services provided to end-users and services provided to programs. The first type of service is provided by the user interface, the second by the system interface. Both us...
OPENALEX
Open Access
Lindsay F. Marshall • Microprocessors and Microsystems
(1986)
OPENALEX
DOI: https://doi.org/10.1016/0141-9331(86)90194-8
Abraham Silberschatz • IEEE Transactions on Software Engineering
(1979)
Recent advances in technology have made the construction of general-purpose systems out of many small independent microprocessors feasible. One of the issue's concerning distributed systems is the question of appropriate language constructs...
OPENALEX
DOI: https://doi.org/10.1109/tse.1979.230190
Michel Raynal, Jean-Michel Hélary • International Linear Collider
(1990)
Part 1 Different forms of synchronization between processes: distributed systems, networks, and networks of processes synchronization. Part 2 The concept of a wave, and synchronization by wave train: wave algorithms example of use - computa...
OPENALEX
S. Srinivasan, Niraj Kumar Jha • IEEE Transactions on Parallel and Distributed Systems
(1999)
Distributed computer systems are increasingly being employed for critical applications, such as aircraft control, industrial process control, and banking systems. Maximizing performance has been the conventional objective in the allocation ...
OPENALEX
DOI: https://doi.org/10.1109/71.755824
Bengt Jönsson • ACM Transactions on Programming Languages and Systems
(1994)
We present a method for specification and verification of distributed systems that communicate via asynchronous message passing. The method handles both safety and liveness properties. It is compositional, i.e., a specification of a composi...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/174662.174665
Ratan K. Ghosh, Hiranmay Ghosh • Wiley eBooks
(2023)
Distributed Systems Comprehensive textbook resource on distributed systems—integrates foundational topics with advanced topics of contemporary importance within the field Distributed Systems: Theory and Applications is organized around thre...
OPENALEX
DOI: https://doi.org/10.1002/9781119825968
Richard Koo, Sam Toueg • eCommons (Cornell University)
(1986)
We consider the problem of bringing a distributed system to a consistent state after transient failures. We address the two components of this problem by describing a distributed algorithm to create consistent checkpoints, as well as a roll...
OPENALEX
DOI: https://doi.org/10.5555/324493.325074
Emil Lupu, Morris S. Sloman • IEEE Transactions on Software Engineering
(1999)
Modern distributed systems contain a large number of objects and must be capable of evolving, without shutting down the complete system, to cater for changing requirements. There is a need for distributed, automated management agents whose ...
OPENALEX
DOI: https://doi.org/10.1109/32.824414
Anna Hác • ACM SIGMETRICS Performance Evaluation Review
(1989)
Most distributed systems are characterized by distribution of both physical and logical features. The architecture of a distributed system is usually modular. Most distributed systems support a varying number of processing elements. The sys...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/1041911.1041912
Virginia M. Lo • Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign)
(1983)
This thesis addresses the problem of task assignment in distributed systems. A distributed system is defined as any configuration of two or more processors, each with private memory, in which computations utilize the combined resources of t...
OPENALEX
Xizhou Feng, Rong Ge, Kirk W. Cameron • IEEE International Parallel and Distributed Processing Symposium (IPDPS)
(2005)
Power consumption is a troublesome design constraint for emergent systems such as IBM's BlueGene /L. If current trends continue, future petaflop systems will require 100 megawatts of power to maintain high-performance. To address this probl...
OPENALEX
DOI: https://doi.org/10.1109/ipdps.2005.346
Jon G. Kuhl, Sudhakar M. Reddy • IEEE International Symposium on Fault-Tolerant Computing
(2005)
The problem of diagnosis of failures, at the system level, in large, truly distributed networks of processing elements is considered. A model proposed earlier, in which nodes of the network perform tests upon certain neighboring nodes and p...
OPENALEX
DOI: https://doi.org/10.1109/ftcsh.1995.532651
Bernadette Charron-Bost • Information Processing Letters
(1991)
OPENALEX
DOI: https://doi.org/10.1016/0020-0190(91)90055-m
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
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
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
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