Tech Reports

Report ID Title Report authors Report date
1993-12 Aslantest User's Manual Jeffrey G. Douglas July, 1993
1993-11 Resource Allocation on Dynamic Conflict Graphs Manhoi Choy and Ambuj K. Singh July, 1993
1993-10 Semantics-based Time Warp Protocols Hong Va Leong and Divyakant Agrawal July, 1993
1993-09 A Formal Framework for ASTRAL Inter-Level Proof Obligations Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli April, 1993
1993-08 Comparing Multiple File Copies With a Primary Copy Using MinimalCommunication Khaled A.S. Abdel-Ghaffar and Amr El Abbadi April, 1993
1993-07 Exponentiation using Canonical Recoding Omer Egecioglu and Cetin Kaya Koc April, 1993
1993-06 Set-Serializability: A Formal Theory for Partitioned Data Gustavo Alonso and Amr El Abbadi January, 1993
1993-05 Correctness Proofs of Programs using Weak Memories Manhoi Choy and Ambuj K. Singh January, 1993
1993-04 Efficient Implementation of Synchronous Communication OverAsynchronous Networks Manhoi Choy and Ambuj K. Singh February, 1993
1993-03 Localizing Failures in Distributed Synchronization Manhoi Choy and Ambuj K. Singh February, 1993
1993-02 Bounded Timestamps in Process Networks Manhoi Choy and Ambuj K. Singh May, 1993
1993-01 A Computationally Intractable Problem on Simplicial Complexes Omer Egecioglu and Teofilo Gonzalez January, 1993
1992-22 Formal Verification of Realtime Systems in ASTRAL Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli January, 1992
1992-22 Formal Verification of Realtime Systems in ASTRAL Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli December, 1993

Pages