Reset
Showing 20 of 280 academic articles

Visualizing Distributed System Executions

Ivan Beschastnikh, Perry Liu, Albert Xing, Patty Wang et al. • ACM Transactions on Software Engineering and Methodology (2020)

Distributed systems pose unique challenges for software developers. Understanding the system’s communication topology and reasoning about concurrent activities of system hosts can be difficult. The standard approach, analyzing system logs, ...

OPENALEX Open Access DOI: https://doi.org/10.1145/3375633

Monitoring distributed systems

Masoud Mansouri-Samani, Morris S. Sloman • IEEE Network (1993)

It is suggested that a functional model of monitoring in terms of the generation, processing, dissemination, and presentation of information can help determine the facilities needed to design and construct distributed systems. Implementatio...

OPENALEX DOI: https://doi.org/10.1109/65.244791

Robust Probabilistic Inference in Distributed Systems

Mark A. Paskin, Carlos Guestrin • arXiv (Cornell University) (2012)

Probabilistic inference problems arise naturally in distributed systems such as sensor networks and teams of mobile robots. Inference algorithms that use message passing are a natural fit for distributed systems, but they must be robust to ...

OPENALEX Open Access DOI: https://doi.org/10.48550/arxiv.1207.4174

Caching Hints in Distributed Systems

Doug Terry • IEEE Transactions on Software Engineering (1987)

Caching reduces the average cost of retrieving data by amortizing the lookup cost over several references to the data. Problems with maintaining strong cache consistency in a distributed system can be avoided by treating cached information ...

OPENALEX DOI: https://doi.org/10.1109/tse.1987.232834

GEM: a generalized event monitoring language for distributed systems

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

Orca: a language for parallel programming of distributed systems

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

Broadcast protocols for distributed systems

Peter Michael Melliar-Smith, L.E. Moser, Vivek Agrawala • IEEE Transactions on Parallel and Distributed Systems (1990)

An innovative approach is presented to the design of fault-tolerant distributed systems that avoids the several rounds of message exchange required by current protocols for consensus agreement. The approach is based on broadcast communicati...

OPENALEX DOI: https://doi.org/10.1109/71.80121

in Distributed Systems

Arup Abhinna Acharya, B. R. Badrinath (1991)

This paper presents an eflcient protocol to totally order the delivery of broadcast messages in a distributed system with N sites. The protocol exploits a symmetric communication scheme based on finite projective planes and requires N+2a me...

OPENALEX

Selfish caching in distributed systems

Byung-Gon Chun, Kamalika Chaudhuri, Hoeteck Wee, Marco Barreno et al. • ACM Symposium on Principles of Distributed Computing (PODC) (2004)

We analyze replication of resources by server nodes that act selfishly, using a game-theoretic approach. We refer to this as the selfish caching problem. In our model, nodes incur either cost for replicating resources or cost for access to ...

OPENALEX DOI: https://doi.org/10.1145/1011767.1011771

Ratings in Distributed Systems: A Bayesian Approach

Lik Mui, Mojdeh Mohtashemi, Cheewee Ang, Peter Szolovits et al. • DSpace@MIT (Massachusetts Institute of Technology) (2002)

For distributed systems at large and e-commerce systems in particular, ratings play an increasingly important role. Ratings confer reputation measures about sources. This paper reports our formalization of the rating process. This paper arg...

OPENALEX cc-by-nc

Building reliable distributed systems with CORBA

S. Landis, Silvano Maffeis • Theory and Practice of Object Systems (1997)

New classes of large-scale distributed applications will have to deal with unpredictable communication delays, with partial failures, and with networks that partition. In addition, sophisticated applications such as teleconferencing, video-...

OPENALEX DOI: https://doi.org/10.1002/(sici)1096-9942(1997)3:1<31::aid-tapo4>3.0.co;2-a

Verdi: a framework for implementing and formally verifying distributed systems

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