1992-22 |
Formal Verification of Realtime Systems in ASTRAL |
Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli |
December, 1993 |
|
1992-22 |
Formal Verification of Realtime Systems in ASTRAL |
Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli |
January, 1992 |
|
1993-01 |
A Computationally Intractable Problem on Simplicial Complexes |
Omer Egecioglu and Teofilo Gonzalez |
January, 1993 |
|
1993-02 |
Bounded Timestamps in Process Networks |
Manhoi Choy and Ambuj K. Singh |
May, 1993 |
|
1993-03 |
Localizing Failures in Distributed Synchronization |
Manhoi Choy and Ambuj K. Singh |
February, 1993 |
|
1993-04 |
Efficient Implementation of Synchronous Communication OverAsynchronous Networks |
Manhoi Choy and Ambuj K. Singh |
February, 1993 |
|
1993-05 |
Correctness Proofs of Programs using Weak Memories |
Manhoi Choy and Ambuj K. Singh |
January, 1993 |
|
1993-06 |
Set-Serializability: A Formal Theory for Partitioned Data |
Gustavo Alonso and Amr El Abbadi |
January, 1993 |
|
1993-07 |
Exponentiation using Canonical Recoding |
Omer Egecioglu and Cetin Kaya Koc |
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-09 |
A Formal Framework for ASTRAL Inter-Level Proof Obligations |
Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli |
April, 1993 |
|
1993-10 |
Semantics-based Time Warp Protocols |
Hong Va Leong and Divyakant Agrawal |
July, 1993 |
|
1993-11 |
Resource Allocation on Dynamic Conflict Graphs |
Manhoi Choy and Ambuj K. Singh |
July, 1993 |
|
1993-12 |
Aslantest User's Manual |
Jeffrey G. Douglas |
July, 1993 |
|
1993-13 |
Aslantest Testplan |
Jeffrey G. Douglas |
July, 1993 |
|
1993-14 |
Supporting the Construction and Use of Spatio-Temporal Domains InScientific Databases |
Terrence R. Smith, Jianwen Su, and Michael F. Worboys |
July, 1993 |
|
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 |
July, 1993 |
|
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 |
July, 1993 |
|
1993-17 |
Relative Serializability: An Approach for Relaxing the Atomicity ofTransactions |
D. Agrawal, J.L. Bruno, A. El Abbadi, and V. Krishnaswamy |
August, 1993 |
|
1993-18 |
A Simple LP-Free Approximation Algorithm for The Minimum WeightVertex Cover Problem |
Teofilo F. Gonzalez |
August, 1993 |
|