Technical Reports

By Author: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Aaron, E., and D. Gries. Formal justification of underspecification for S5. TR97-1622. February 18, 1997.

Aguilera, M.K., W. Chen, and S. Toueg. Heartbeat: A timeout-free failure detector for quiescent reliable communication. TR97-1631. May 30, 1997.

Aguilera, M.K., W. Chen and S. Toueg. Quiescent reliable communication and quiescent consensus in partitionable networks. TR97-1632. June 9, 1997.

Andrews, K.,C., Heegard and D. Kozen. A Theory of interleavers. TR97-1634. June 18, 1997.

Baldoni, R.,R,. Friedman and R. van Renesse. The hierarchical daisy architecture for causal delivery. TR96-1610. September 26, 1996.

Basu, A.,B., Charron-Bost, and S. Toueg. Solving problems in the presence of process crashes and lossy links. TR96-1609. September 24, 1996.

Birman, K.,R., Friedman and M. Hayden. The maestro group manager: A structuring tool For applications with multiple quality of service requirements. TR97-1619. February 4, 1997.

Bressoud, T.C., Building a virtually fault-tolerant system. TR97-1618. January 29, 1997.

Chang, C-C., G. Czajkowski, T. von Eicken and C. Kesselman. Evaluating the performance limitations of MPMD communication. TR97-1630. May 28, 1997. Cohen, E., D. Kozen and F. Smith. The complexity of kleene algebra with tests. TR96-1598. July 19, 1996. Davis, J. R., and C. Lagoze. The networked computer science technical report library. TR96-1595. July 3, 1996. Friedman, R., and K. Birman. Using group communication technology to implement a reliable and scalable distributed coprocessor. TR96-1605. August 30, 1996. Friedman, R., I. Keidar, D. Dolev and D. Malkhi. Failure detectors in omission failure environments. TR96-1608. September 19, 1996 Friedman, R., and D. Mosse. Load balancing schemes for high-throughput distributed fault-tolerant servers. TR96-1616. December 9, 1996.

Gries, D. A calculational proof of Andrews's challenge. TR96-1602. August 28, 1996.

Gries, D. Formal versus semiformal proof in teaching predicate logic. TR96-1603. August 28, 1996.

Guo, K., and L. Rodrigues. Dynamic light-weight groups. TR96-1612. October 28, 1996.

Hayden, M., and R. van Renesse. Optimizing layered communication protocols. TR96-1613. November 18, 1996.

Hayden, M., and K. Birman. Probabilistic broadcast. TR96-1606. September 18, 1996.

Johansen, D., R. van Renesse and F.B. Schneider. Supporting broad internet access to TACOMA. TR96-1599. July 15, 1996.

Karr, D.A. Specification, composition, and automated verification of layered communication protocols. TR97-1623. March 7, 1997.

Komissarchik and C. Cardie. Word sense disambiguation using numerical constraint satisfaction. TR97-1621. February 14, 1997.

Kopke, P.W. The theory of rectangular hybrid automata. TR96-1601. August 12, 1996.

Kotlyar, V., K. Pingali and P. Stodghill. A relational approach to the compilation of sparse matrix programs. TR97-1627. March 26, 1997.

Kotlyar, V., K. Pingali and P. Stodghill. Unified framework for sparse and dense SPMD code generation (preliminary report). TR97-1625. March 10, 1997.

Kotlyar, V., K. Pingali and P. Stodghill. Compiling parallel sparse code for user-defined data structures. TR97-1633. June 2, 1997.

Kozen, D. On the complexity of reasoning in kleene algebra. TR97-1624. March 10, 1997.

Minsky, Y., D. Johansen, R. van Renesse and F.B. Schneider. Cryptographic support for fault-tolerant distributed computing. TR96-1600. July 15, 1996.

Olson, C.F., and D.P. Huttenlocher. An object recognition system for complex imagery that models the probability of a false positive.TR96-1594. July 1, 1996.

Pingali, K., and Gianfranco Bilardi. Optimal control dependence computation and the roman chariots problem. TR96-1597. September 18, 1996

Rodrigues, K. Guo, A. Sargento, R. van Renesse, B. Glade, P. Verissim, and K. Birman. A dynamic light-weight group service. TR96-1611. October 11, 1996.

Scharstein, D. View synthesis using stereo vision. TR96-1604. August 29, 1996.

Singhal, A. Term weighting revisited. TR97-1626. March 18, 1997.

Seshadri, P., M. Livny and R. Ramakrishnan. The case for enhanced abstract data types. TR97-1617. January 27, 1997.

Stoller, S.D., and F.B. Schneider. Automated analysis of fault-tolerance in distributed systems. TR96-1614. November 19, 1996.

Stoller, S.D. A method and tool for analyzing fault-tolerance in systems. TR97-1628. May 6, 1997.

Sturghill, D. Nagging: A general, fault-tolerant approach to parallel search pruning. TR97-1629. May 27, 1997.

Viswanath. D. and L.N. Trefethen. Matrix behaviour, unitary reducibility, and Hadamard products. TR96-1596. July 9, 1996.

Viswanath, D., and L.N. Trefethen. Condition numbers of random triangular matrices. TR96-1615. December 5, 1996.

Welsh, M., A. Basu, and T. von Eicken. Incorporating memory management into user-level network interfaces. TR97-1620. February 13, 1997.

Yan, T. The geobucket data structure for polynomials. TR96-1607. September 13, 1996.