BUCS Tech Report #93-001
Name: Azer Bestavros, Spyridon Braoudakis, Euthemios Panagos, Boston University 
Title: Performance Evaluation of Two-Shadow Speculative Concurrency Control
February 1993 (18 pages)

BUCS Tech Report #93-002
Name: Azer Bestavros, Boston University 
Title: Speculative Concurrency Control for Real-Time Databases
January 1993 (15 pages)

BUCS Tech Report #93-003
Name: Marwan Shaban, Boston University 
Title: Quadsim Student Manual 
April 1993 (21 pages)

BUCS Tech Report #93-004
Name: Wayne Snyder,Boston University 
Title: Proceedings of Sixth International Workshop on Unification 
April 1993 (67 pages)

BUCS Tech Report #93-005
Name: Himanshu Shekhar Sinha, Boston University 
Title: Mermera: Non-coherent Distributed Shared Memory for Parallel Computing 
May 1993 (72 pages)

BUCS Tech Report #93-006
Name: Abdelsalam Heddaya and Himanshu Sinha 
Title: An Implementation of Mermera: A Shared Memory System that Mixes 
Coherence with Non-coherence 
June 1993 (24 pages)

BUCS Tech Report #93-007
Name: Abdelsalam Heddaya, Kihong Park, and Himanshu Sinha, Boston University 
Title: Using Warp to Control Network Contention in Mermera 
June 1993 (15 pages)

BUCS Tech Report #93-008
Name: A. J. Kfoury and M. Wymann-Boeni, Boston University 
Title: Fixed Point vs. First-Order Logic on Finite Ordered Structures with 
Unary Relations 
August 1993 (13 pages)

BUCS Tech Report #93-009
Name: A.J. Kfoury and M. Wymann-Boeni, Boston University 
Title: A Characterization of First-Order Definable Subsets on Classes of 
Finite Total Orders 
August 1993 (12 pages)

BUCS Tech Report #93-010
Name: Zhixiang Chen and Steve Homer, Boston University 
Title: Learning Unions of Rectangles  with Queries 
September 1993 (17 pages)

BUCS Tech Report #93-011
Name: J. B. Wells,Boston University 
Title: Typability and Type Checking in the Second-Order Lambda-Calculus
Are Equivalent and Undecidable 
September 1993 (19 pages)