Home »
Academic Articles & Research Papers
Showing 20 of 962 academic articles
Dylan Herman, Cody Googin, Xiaoyuan Liu, Alexey Galda et al. • RePEc: Research Papers in Economics
(2022)
Quantum computers are expected to surpass the computational capabilities of classical computers during this decade and have transformative impact on numerous industry sectors, particularly finance. In fact, finance is estimated to be the fi...
OPENALEX
Open Access
DOI: https://doi.org/10.48550/arxiv.2201.02773
Xiao Chen • Scalable Computing Practice and Experience
(2000)
Jie Wu CRC Press Publishing Company, Boca Raton, FL, 1998, 496 pp. ISBN 0-8493-3178-1, $74.95 The Distributed System Design is a superbly organized, comprehensive exposition of basic concepts, issues, and some possible solutions in the di...
OPENALEX
DOI: https://doi.org/10.12694/scpe.v3i1.173
Aloysius K. Mok • DSpace@MIT (Massachusetts Institute of Technology)
(1983)
Software designed to function in a hard-real-time environment where strict timing constraints must be met often entails implicit assumptions about a programming language and the underlying system which supports it. Programs which are logica...
OPENALEX
cc-by-nc
Joe Armstrong (2003)
The work described in this thesis is the result of aresearch program started in 1981 to find better ways ofprogramming Telecom applications. These applications are largeprograms which despite careful testing will probably containmany errors...
OPENALEX
Open Access
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
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
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
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
Uwe Glässer, Yuri G. Gurevich, Margus Veanes • IEEE Transactions on Software Engineering
(2004)
In some distributed and mobile communication models, a message disappears in one place and miraculously appears in another. In reality, of course, there are no miracles. A message goes from one network to another; it can be lost or corrupte...
OPENALEX
DOI: https://doi.org/10.1109/tse.2004.25
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
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
Sukumar Ghosh • Chapman & Hall/CRC eBooks
(2014)
Distributed Systems: An Algorithmic Approach, Second Edition provides a balanced and straightforward treatment of the underlying theory and practical applications of distributed computing. As in the previous version, the language is kept as...
OPENALEX
DOI: https://doi.org/10.1201/b17224
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
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
Raja Sengupta • RePEc: Research Papers in Economics
(1999)
This paper discusses diagnosis problems in distributed systems within the context of a language-theoretic discrete event formalism. A distributed system is seen as a system with multiple spatially separated sites with each site having a dia...
OPENALEX
Open Access
Leslie Lamport • ACM Transactions on Programming Languages and Systems
(1984)
A general method is described for implementing a distributed system with any desired degree of faulttolerance.Instead of relying upon explicit timeouts, processes execute a simple clock-driven algorithm.Reliable clock synchronization and a ...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/2993.2994
Masoud Mansouri-Samani, Morris S. Sloman • Distributed Systems Engineering
(1997)
Event-based monitoring is critical for managing and debugging networks and distributed systems. This paper presents GEM - an interpreted generalized event monitoring language. It allows high-level, abstract events to be specified in terms o...
OPENALEX
Open Access
DOI: https://doi.org/10.1088/0967-1846/4/2/004
Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum • IEEE Transactions on Software Engineering
(1992)
A detailed description is given of the Orca language design and the design choices are discussed. Orca is intended for applications programmers rather than systems programmers. This is reflected in its design goals to provide a simple, easy...
OPENALEX
Open Access
DOI: https://doi.org/10.1109/32.126768
Stanislaw Budkowski, Piotr Dembiński • Computer Networks and ISDN Systems
(1987)
OPENALEX
DOI: https://doi.org/10.1016/0169-7552(87)90084-5
James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock et al. • ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
(2015)
Distributed systems are difficult to implement correctly because they must handle both concurrency and failures: machines may crash at arbitrary points and networks may reorder, drop, or duplicate packets. Further, their behavior is often t...
OPENALEX
Open Access
DOI: https://doi.org/10.1145/2737924.2737958