|
|
|
|
Taylor, D.
University of Waterloo
Waterloo, Canada
|
|
|
|
|
|
|
|
Date Reviewed |
|
|
1 - 8 of 8
reviews
|
|
|
|
|
|
|
|
The part-time parliament Lamport L. ACM Transactions on Computer Systems 16(2): 133-169, 1998. Type: Article
“‘Curiouser and curiouser!’ cried Alice,” and the reader of this paper is likely to join Alice in that remark. The first curiosity is that the paper claims to be about an ancient civilization, al...
|
Aug 1 1999 |
|
|
|
|
|
|
Strong loss tolerance of electronic coin systems Pfitzmann B., Waidner M. ACM Transactions on Computer Systems 15(2): 194-213, 1997. Type: Article
A user of electronic cash likely wants it to have the same properties as genuine cash, among them that the issuer of the cash should not be able to determine where the cash was spent, and the payee should not need to know the user&...
|
May 1 1998 |
|
|
|
|
|
|
Fault-tolerance in air traffic control systems Cristian F., Dancey B., Dehn J. ACM Transactions on Computer Systems 14(3): 265-286, 1996. Type: Article
The obvious high-reliability requirements of air traffic control systems present significant challenges in the design of fault-tolerant systems. The principal purpose of this paper is to describe the fault-tolerance techniques employed...
|
Sep 1 1997 |
|
|
|
|
|
|
Efficient fault-tolerant algorithms for distributed resource allocation Choy M., Singh A. ACM Transactions on Programming Languages and Systems 17(3): 535-559, 1995. Type: Article
Three distributed algorithms for solving a generalized version of the dining philosophers problem are presented. The solutions are based on the concept of doorways, that is, code fragments that block subsequent conflicting processes on...
|
Sep 1 1996 |
|
|
|
|
|
|
Self-stabilization Schneider M. ACM Computing Surveys 25(1): 45-67, 1993. Type: Article
Self-stabilization is the property that guarantees that a system placed in an arbitrary state will return to a legitimate state within a finite number of state transitions. This paper provides an extensive survey of research into self-...
|
Jul 1 1994 |
|
|
|
|
|
|
“Topologies”--distributed objects on multicomputers Schwan K., Bo W. ACM Transactions on Computer Systems 8(2): 111-157, 1990. Type: Article
A topology is a technique for organizing interprocess communication in parallel computers without shared memory. The paper illustrates the technique with two extended examples and presents extensive performance data. It is readable wit...
|
Sep 1 1993 |
|
|
|
|
|
|
An efficient and fault-tolerant solution for distributed mutual exclusion Agrawal D., El Abbadi A. ACM Transactions on Computer Systems 9(1): 1-20, 1991. Type: Article
The authors have developed a novel technique for achieving mutual exclusion in distributed systems. They provide sufficient background to make the paper accessible to readers not familiar with previous work in the area. The novelty of ...
|
Jul 1 1992 |
|
|
|
|
|
|
Local Concurrent Error Detection and Correction in Data Structures Using Virtual Backpointers Li C., Chen P., Fuchs W. IEEE Transactions on Computers 38(11): 1481-1492, 1989. Type: Article
This clearly written and well-organized paper makes two significant contributions to the field of robust storage structures: an enhanced theory of local error detection and correction, and the concept of a virtual backpointer. Although...
|
Mar 1 1991 |
|
|
|
|
|
|
|
|
|
|
|