Home »
Academic Articles & Research Papers
Showing 20 of 280 academic articles
Ilaria Castellani, Ugo Montanari • Springer eBooks
(2005)
OPENALEX
DOI: https://doi.org/10.1007/bfb0000097
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
D. Stott Parker, Gerald J. Popek, G. Rudisin, Alley Stoughton et al. • IEEE Transactions on Software Engineering
(1983)
Many distributed systems are now being developed to provide users with convenient access to data via some kind of communications network. In many cases it is desirable to keep the system functioning even when it is partitioned by network fa...
OPENALEX
DOI: https://doi.org/10.1109/tse.1983.236733
Thomas Y. C. Woo, Simon S. Lam • IEEE Computer Society Symposium on Research in Security and Privacy
(2003)
It is argued that authorization is an independent semantic concept that must be separated from implementation mechanisms and given a precise semantics. A logical approach to representing and evaluating authorization is proposed. Specificall...
OPENALEX
DOI: https://doi.org/10.1109/risp.1992.213272
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
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