1994-21
Do object-oriented languages need special hardware support? Urs Hï½lzle, David Ungar
November, 1994
1994-20
Message Dispatch on Modern Computer Architectures Karel Driesen, Urs Hï½lzle, Jan Vitek
November, 1994
1994-16
Commutativity Analysis: A New Technique for AutomaticallyParallelizing Serial Programs Martin C. Rinard and Pedro Diniz
September, 1994
1994-14
What Price Replication? M. L. Liu, D. Agrawal, and A. El Abbadi
July, 1994
1994-13
An Efficient Implementation of the Quorum Consensus Protocol M. L. Liu, D. Agrawal, and A. El Abbadi
July, 1994
1994-12
DSC: Scheduling parallel tasks on an unbounded number of processors T. Yang and A. Gerasoulis
April, 1994
1994-11
Computational Modeling Systems: Supporting the Development ofScientific Models Terence R. Smith, Jianwen Su, Amr El Abbadi, Gustavo Alonso,and Amitabh Saran
May, 1994
1994-10
Synchronization in Nested Transactions Rodolfo Ferreira de Resende
April, 1994
1994-09
The Performance of Two-phase Commit Protocols in the Presence ofSite Failures M. L. Liu, D. Agrawal, and A. El Abbadi
April, 1994
1994-07
Scheduling Coarse-Grain Iterative Task Computation onMessage-Passing Architectures T. Yang
April, 1994
1994-06
Semantics-based Failure Recovery in Distributed Systems withOptimistic Message Logging H. Leong and D. Agrawal
June, 1994
1994-05
Managing Concurrent Activities in Collaborative Environments D. Agrawal, J.L. Bruno, A. El Abbadi, and V. Krishnaswamy
March, 1994
1994-04
Specification and Testing of Temporal Properties of ConcurrentSystem Designs Laura K. Dillon and Qing Yu
March, 1994
1994-03
Task Dependence and Termination in Ada Laura K. Dillon
March, 1994
1994-02
Cooperative Modeling in Applied Geographic Research Gustavo Alonso and Amr El Abbadi
February, 1994
1994-01
Semantic Locking in Object-Oriented Database Systems Rodolfo F. Resende, Divyakant Agrawal, and Amr El Abbadi
February, 1994
1993-27
Xaslantest User Manual Jeffrey G. Douglas
July, 1993
1993-26
Ustat -- A Real-time Intrusion Detection System for UNIX Koral Ilgun
December, 1993
1993-25
STAT -- A State Transition Analysis Tool For Intrusion Detection Phil Porras
November, 1993
1993-24
Maya: A Simulation Platform for Parallel Architectures andDistributed Shared Memories Divyakant Agrawal, Manhoi Choy, Hong Va Leong, and Ambuj K. Singh
December, 1993
1993-23
Evaluating Weak Memories with Maya Divyakant Agrawal, Manhoi Choy, Hong Va Leong, and Ambuj K. Singh
December, 1993
1993-21
On Real-time Distributed Geographical Database Systems Manhoi Choy, Mei-Po Kwan, and Hong Va Leong
December, 1993
1993-20
On the Serializability Theorem for Nested Transactions Rodolfo F. Resende, and Amr El Abbadi
January, 1993
1993-19
A Unified Implementation of Concurrency Control and Recovery Gustavo Alonso, Divyakant Agrawal, and Amr El Abbadi
October, 1993
1993-18
A Simple LP-Free Approximation Algorithm for The Minimum WeightVertex Cover Problem Teofilo F. Gonzalez
August, 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-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-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-14
Supporting the Construction and Use of Spatio-Temporal Domains InScientific Databases Terrence R. Smith, Jianwen Su, and Michael F. Worboys
July, 1993
1993-13
Aslantest Testplan Jeffrey G. Douglas
July, 1993
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