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)
