|
|
eCommons@Cornell >
Browsing by Author Schneider, Fred B.
Showing results 78 to 97 of 98
| Preview | Issue Date | Title | Author(s) | | Oct-1985 | Safety Without Stuttering | Alpern, Bowen; Demers, Alan J.; Schneider, Fred B. |
| Jul-1999 | SASI Enforcement of Security Policies: A Retrospective | Erlingsson, Ulfar; Schneider, Fred B. |
| Sep-1989 | Simpler Proofs for Concurrent Reading and Writing | Schneider, Fred B. |
| Dec-1986 | The State Machine Approach: A Tutorial | Schneider, Fred B. |
| Jul-1996 | Supporting Broad Internet Access to TACOMA | Johansen, Dag; van Renesse, Robbert; Schneider, Fred B. |
| May-1985 | Symmetry and Similarity in Distributed Systems | Johnson, Ralph E.; Schneider, Fred B. |
| Sep-1979 | Synchronization in Distributed Programs | Schneider, Fred B. |
| 4-Dec-2001 | A TACOMA Retrospective | Johansen, Dag; Lauvset, Kare J.; van Renesse, Robbert; Schneider, Fred B.; Sudmann, Nils P.; Jacobsen, Kjetil |
| Mar-1994 | Teaching Math More Effectively, Through the Design of Calculational Proofs | Gries, David; Schneider, Fred B. |
| May-1980 | Three Surveys on Operating System Topics | Andrews, Gregory R.; Schneider, Fred B. |
| Jun-1984 | Thrifty Execution of Task Pipelines | Schneider, Fred B.; Conway, Richard W.; Skeen, Dale |
| 8-Oct-2001 | Tolerating Malicious Gossip | Minsky, Yaron M.; Schneider, Fred B. |
| Jul-1997 | Towards Fault-tolerant and Secure Agentry | Schneider, Fred B. |
| Feb-1989 | Trace-Based Network Proof Systems: Expressiveness and Completeness | Widom, Jennifer; Gries, David; Schneider, Fred B. |
| Aug-1987 | Understanding Protocols for Byzantine Clock Synchronization | Schneider, Fred B. |
| Oct-1981 | User Recovery and Reversal in Interactive Systems | Archer, James E. Jr.; Conway, Richard W.; Schneider, Fred B. |
| May-1982 | Using Message Passing for Distributed Programming: Proof Rules and Disciplines | Schlichting, Richard D.; Schneider, Fred B. |
| May-1994 | Verifying Programs That Use Causally-Ordered Message-Passing | Stoller, Scott D.; Schneider, Fred B. |
| Sep-1989 | Verifying Safety Properties Using Non-deterministic Infinite-state Automata | Klarlund, Nils; Schneider, Fred B. |
| Jul-1987 | Verifying Temporal Properties without using Temporal Logic | Alpern, Bowen; Schneider, Fred B. |
Showing results 78 to 97 of 98
|
