When the new tech report is saved, it will be published to the Tech Report page. By default the Tech Report page displays all reports ordered by report ID descending. Marking a tech report as unpublished will not remove it from the page. This ensures that all "reserved" numbers are displayed. If you need help with the tech reports, please fill out this form.


Report ID Title Report Authors Report Date
1993-17 Relative Serializability: An Approach for Relaxing the Atomicity ofTransactions D. Agrawal, J.L. Bruno, A. El Abbadi, and V. Krishnaswamy
1993-16 A Graphical Interval Logic for Specifying Concurrent Systems L.K. Dillon, G. Kutty, L.E. Moser, P.M. Melliar-Smith, andY.S. Ramakrishna
1993-15 MDBS: A Modeling and Database System to Support Research in theEarth Sciences Terence R. Smith, Jianwen Su, Divyakant Agrawal, and Amr El Abbadi
1993-14 Supporting the Construction and Use of Spatio-Temporal Domains InScientific Databases Terrence R. Smith, Jianwen Su, and Michael F. Worboys
1993-13 Aslantest Testplan Jeffrey G. Douglas
1993-12 Aslantest User's Manual Jeffrey G. Douglas
1993-11 Resource Allocation on Dynamic Conflict Graphs Manhoi Choy and Ambuj K. Singh
1993-10 Semantics-based Time Warp Protocols Hong Va Leong and Divyakant Agrawal
1993-09 A Formal Framework for ASTRAL Inter-Level Proof Obligations Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli
1993-08 Comparing Multiple File Copies With a Primary Copy Using MinimalCommunication Khaled A.S. Abdel-Ghaffar and Amr El Abbadi
1993-07 Exponentiation using Canonical Recoding Omer Egecioglu and Cetin Kaya Koc
1993-06 Set-Serializability: A Formal Theory for Partitioned Data Gustavo Alonso and Amr El Abbadi
1993-05 Correctness Proofs of Programs using Weak Memories Manhoi Choy and Ambuj K. Singh
1993-04 Efficient Implementation of Synchronous Communication OverAsynchronous Networks Manhoi Choy and Ambuj K. Singh
1993-03 Localizing Failures in Distributed Synchronization Manhoi Choy and Ambuj K. Singh
1993-02 Bounded Timestamps in Process Networks Manhoi Choy and Ambuj K. Singh
1993-01 A Computationally Intractable Problem on Simplicial Complexes Omer Egecioglu and Teofilo Gonzalez
1992-22 Formal Verification of Realtime Systems in ASTRAL Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli
1992-22 Formal Verification of Realtime Systems in ASTRAL Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli