|
|
eCommons@Cornell >
Browsing by Author Schneider, Fred B.
Showing results 75 to 94 of 98
| Preview | Issue Date | Title | Author(s) | | Feb-1994 | Reasoning About Programs by Exploiting the Environment | Fix, Limor; Schneider, Fred B. |
| Jan-1986 | Recognizing Safety and Liveness | Alpern, Bowen; Schneider, Fred B. |
| Apr-1994 | Refinement for Fault-Tolerance: An Aircraft Hand-off Protocol | Marzullo, Keith; Schneider, Fred B.; Dehn, Jon |
| 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. |
Showing results 75 to 94 of 98
|
