Browse

ftp://cs-ftp.bu.edu (154)

	ftp://cs-ftp.bu.edu/techreports/91-002-BURDS1.ps.Z, 19910122 Transactional Replication for Typed Objects: Preliminary Results of Project BURDS Abdelsalam Heddayay Prakash S. Ramamurthyz Himanshu Sinha Boston University September 1,1990 Revised January 21, 1991
	ftp://cs-ftp.bu.edu/techreports/92-004-mermera1.ps, 19920515 Coherence, Non-coherence and Local Consistency in Distributed Shared Memory for Parallel Computing Abdelsalam Heddaya heddaya@cs.bu.edu Himanshu Sinhay hss@cs.bu.edu 12 May 1992 BU-CS-92-004 Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/92-009-mermera2.ps.Z, 19921013 An Overview of Mermera: A System and Formalism for Non-coherent Distributed Parallel Memory Abdelsalam Heddaya Himanshu Sinhay heddaya@cs.bu.edu hss@cs.bu.edu 30 September 1992 BU-CS-92-009 Computer Science Department Boston University Boston, MA 02215 Phone: 617 353-8919 Fax: 617 353-6457 To appear in:
	ftp://cs-ftp.bu.edu/techreports/92-019-cleopatra.ps.Z, 19921211 Compiler for the Embedded Real-Time Systems Speci cation Language CLEOPATRA by Robert L. Popp Devora Reich Department of Computer Science Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/92-017-scc-family.ps.Z, 19921211 A Family of Speculative Concurrency Control Algorithms for Real-Time Databases Azer Bestavros (best@cs.bu.edu) Spyridon Braoudakis (sb@cs.bu.edu) Computer Science Department Boston University Boston, MA 02215 November 30, 1992
	ftp://cs-ftp.bu.edu/techreports/92-018-dlx-sim.ps.Z, 19921216 Chapter 1 Implementation of a Vectorized DLX Simulator 1.1 Introduction This project involved extending the DLXsim, the simulator written in the University of California at Berkeley, to incorporate the simulation of a vector machine. The vector architecture simulated is the DLXV architecture described
	ftp://cs-ftp.bu.edu/techreports/92-020-aida-communication.ps.Z, 19930121 AIDA-based Communication for Distributed Time-critical Applications Azer Bestavros (best@cs.bu.edu) Computer Science Department Boston University Boston, MA 02215 January 20, 1993
	ftp://cs-ftp.bu.edu/techreports/92-016-scc-position.ps.Z, 19930305 Speculative Concurrency Control A position Statement Azer Bestavros Computer Science Department Boston University 1 Introduction Traditional concurrency control algorithms can be broadly classified as either pessimistic or optimistic . Pessimistic Concurrency Control (PCC) algorithms avoid any
	ftp://cs-ftp.bu.edu/techreports/93-001-scc-2s-perf.ps.Z, 19930305 Performance Evaluation of Two-Shadow Speculative Concurrency Control Azer Bestavros (best@cs.bu.edu) Spyridon Braoudakis (sb@cs.bu.edu) Euthimios Panagos (thimios@cs.bu.edu) Computer Science Department Boston University Boston, MA 02215 February 5, 1993
	ftp://cs-ftp.bu.edu/techreports/93-002-scc.ps.Z, 19930319 Speculative Concurrency Control Azer Bestavros (best@cs.bu.edu) Computer Science Department Boston University Boston, MA 02215 January 27, 1993
	ftp://cs-ftp.bu.edu/techreports/93-003-quadsim.ps.Z, 19930426 Quadsim Version 2.1 Student Manual Marwan Shaban shaban@cs.bu.edu February 21, 1993 BU-CS Tech Report # 93-003 Computer Science Department Boston University 111 Cummington Street Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/93-005-mermera.hss.thesis.ps.Z, 19930514 MERMERA: NON-COHERENT DISTRIBUTED SHARED MEMORY FOR PARALLEL COMPUTING Himanshu Shekhar Sinha April 1993 BU-CS-93-005 Computer Science Department 111 Cummington Street Boston, MA 02215 Phone: (617)353-8919 E-mail: hss@cs.bu.edu Note This is the technical report version of my Ph.D. thesis. To save a few
	ftp://cs-ftp.bu.edu/techreports/93-006-mermera3.ps.Z, 19930609 An Implementation of Mermera: A Shared Memory System that Mixes Coherence with Non-coherence Abdelsalam Heddaya heddaya@cs.bu.edu Himanshu Sinha hss@cs.bu.edu BU-CS-93-006 (Supersedes 92-013) June 4, 1993 Boston University Computer Science Department Boston, MA 02215 Phone: 617 353-8919 Fax: 617
	ftp://cs-ftp.bu.edu/techreports/93-011-f-undecidable.ps.gz, 19930801 Typability and Type Checking in the Second-Order >=-Calculus Are Equivalent and Undecidable (Preliminary Draft) J. B. Wells Dept. of Computer Science jbw@cs.bu.edu Boston University Boston, MA 02215, USA August 1, 1993
	ftp://cs-ftp.bu.edu/techreports/93-009-fo-subsets.ps.Z, 19930812 A Characterization of First-Order Definable Subsets on Classes of Finite Total Orders A. J. Kfoury M. Wymann-B oniy Boston University August 1993
	ftp://cs-ftp.bu.edu/techreports/93-008-monadic-fo-vs-fp.ps.Z, 19930812 Fixed Point vs. First-Order Logic on Finite Ordered Structures with Unary Relations A. J. Kfoury M. Wymann-B oniy August 11, 1993
	ftp://cs-ftp.bu.edu/techreports/93-007-mermera-warp.ps.Z, 19931013 NIVERSSI:CONMDCXSAISTBOSTONIENITIDACCXXXU:A. Bestavros, 1991 Boston UniversityCollege of Liberal Arts 111 Cummington Street, MCS 138Tel: 617-353-8919 ; Fax: 617-353-6457 Computer Science Department Boston, Massachusetts 02215 Using Warp to Control Network Contention in Mermera Abdelsalam Heddaya
	ftp://cs-ftp.bu.edu/techreports/93-014-scc-delayed-commit.ps.Z, 19931112 Multi-version Speculative Concurrency Control with Delayed Commit Azer Bestavros (best@cs.bu.edu) Biao Wang (bwang@cs.bu.edu) Computer Science Department Boston University Boston, MA 02215 October 27, 1993
	ftp://cs-ftp.bu.edu/techreports/93-012-tra-responsive.ps.Z, 19931112 CLEOPATRA Building Responsive Systems from Physically-correct Specifications Azer Bestavros Department of Computer Science Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/93-013-gb-parser.ps.Z, 19931112 A Minimal GB Parser Marwan Shaban shaban@cs.bu.edu October 26, 1993 BU-CS Tech Report # 93-013 Computer Science Department Boston University 111 Cummington Street Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/93-015-ga-clique.ps.Z, 19931122 How good are genetic algorithms at finding large cliques: an experimental study Bob Carter carter@cs.bu.edu Kihong Parky park@cs.bu.edu BU-CS-93-015 October 10, 1993 Boston University Computer Science Department Boston, MA 02215 Phone: 617 353-8919 Fax: 617 353-6457
	ftp://cs-ftp.bu.edu/techreports/93-016-fo-definability.ps, 19931124 An Algebraic Characterization of First-Order Definability A.J. Kfoury Boston University (kfoury@cs.bu.edu) M. Wymann-B oni y Boston University (wymann@cs.bu.edu) November 22, 1993
	ftp://cs-ftp.bu.edu/techreports/93-017-finite-rank.ps, 19931202 A Direct Algorithm for Type Inference in the Rank 2 Fragment of the Second-Order >=-Calculus A. J. Kfoury kfoury@cs.bu.edu Dept. of Computer Science Boston University J. B. Wells jbw@cs.bu.edu Dept. of Computer Science Boston University December 1, 1993 Boston University Computer Science Department
	ftp://cs-ftp.bu.edu/techreports/93-010-learning-rect.ps.Z, 19940111 Learning Unions of Rectangles with Queries Zhixiang Chen Steven Homer Department of Computer Science Boston University Boston, MA 02215 The authors were supported by NSF grant CCR91-9103055. The first author was also supported by a Boston University Presidential Graduate Fellowship. Email address:
	ftp://cs-ftp.bu.edu/techreports/93-018-gsureport.ps.Z, 19940119 A General Theory of Semi-Unification Said Jahama Boston University (jahama@cs.bu.edu) A.J. Kfoury y Boston University (kfoury@cs.bu.edu) December 20, 1993 Technical Report: bu-cs # 93-018
	ftp://cs-ftp.bu.edu/techreports/93-019-recursivetype.ps.Z, 19940119 Type Reconstruction in the Presence of Polymorphic Recursion and Recursive Types Said Jahama Boston University (jahama@cs.bu.edu) A.J. Kfoury y Boston University (kfoury@cs.bu.edu) December 20, 1993 Technical Report: bu-cs #93-019
	ftp://cs-ftp.bu.edu/techreports/94-001-maxclique.ps.Z, 19940129 On the Performance of Polynomial-time CLIQUE Approximation Algorithms on Very Large Graphs Steven Homer Marcus Peinado homer@cs.bu.edu mpe@cs.bu.edu Department of Computer Science and Center for Computational Science Boston University
	ftp://cs-ftp.bu.edu/techreports/94-005-structure-sharing.ps.Z, 19940323 Structure Sharing and Parallelization in a GB Parser Marwan Shaban shaban@cs.bu.edu March 22, 1994 BU-CS Tech Report # 94-005 Computer Science Department Boston University 111 Cummington Street Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/94-004-e-grammar-parser.ps.Z, 19940323 A Hybrid GLR Algorithm for Parsing with Epsilon Grammars Marwan Shaban shaban@cs.bu.edu March 22, 1994 BU-CS Tech Report # 94-004 Computer Science Department Boston University 111 Cummington Street Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/94-006-polymorphic-abstraction.ps.gz, 19940425 Adding Polymorphic Abstraction to ML (Detailed Abstract) A. J. Kfoury kfoury@cs.bu.edu Dept. of Computer Science Boston University J. B. Wells jbw@cs.bu.edu Dept. of Computer Science Boston University March 16, 1994 1 Synopsis The ML programming language restricts type polymorphism to occur only in the
	ftp://cs-ftp.bu.edu/techreports/94-007-rtdbs-timeliness.ps.Z, 19940509 Timeliness via Speculation for Real-Time Databases Azer Bestavros (best@cs.bu.edu) Spyridon Braoudakis (sb@cs.bu.edu) Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/94-008-physical-correctness.ps.Z, 19940509 An Ounce of Prevention is Worth a Pound of Cure Towards Physically-Correct Specifications of Embedded Real-Time Systems Azer Bestavros Department of Computer Science Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/94-003-parallel-comm.ps.Z, 19940708 NIVERSSI:CONMDCXSAISTBOSTONIENITIDACCXXXU:A. Bestavros, 1991 Boston UniversityCollege of Liberal Arts 111 Cummington Street, MCS 138Tel: 617-353-8919 ; Fax: 617-353-6457 Computer Science Department Boston, Massachusetts 02215 Mapping Parallel Iterative Algorithms onto Workstation Networks Abdelsalam
	ftp://cs-ftp.bu.edu/techreports/94-009-lowerbound-ga.ps.Z, 19941017 A lower-bound result on the power of a genetic algorithm Kihong Park park@cs.bu.edu BU-CS-94-009 July 31, 1993 Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/94-011-realtime-databases.ps.Z, 19941201 BOSTON UNIVERSITY GRADUATE SCHOOL Dissertation CONCURRENCY CONTROL PROTOCOLS FOR REAL-TIME DATABASES by Spyridon Braoudakis B.S., University of Crete, 1988 M.A., Boston University, 1990 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy 1995 c Copyright by
	ftp://cs-ftp.bu.edu/techreports/94-012-bsp-os.ps.Z, 19941207 NIVERSSI:CONMDCXSAISTBOSTONIENITIDACCXXXU:A. Bestavros, 1991 Boston UniversityCollege of Liberal Arts 111 Cummington Street, MCS 138Tel: 617-353-8919 ; Fax: 617-353-6457 Computer Science Department Boston, Massachusetts 02215 OS Support for Portable Bulk Synchronous Parallel Programs (Position Paper)
	ftp://cs-ftp.bu.edu/techreports/94-010-genetic_search.ps.Z, 19941212 On the effectiveness of genetic search in combinatorial optimization Kihong Parky park@cs.bu.edu Bob Carter carter@cs.bu.edu BU-CS-94-010 November 10, 1994 Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/94-013-quasi-static-types.ps.Z, 19941219 An Algorithm for Inferring Quasi-Static Types Alberto Oliart December 14, 1994
	ftp://cs-ftp.bu.edu/techreports/94-014-strong-normalization.ps.gz, 19941220 New Notions of Reduction and Non-Semantic Proofs of -Strong Normalization in Typed >=-Calculi A. J. Kfoury kfoury@cs.bu.edu Dept. of Computer Science Boston University J. B. Wells jbw@cs.bu.edu Dept. of Computer Science Boston University December 19, 1994 Boston University Computer Science Department
	ftp://cs-ftp.bu.edu/techreports/95-004-coercibility.ps.Z, 19950217 Equational Axiomatization of Bicoercibility for Polymorphic Types Jerzy Tiuryn Institute of Informatics Warsaw University Banacha 2 02-097 Warsaw, POLAND (tiuryn@mimuw.edu.pl) February, 1995
	ftp://cs-ftp.bu.edu/techreports/95-005-scc-dc.ps.Z, 19950220 Value-cognizant Speculative Concurrency Control Azer Bestavros (best@cs.bu.edu) Spyridon Braoudakis (sb@cs.bu.edu) Computer Science Department Boston University Boston, MA 02215 February 20, 1995
	ftp://cs-ftp.bu.edu/techreports/95-003-web-server-dissemination.ps.Z, 19950303 Demand-based Document Dissemination for the World-Wide Web Azer Bestavros (best@cs.bu.edu) Computer Science Department Boston University Boston, MA 02215 February 7, 1995
	ftp://cs-ftp.bu.edu/techreports/95-007-strong-normalization-addendum.ps.gz, 19950331 Addendum to New Notions of Reduction and Non-Semantic Proofs of -Strong Normalization in Typed >=-Calculi" A. J. Kfoury kfoury@cs.bu.edu Dept. of Computer Science Boston University J. B. Wells jbw@cs.bu.edu Dept. of Computer Science Boston University March 31, 1995 Boston University Computer Science
	ftp://cs-ftp.bu.edu/techreports/95-002-web-client-caching.ps.Z, 19950406 NIVERSSI:CONMDCXSAISTBOSTONIENITIDACCXXXU:A. Bestavros, 1991 Boston UniversityCollege of Liberal Arts 111 Cummington Street, MCS 138Tel: 617-353-8919 ; Fax: 617-353-6457 Computer Science Department Boston, Massachusetts 02215 Application-Level Document Caching in the Internet Azer Bestavros Robert L.
	ftp://cs-ftp.bu.edu/techreports/95-001/lo_figure_2.ps, 19950425 BA123456Time Linever 1ver 2ver 3ver 1ver 2ver 3ababaeefffcddggcc12345Global Link Table This link was discarded at time 3. Destination b was deleted from . Hence source a should also be removed. Destinations d and g were deleted from .
	ftp://cs-ftp.bu.edu/techreports/95-001/lo_figure_1.ps, 19950425 BA123456Time Linever 1ver 2ver 3ver 1ver 2ver 3ababaeefffcddggccThis link was discarded at time 3 Destinations d and g were deleted from . Destination b was deleted from . Hence source a should also be removed.
	ftp://cs-ftp.bu.edu/techreports/95-006-speculative-service.ps.Z, 19950428 Using Speculation to Reduce Server Load and Service Time on the WWW Azer Bestavros (best@cs.bu.edu) Computer Science Department Boston University Boston, MA 02215 February 21, 1995
	ftp://cs-ftp.bu.edu/techreports/95-008-modal-matching.ps.Z, 19950501 Boston University Computer Science Dept. TR95-008. Appears in IEEE TPAMI, June 1995. Modal Matching for Correspondence and Recognition S. Sclaroff and A. Pentland
	ftp://cs-ftp.bu.edu/techreports/94-015-search-by-shape-example.ps.Z, 19950501 Boston University Computer Science Dept. TR94-015 Appeared in Proc. 28th Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, CA. Oct. 1994. Search by Shape Examples: Modeling Nonrigid Deformation Stan Sclaroff Alex P. Pentland Computer Science Dept. Perceptual Computing Section Boston
	ftp://cs-ftp.bu.edu/techreports/94-016-phys-based-comb-of-views.ps.Z, 19950501 Boston University Computer Science Dept. TR94-016 Appeared in Proc. of the IEEE Workshop on Nonrigid and Articulate Motion, Austin, TX, Nov. 1994. Physically-Based Combinations of Views: Representing Rigid and Nonrigid Motion Stan Sclaroff Alex P. Pentland Computer Science Dept. Perceptual Computing
	ftp://cs-ftp.bu.edu/techreports/95-012-mosaic-animation.ps.Z, 19950706 Object Oriented Animation on the World Wide Web Patrick P. Cai and Azer Bestavros Computer Science Department Boston University Boston, MA 02215 patcai@csa.bu.edu and best@csa.bu.edu
	ftp://cs-ftp.bu.edu/techreports/misc/park/icga95.ps.Z, 19950707 A Comparative Study of Genetic Search Kihong Park Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/misc/park/sac95.ps.Z, 19950707 On the Effectiveness of Genetic Search in Combinatorial Optimization Kihong Park and Bob Carter Boston University
	ftp://cs-ftp.bu.edu/techreports/95-010-www-client-traces.ps.Z, 19950718 Characteristics of WWW Client-based Traces Carlos R. Cunha Azer Bestavros Mark E. Crovella Computer Science Department Boston University 111 Cummington St, Boston, MA 02215 fcarro,best,crovellag@cs.bu.edu BU-CS-95-010 July 18, 1995
	ftp://cs-ftp.bu.edu/techreports/95-014-dynamic-server-selection.ps.Z, 19950718 Dynamic Server Selection in the Internet Mark E. Crovella and Robert L. Carter Computer Science Department, Boston University 111 Cummington St., Boston MA 02215 fcrovella,carterg@cs.bu.edu Technical Report TR-95-014 June 30, 1995 1 Introduction As distributed information services like the World Wide
	ftp://cs-ftp.bu.edu/techreports/misc/park/smc94.ps.Z, 19950725 Scalability problems of genetic search Bob Carter Kihong Parky Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/95-016-www-image-search-engines.ps.Z, 19950913 Boston University Computer Science Dept. TR95-016 Position paper for NSF Workshop on Visual Information Management, Cambridge, MA, June 1995. World Wide Web Image Search Engines Stan Sclaroff Image and Video Computing Group Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/95-015-explaining-web-self-similarity.ps.Z, 19951017 Explaining World Wide Web Traffic Self-Similarity Mark E. Crovella and Azer Bestavros Computer Science Department Boston University 111 Cummington St, Boston, MA 02215 fcrovella,bestg@cs.bu.edu October 12, 1995 Technical Report TR-95-015 Revised
	ftp://cs-ftp.bu.edu/techreports/96-001-aida-broadcast-disks.ps.Z, 19960112 AIDA-based Real-Time Fault-Tolerant Broadcast Disks Azer Bestavros (best@cs.bu.edu) Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/misc/park/ksea95.ps.Z, 19960116 On the difficulty of congestion control in high-speed networks Kihong Park Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/misc/park/jhsn93.ps.Z, 19960116 Warp control: a dynamically stable congestion protocol and its analysis Kihong Park Computer Science Department Boston University Boston, MA 02215 park@cs.bu.edu September 25, 1993
	ftp://cs-ftp.bu.edu/techreports/misc/park/hpcs95.ps.Z, 19960116 Parallel computing on high-speed wide-area networks: a pricing policy for its communication needs Abdelsalam Heddaya Kihong Parky Computer Science Department Boston University Boston, MA 02215 Background With the advent of high-speed communication infrastructures comprising local-area and widearea
	ftp://cs-ftp.bu.edu/techreports/misc/park/hpdc94.ps.Z, 19960116 Mapping parallel iterative algorithms onto workstation networks Abdelsalam Heddaya Kihong Park Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/misc/park/ai_work90.ps.Z, 19960116 Some consequences of intelligent systems trying to design intelligent systems Kihong Park Computer Science Department University of South Carolina Columbia, SC 29208 park@cs.scarolina.edu August 16, 1990
	ftp://cs-ftp.bu.edu/techreports/misc/park/icga93.ps.Z, 19960116 A Lower-Bound Result on the Power of Genetic Algorithms Kihong Park1 Computer Science Department Boston University Boston, MA 02215 Summary We describe a new genetic algorithm, the merged genetic algorithm(m-GA), and prove that for monotonic functions the algorithm finds the optimal solution, and does
	ftp://cs-ftp.bu.edu/techreports/misc/park/hicss94.ps.Z, 19960116 Using Warp to Control Network Contention in Mermera Abdelsalam Heddaya Kihong Parky Himanshu Sinhaz heddaya@cs.bu.edu park@cs.bu.edu hss@cs.bu.edu Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/misc/park/ipccc96.ps.Z, 19960116 Self-Organized Multi-Class QoS Provision for ABR Traffic in ATM Networks Kihong Park Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/96-002-rtdbs-admission-control.ps.Z, 19960118 An Admission Control Paradigm for Real-Time Databases Azer Bestavros (best@cs.bu.edu) Sue Nagy (nagy@cs.bu.edu) Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/96-003-rtdbs-sigmod-record/1.RTDBS-Survey.ps.Z, 19960123 Advances in Real-Time Database Systems Research Azer Bestavros (best@cs.bu.edu) Computer Science Department Boston University Boston, MA 02215 1 Introduction A Real-Time DataBase System (RTDBS) can be viewed as an amalgamation of a conventional DataBase Management System (DBMS) and a real-time system.
	ftp://cs-ftp.bu.edu/techreports/96-003-rtdbs-sigmod-record/2.RADEx.ps.Z, 19960123 Integrating Temporal, Real-Time, and Active Databases Krithi Ramamritham, Raju Sivasankaran, John A. Stankovic, Don T. Towsley, Ming Xiong Department of Computer Science University of Massachusetts Amherst MA 01003-4610 e-mail: {krithi,sivasank,stankovic,towsley,xiong}@cs.umass.edu
	ftp://cs-ftp.bu.edu/techreports/96-003-rtdbs-sigmod-record/7.RTDBS-Security.ps.Z, 19960123 Improving Timeliness in Real-Time Secure Database Systems Sang H. Son, Rasikan David, and Bhavani Thuraisingham= *Department of Computer Science =Mitre Corporation University of Virginia Bedford, MA 01730 Charlottesville, VA 22903
	ftp://cs-ftp.bu.edu/techreports/96-003-rtdbs-sigmod-record/3.Index-CC.ps.Z, 19960123 Real-Time Index Concurrency Control Jayant R. Haritsa S. Seshadri Supercomputer Education and Research Centre Dept. of Computer Science and Engineering Indian Institute of Science Indian Institute of Technology Bangalore 560012, India Bombay 400076, India haritsa@serc.iisc.ernet.in
	ftp://cs-ftp.bu.edu/techreports/96-003-rtdbs-sigmod-record/4.Similarity-Semantics.ps.Z, 19960123 Real-Time Database \| Similarity Semantics and Resource Scheduling Tei-Wei Kuo Aloysius K. Moky Department of Computer Science and Department of Computer Sciences Information Engineering University of Texas at Austin National Chung Cheng University Austin, Texas 78712 Chiayi, Taiwan 621 U.S.A. R.O.C.
	ftp://cs-ftp.bu.edu/techreports/96-003-rtdbs-sigmod-record/9.DeeDS.ps.Z, 19960123 DeeDS Towards a Distributed and Active Real-Time Database System S.F. Andler, J. Hansson, J. Eriksson, J. Mellin, M. Berndtsson and B. Eftring Department of Computer Science, University of Sk ovde, Sweden email: fsten, jorgen, joakim, jonas, spiff, bengtg@ida.his.se 1 Introduction There is a great need
	ftp://cs-ftp.bu.edu/techreports/96-003-rtdbs-sigmod-record/8.STRIP.ps.Z, 19960123 Overview of the STanford Real-time Information Processor (STRIP) Brad Adelbergy Ben Kaoz Hector Garcia-Molinax
	ftp://cs-ftp.bu.edu/techreports/96-003-rtdbs-sigmod-record/6.External-Consistency.ps.Z, 19960123 Enhancing External Consistency in Real-Time Transactions Kwei-Jay Lin and Ching-Shan Peng Department of Electrical and Computer Engineering University of California, Irvine, CA 92717 fklin, cpengg@ece.uci.edu 1 Introduction Real-time computing brings two new requirements to database management. The
	ftp://cs-ftp.bu.edu/techreports/96-003-rtdbs-sigmod-record/5.Main-Memory-CC.ps.Z, 19960126 Exploiting Main Memory DBMS Features to Improve Real-Time Concurrency Control Protocols Ozg ur Ulusoy Alejandro Buchmann Department of Computer Engineering Department of Computer Science Bilkent University Technical University Darmstadt Ankara, TURKEY Darmstadt, GERMANY 1 Introduction The Real-Time
	ftp://cs-ftp.bu.edu/techreports/96-004-www-caching-fractals.ps.Z, 19960131 On the Fractal Nature of WWW and Its Application to Cache Modeling Virg lio Almeida Adriana de Oliveira Computer Science Department Boston University 111 Cummington St, Boston, MA 02215 virgilio@cs.bu.edu Depto. de Ciencia da Computac~ao Universidade Federal de Minas Gerais Belo Horizonte, MG 30161
	ftp://cs-ftp.bu.edu/techreports/96-007-dss-using-bandwidth.ps.Z, 19960321 Dynamic Server Selection using Bandwidth Probing in Wide-Area Networks Robert L. Carter and Mark E. Crovella Computer Science Department, Boston University 111 Cummington St., Boston MA 02215 fcarter,crovellag@cs.bu.edu BU-CS-96-007 March 18, 1996
	ftp://cs-ftp.bu.edu/techreports/96-006-measuring-bottleneck-link.ps.Z, 19960321 Measuring Bottleneck Link Speed in Packet-Switched Networks Robert L. Carter and Mark E. Crovella Computer Science Department, Boston University 111 Cummington St., Boston MA 02215 fcarter,crovellag@cs.bu.edu BU-CS-96-006 March 15, 1996
	ftp://cs-ftp.bu.edu/techreports/96-010-client-based-logging.ps.Z, 19960613 78 Invited Papers 11. A. Biliris, E. Panagos. BeSS: a Memory-Mapped Object Manager." SIGMOD Record. Technical Reports 12. A. Biliris, W. O'Connell, E. Panagos. BeSS User's Guide, Release 0.9.0." AT&T Bell Laboratories, January 1996. 13. E. Panagos, A. Biliris, C. Faloutsos. A Performance Study of
	ftp://cs-ftp.bu.edu/techreports/96-011-www-reference-locality.ps.Z, 19960621 Characterizing Reference Locality in the WWW Virg lio Almeidayx (virgilio@bu.edu) Azer Bestavrosy (best@bu.edu) Mark Crovellay (crovella@bu.edu) Adriana de Oliveiraz (dri@dcc.ufmg.br) TR-96-11 Department of Computer Science Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/96-008-rwc.ps.Z, 19960621 Resource Management for Responsive Web Computing Azer Bestavros, Marina Chen, Mark Crovella, Abdelsalam Heddaya, and Stan Sclaroff Boston University Computer Science Department James Cowie Cooperating Systems Corporation March 21, 1996 1 Introduction The exploding demand for services like the World Wide
	ftp://cs-ftp.bu.edu/techreports/96-013-rtdb96-report.ps.Z, 19960712 RTDB'96 First International Workshop on Real-Time Database Systems Workshop Report Azer Bestavrosy (best@bu.edu) Kwei-Jay Linz (klin@uci.edu) Sang Sonx (son@cs.virginia.edu) 1 Introduction On March 7 and 8, 1996, the First International Workshop on Real-Time Databases (RTDB'96) was held in Newport
	ftp://cs-ftp.bu.edu/techreports/96-015-park-phdthesis.ps.Z, 19960722 BOSTON UNIVERSITY GRADUATE SCHOOL OF ARTS AND SCIENCES Dissertation ERGODICITY AND MIXING RATE OF ONE-DIMENSIONAL CELLULAR AUTOMATA by KIHONG PARK B.A., Seoul National University, 1988 M.S., University of South Carolina, 1990 Submitted in partial fulfillment of the requirements of the degree of Doctor
	ftp://cs-ftp.bu.edu/techreports/96-014-tcp-boston.ps.Z, 19960801 TCP Boston A Fragmentation-tolerant TCP Protocol for ATM Networks Azer Bestavros best@cs.bu.edu Gitae Kim kgtjan@cs.bu.edu Computer Science Department Boston University Boston, MA 02215 Tel: (617) 353-9726 Fax: (617) 353-6457
	ftp://cs-ftp.bu.edu/techreports/96-017-load-profiling.ps.Z, 19960801 LOAD PROFILING IN DISTRIBUTED REAL-TIME SYSTEMS One Size Doesn't Fit All" Azer Bestavros (best@cs.bu.edu) Boston University Computer Science Department 111 Cummington street Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/96-016-self-similar-cause.ps.Z, 19960807 On the relationship between file sizes, transport protocols, and self-similar network traffic Kihong Parky park@cs.bu.edu Gitae Kimz kgtjan@cs.bu.edu Mark Crovellax crovella@cs.bu.edu BU-CS-96-016 August 7, 1996 Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/96-018-www-performance-analysis.ps.Z, 19960813 1 PERFORMANCE ANALYSIS OF A WWW SERVER Virg lio Almeida* Jussara de Almeida Cristina Murta * On sabbatical at the Computer Science Department, Boston University. E-mail: virgilio@cs.bu.edu {virgilio, jussara, cristina}@dcc.ufmg.br Departamento de Ci ncia da Computa o Universidade Federal de Minas Gerais
	ftp://cs-ftp.bu.edu/techreports/90-001-reconfigure.ps.Z, 19960814 View-based Reconfiguration of Replicated Typed Data Abdelsalam Heddaya Computer Science Department Boston University Technical Report BU-CS-90-001 August 30, 1990
	ftp://cs-ftp.bu.edu/techreports/96-019-beta-unification.ps.Z, 19960821 BETA-REDUCTION AS UNIFICATION (Preliminary Draft) A.J. Kfoury Department of Computer Science Boston University Boston, MA 02215, U.S.A. July 8, 1996 Contents 1 Introduction 2 2 A Unification Problem 3 3 Typability in the System of Intersection Types 8 4 Transformation of Constraint Sets 13 5 Invariant
	ftp://cs-ftp.bu.edu/techreports/96-020-infinite-pebble-game.ps.Z, 19960821 AN INFINITE PEBBLE GAME AND APPLICATIONS A.J. Kfoury Department of Computer Science Boston University Boston, MA 02215, U.S.A. A.P. Stolboushkiny Program in Computing UCLA Department of Mathematics Los Angeles, CA 90024, U.S.A. August 15, 1996 Contents 1 Introduction 1 2 The Infinite Pebble Game 1 3
	ftp://cs-ftp.bu.edu/techreports/96-023-pinwheel-bdisks.ps.Z, 19960822 Pinwheel Scheduling for Fault-tolerant Broadcast Disks in Real-time Database Systems Sanjoy Baruah sanjoy@cs.uvm.edu Department of CS & EE University of Vermont Azer Bestavros best@cs.bu.edu CS Department Boston University August 22, 1996
	ftp://cs-ftp.bu.edu/techreports/96-022-f+eta-typability-undecidable.ps.gz, 19960822 Typability is Undecidable for F+Eta J. B. Wells jbw@cs.bu.edu +1 617 739 7456, FAX +1 617 353 6457 Boston Univ. Dept. of Computer Science Boston, MA 02215, U.S.A. March 9, 1996
	ftp://cs-ftp.bu.edu/techreports/95-019-subtyping-undecidable.ps.gz, 19960822 The Undecidability of Mitchell's Subtyping Relationship J. B. Wells jbw@cs.bu.edu Dept. of Computer Science Boston University Boston, MA 02215, U.S.A. December 10, 1995
	ftp://cs-ftp.bu.edu/techreports/96-021-linearization-lambda-calculus.ps.Z, 19960916 A LINEARIZATION OF THE LAMBDA-CALCULUS AND CONSEQUENCES A.J. Kfoury Department of Computer Science Boston University Boston, MA 02215, U.S.A. August 19, 1996 Contents 1 Introduction 2 2 An Expanded >=-Calculus 4 3 A Useful Generalization of Beta-Reduction 13 4 Type Inference Systems 20 5 Appendix:
	ftp://cs-ftp.bu.edu/techreports/96-012-bspk-design.ps.Z, 19961017 NIVERSSI:CONMDCXSAISTBOSTONIENITIDACCXXXU:A. Bestavros, 1991 Boston UniversityCollege of Arts and Sciences 111 Cummington Street, MCS 138Tel: 617-353-8919 ; Fax: 617-353-6457 Computer Science Department Boston, Massachusetts 02215 Communicable Memory and Lazy Barriers for Bulk Synchronous Parallelism in
	ftp://cs-ftp.bu.edu/techreports/96-005-mermera-model-system.ps.Z, 19961017 NIVERSSI:CONMDCXSAISTBOSTONIENITIDACCXXXU:A. Bestavros, 1991 Boston UniversityCollege of Arts and Sciences 111 Cummington Street, MCS 138Tel: 617-353-8919 ; Fax: 617-353-6457 Computer Science Department Boston, Massachusetts 02215 Distributed Parallel Computing in Mermera: Mixing Noncoherent Shared
	ftp://cs-ftp.bu.edu/techreports/96-027-ieee-rtss96-wip/08.ps, 19961112 An Approach for Monitoring Intrusion Removal in Real Time Systems Vishal Jain Department of Computer Science University of Pittsburgh Pittsburgh, PA 15260 vjain@cs.pitt.edu Madalene Spezialetti Computer Science Department Trinity College Hartford, CT 06106 mspezial@starbase.cs.trincoll.edu Rajiv Gupta
	ftp://cs-ftp.bu.edu/techreports/96-027-ieee-rtss96-wip/12.ps, 19961113 Dynamic Scheduling of Hard Real-Time Applications in Open System Environment Z. Deng J. W.-S. Liu J. Sun Department of Computer Science University of Illinois at Urbana-Champaign Urbana, IL 61801 1 Introduction With tremendous advances in hardware technologies, it is now possible to run real-time
	ftp://cs-ftp.bu.edu/techreports/96-027-ieee-rtss96-wip/10.ps, 19961116 Scalability based Admission Control of Real-Time Channels Ramesh Yerraballi Ravi Mukkamala Department of Computer Science Department of Computer Science Midwestern State University Old Dominion University 3410 Taft Blvd Norfolk VA 23529-0612 Wichita Falls, TX 76308 e-mail: mukka@cs.odu.edu e-mail:
	ftp://cs-ftp.bu.edu/techreports/96-027-ieee-rtss96-wip/09.ps, 19961118 Empirical Evaluation of Task and Resource Scheduling in Dynamic Real-Time Systems Ken Tew, Panos K. Chrysanthis, Daniel Moss e Dept. of Computer Science University of Pittsburgh Pittsburgh, PA 15260 fken,panos,mosseg@cs.pitt.edu
	ftp://cs-ftp.bu.edu/techreports/96-027-ieee-rtss96-wip/04.ps, 19961118 Genericity and Upgradability in Ultra-Dependable Real-Time Architectures A. Wellings, Lj. Beus-Dukic, A. Burns D. Powell Department of Computer Science LAAS-CNRS University of York 7 Avenue du Colonel Roche York, Y01 5DD, UNITED KINGDOM 31077 Toulouse 4, FRANCE
	ftp://cs-ftp.bu.edu/techreports/96-027-ieee-rtss96-wip/07.ps, 19961119 The Design and Implementation of the CPU Power Regulator for Multimedia Operating Systems Giun-Haur Huang, Shie-Kai Ni, and Tei-Wei Kuo Department of Computer Science and Information Engineering National Chung Cheng University Chiayi, Taiwan 621, ROC
	ftp://cs-ftp.bu.edu/techreports/96-027-ieee-rtss96-wip/06.ps, 19961121 Issues for Realizing a Scalable Real-Time Kernel for Function-Distributed Multiprocessors Hiroaki Takaday, Cai-Dong Wangy, and Ken Sakamuraz y Department of Information Science, z The University Museum, School of Science, University of Tokyo University of Tokyo 7{3{1 Hongo, Bunkyo-ku, Tokyo 113, Japan
	ftp://cs-ftp.bu.edu/techreports/96-027-ieee-rtss96-wip/03.ps, 19961122
	ftp://cs-ftp.bu.edu/techreports/96-027-ieee-rtss96-wip/11.ps, 19961122 Optimal Scheduling for Real-time Parallel Computer Systems Leyuan Shi Phillip Q. Hwang Department of Industrial Engineering Office of the Chief Scientist University of Wisconsin-Madison National Imagery and Mapping Agency Madison, WI 53706 Bethesda, MD 20816-5003
	ftp://cs-ftp.bu.edu/techreports/96-027-ieee-rtss96-wip/13.ps, 19961126 In Search for an Efficient Real-Time Atomic Commit Protocol Yousef J. Al-Houmaily Panos K. Chrysanthis Dept. of Electrical Engineering Dept. of Computer Science University of Pittsburgh University of Pittsburgh Pittsburgh, PA 15261 Pittsburgh, PA 15260 yjast1+@pitt.edu panos@cs.pitt.edu
	ftp://cs-ftp.bu.edu/techreports/96-027-ieee-rtss96-wip/05.ps, 19961126 Challenges in Engineering Distributed Shipboard Control Systems Lonnie R. Welch and Binoy Ravindran Computer Science and Engineering Dept. The University of Texas at Arlington Box 19015 Arlington, TX 76019-0015 welch@cse.uta.edu Robert D. Harrison, Leslie Madden, Michael W. Masters and Wayne Mills Code
	ftp://cs-ftp.bu.edu/techreports/96-027-ieee-rtss96-wip/01.ps, 19961126 TAME: A Specialized Specification and Verification System for Timed Automata Myla Archer and Constance Heitmeyer Code 5546, Naval Research Laboratory, Washington, DC 20375 farcher, heitmeyerg@itd.nrl.navy.mil
	ftp://cs-ftp.bu.edu/techreports/96-027-ieee-rtss96-wip/02.ps, 19961126 Scheduling Slack in MetaH Pam Binns Honeywell Technology Center Minneapolis, MN 55418 binns@htc.honeywell.com
	ftp://cs-ftp.bu.edu/techreports/96-027-ieee-rtss96-wip/14.ps, 19961202 Distributed Real-Time Dataflow: An Execution Paradigm for Image Processing and Anti-Submarine Warfare Applications S. Goddard K. Jeffay Department of Computer Science University of North Carolina Chapel Hill, NC 27599-3175
	ftp://cs-ftp.bu.edu/techreports/96-027-ieee-rtss96-wip/editorial.ps, 19961202 WORK IN PROGRESS 17th IEEE Real-Time Systems Symposium December 4-6, 1996 Washington D.C. Sponsored by IEEE Computer Society TC on Real-Time Systems RTSS'96 WIP Session 1: Wednesday December 4, 1996 / 5:30 - 7:10pm 1. TAME: A Specialized Specification and Verification System for Timed Automata, Myla
	ftp://cs-ftp.bu.edu/techreports/96-025-web-server-measurements.ps.Z, 19961216 Measuring the Behavior of a World-Wide Web Server Jussara Almeida (jussara@dcc.ufmg.br) Virg lio Almeiday (virgilio@bu.edu) David J. Yates z (djy@bu.edu) Technical Report CS 96-025 October 29, 1996
	ftp://cs-ftp.bu.edu/techreports/97-001-tcp-boston-realtime.ps, 19970127 Exploiting Redundancy for Timeliness in TCP Boston Azer Bestavros best@cs.bu.edu Gitae Kim kgtjan@cs.bu.edu Computer Science Department Boston University Boston, MA 02215 Tel: (617) 353-9726 Fax: (617) 353-6457
	ftp://cs-ftp.bu.edu/techreports/96-026-java-firewalls.ps.Z, 19970220 Blocking Java Applets at the Firewall1 David M. Martin Jr.2 Department of Computer Science Boston University 111 Cummington Street Boston, MA 02215 dm@cs.bu.edu Sivaramakrishnan Rajagopalan Bellcore 445 South St. Morristown, NJ 07960 sraj@bellcore.com Aviel D. Rubin Bellcore 445 South St. Morristown, NJ
	ftp://cs-ftp.bu.edu/techreports/97-004-userbehaviorprediction.ps.Z, 19970327 Determining WWW User's Next Access and Its Application to Pre-fetching Carlos R. Cunhay Carlos F. B. Jaccoud Computer Science Department Division of Quality Control Boston University Embratel 111 Cummington St R. Senador Pompeu 27 Boston, MA 02215, USA Rio de Janeiro - RJ - Brazil carro@cs.bu.edu
	ftp://cs-ftp.bu.edu/techreports/95-017-deformable-prototypes.ps.Z, 19970331 Appears in Pattern Recognition 30(4), April 1997, special issue on image databases. Deformable Prototypes for Encoding Shape Categories in Image Databases Stan Sclaroff Computer Science Department Boston University 111 Cummington St. Boston MA 02215
	ftp://cs-ftp.bu.edu/techreports/97-005-imagerover.v1.ps.Z, 19970331 Boston U. CS Dept. TR97-005. Submitted to IEEE Workshop on Content-based Access of Image and Video Libraries. ImageRover: A Content-Based Image Browser for the World Wide Web Stan Sclaroff, Leonid Taycher, and Marco La Cascia Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/97-007-mutable-bdisks.ps.Z, 19970505 Real-Time Mutable Broadcast Disks Sanjoy Baruah sanjoy@cs.uvm.edu Department of CS & EE University of Vermont Azer Bestavros best@cs.bu.edu CS Department Boston University May 1997
	ftp://cs-ftp.bu.edu/techreports/97-009-route-profiling.ps.Z, 19970515 Load Profiling for Efficient Route Selection in Multi-Class Networks Azer Bestavros Ibrahim Matta Computer Science Department College of Computer Science Boston University Northeastern University Boston, MA 02215 Boston, MA 02115 (best@cs.bu.edu) (matta@ccs.neu.edu) May 1997
	ftp://cs-ftp.bu.edu/techreports/97-010-accord-cacm.ps.Z, 19970517 Concurrency Admission Control Management in ACCORD Sue Nagyy Azer Bestavros The Open Group Computer Science Department Research Institute Boston University Cambridge, MA 02142 Boston, MA 02215 s.nagy@opengroup.org best@cs.bu.edu
	ftp://cs-ftp.bu.edu/techreports/97-011-reliability-def.ps.Z, 19970522 Boston UniversityCollege of Arts and Sciences 111 Cummington Street, MCS 138Tel: 617-353-8919 ; Fax: 617-353-6457 Computer Science Department Boston, Massachusetts 02215 Reliability, Availability, Dependability and Performability: A User-centered View Abdelsalam Heddaya heddaya@cs.bu.edu Computer
	ftp://cs-ftp.bu.edu/techreports/96-024-webwave-theory.ps.Z, 19970606 Boston UniversityCollege of Arts and Sciences 111 Cummington Street, MCS 138Tel: 617-353-8919 ; Fax: 617-353-6457 Computer Science Department Boston, Massachusetts 02215 WebWave: Globally Load Balanced Fully Distributed Caching of Hot Published Documents Abdelsalam Heddaya heddaya@cs.bu.edu Sulaiman
	ftp://cs-ftp.bu.edu/techreports/97-005-imagerover.ps.Z, 19970613 BU CS TR97-005. Appears in Proc. IEEE Workshop on Content-based Access of Image and Video Libraries, 6/97. ImageRover: A Content-Based Image Browser for the World Wide Web Stan Sclaroff, Leonid Taycher, and Marco La Cascia Image and Video Computing Group Computer Science Department Boston University
	ftp://cs-ftp.bu.edu/techreports/97-012-interaction-os-webserver.ps.Z, 19970713 On the Interaction Between an Operating System and Web Server David J. Yates1 (djy@cs.bu.edu) Virg ilio Almeida2 (virgilio@dcc.ufmg.br) Jussara M. Almeida (jussara@dcc.ufmg.br) Computer Science Department Boston University Boston, MA 02215 USA Depto. de Ci encia da Computac ao Universidade Federal de
	ftp://cs-ftp.bu.edu/techreports/97-003-visiblevolume.ps.Z, 19970713 Boston University College of Arts and Sciences Computer Science Department 111 Cummington St., Boston, MA 02155 Loredana Lo Conte loredana@bu.edu 617/353-4726 fax 617/353-6457 Visible Volume: a Robust Measure for Protein Structure Characterization Loredana Lo Conte (corresponding author)
	ftp://cs-ftp.bu.edu/techreports/97-002-prefetcheff.ps.Z, 19970730 The Network Effects of Prefetching Mark Crovella and Paul Barford Computer Science Department Boston University 111 Cummington St, Boston, MA 02215 fcrovella,barfordg@cs.bu.edu July 10, 1997
	ftp://cs-ftp.bu.edu/techreports/97-013-route-profiling-evaluation.ps.Z, 19970730 Evaluation of A Load Profiling Approach to Routing Guaranteed Bandwidth Flows Ibrahim Mattay Azer Bestavros College of Computer Science Computer Science Department Northeastern University Boston University Boston, MA 02115 Boston, MA 02215 matta@ccs.neu.edu best@cs.bu.edu July 1997
	ftp://cs-ftp.bu.edu/techreports/97-014-imagedigestion.ps.Z, 19970814 BU CS TR97-014. To appear in Proc. Visual 1997, San Diego, 12/97. Image Digestion and Relevance Feedback in the ImageRover WWW Search Engine Leonid Taycher, Marco La Cascia, and Stan Sclaroff Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/97-008-activeblobs.ps.Z, 19970923 BU CS TR97-008 rev. 2. To appear in Proc. International Conference on Computer Vision, Mumbai, India, 1998. Active Blobs Stan Sclaroff and John Isidoro Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/97-017-queue-or-not.ps.Z, 19971111 To Queue or Not to Queue: When Queueing is Better Than Timesharing in a Distributed System Mor Harchol-Balter Laboratory for Computer Science MIT, NE43-340 Cambridge, MA 02139 harchol@theory.lcs.mit.edu Mark E. Crovellay Cristina D. Murtaz Department of Computer Science Boston University Boston, MA
	ftp://cs-ftp.bu.edu/techreports/97-018-unbalancing-load.ps.Z, 19971111 Task Assignment in a Distributed System: Improving Performance by Unbalancing Load Mark E. Crovellay Department of Computer Science Boston University Boston, MA 02215 crovella@bu.edu Mor Harchol-Balter Laboratory for Computer Science MIT, NE43-340 Cambridge, MA 02139 harchol@theory.lcs.mit.edu Cristina
	ftp://cs-ftp.bu.edu/techreports/97-020-head-tracking.ps.Z, 19971125 BU CS TR97-020. Submitted to IEEE Conf. on Computer Vision and Pattern Recognition, Santa Barbara, CA, 1998. Head Tracking via Robust Registration in Texture Map Images Marco La Cascia, John Isidoro, and Stan Sclaroff Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/97-019-deformable-color-region-grouping.ps.Z, 19971125 BU CS TR97-019. Submitted to IEEE Conf. on Computer Vision and Pattern Recognition, Santa Barbara, CA, 1998. Color Region Grouping and Shape Recognition with Deformable Models Lifeng Liu and Stan Sclaroff Computer Science Department Boston University Boston, MA 02215
	ftp://cs-ftp.bu.edu/techreports/97-021-ieee-rtss97-wip/petrov.ps, 19971126 Compiler Support for Non-intrusive Monitoring and Debugging of Real-Time Systems in the CRL Environment P. V. Petrov and A. D. Stoyen Dependable Real-time Systems Laboratory Computer & Information Science Dept. NJIT, Newark, NJ 07102 fplamenjalexg@rtlab.njit.edu
	ftp://cs-ftp.bu.edu/techreports/97-021-ieee-rtss97-wip/gergeleit.ps, 19971126 Real-Time Monitoring of the EIVIS Distributed Video-Server on Windows NT M. Gergeleit and M. Mock GMD - German National Research Center for Information Technology Research Division SET-RS (Responsive Systems), D-53754 St. Augustin, Germany e-mail: {gergeleit, mock}@gmd.de, http://set.gmd.de/RS/
	ftp://cs-ftp.bu.edu/techreports/97-021-ieee-rtss97-wip/peticolas.ps, 19971126 Compositional Reasoning about Real-Time Asynchronous Communication with Time-Outs D. Peticolas F. A. Stomp Department of Computer Science Department of Computer Science University of California, Davis University of California, Davis Davis, CA 95616 Davis, CA 95616
	ftp://cs-ftp.bu.edu/techreports/97-021-ieee-rtss97-wip/feeney.ps, 19971126 Characterizing Group Communication Middleware for Real-time Distributed Systems L. M. Feeney, P. Bernadat, F. Travostino The Open Group Research Institute 11 Cambridge Center, Cambridge, MA 02142 flmfeeney, bernadat, travosg@opengroup.org
	ftp://cs-ftp.bu.edu/techreports/97-021-ieee-rtss97-wip/cheng.ps, 19971126 Optimization of Real-Time MRL Rule-Based Systems with the EQL Optimizer Albert Mo Kim Cheng Real-Time Systems Laboratory Department of Computer Science University of Houston{University Park Houston, Texas 77204-3475, U.S.A.
	ftp://cs-ftp.bu.edu/techreports/97-021-ieee-rtss97-wip/jones.ps, 19971126 CPU Reservations and Time Constraints: Efficient, Predictable Scheduling of Independent Activities Michael B. Jones Microsoft Research, Microsoft Corporation One Microsoft Way, Building 9s/1 Redmond, WA 98052 mbj@microsoft.com http://research.microsoft.com/~mbj/ Daniela Ro u, Marcel-C t lin Ro u College
	ftp://cs-ftp.bu.edu/techreports/97-021-ieee-rtss97-wip/fohler.ps, 19971126 Dynamic Timing Constraints { Relaxing Overconstraining Specifications of Real-Time Systems Gerhard Fohler Department of Computer Engineering Malardalens University S-72123 Vasteras, Sweden gerhard.fohler@mdh.se 1 Introduction and Motivation The application of standard timing constraints, such as
	ftp://cs-ftp.bu.edu/techreports/97-021-ieee-rtss97-wip/jonsson.ps, 19971126 Exploring the Importance of Preprocessing Operations in Real-Time Multiprocessor Scheduling Jan Jonsson Department of Computer Engineering Chalmers University of Technology S 412 96 G oteborg, Sweden janjo@ce.chalmers.se 1 Introduction In recent decades, real-time systems have emerged in many
	ftp://cs-ftp.bu.edu/techreports/97-021-ieee-rtss97-wip/mejia.ps, 19971201 18 3.1 Computing Levels of Responsiveness We have classified responsiveness of fault recovery according to the following criterion, If a fault occurs at time tF within the execution of task oi, the recovery operation (with computation time CFi ) must be serviced before dij (deadline of the jth
	ftp://cs-ftp.bu.edu/techreports/97-021-ieee-rtss97-wip/editorial.ps, 19971201 WORK IN PROGRESS 18th IEEE Real-Time Systems Symposium December 3-5, 1997 San Fransisco, CA Sponsored by IEEE Computer Society TC on Real-Time Systems RTSS'97 WIP Session 1: Wednesday December 3, 1997 / 5:00 - 5:40pm 1. CPU Reservations and Time Constraints: Efficient, Predictable Scheduling of
	ftp://cs-ftp.bu.edu/techreports/97-021-ieee-rtss97-wip/all.ps, 19971201 3 CPU Reservations and Time Constraints: Efficient, Predictable Scheduling of Independent Activities Michael B. Jones Microsoft Research, Microsoft Corporation One Microsoft Way, Building 9s/1 Redmond, WA 98052 mbj@microsoft.com http://research.microsoft.com/~mbj/ Daniela Ro u, Marcel-C t lin Ro u
	ftp://cs-ftp.bu.edu/techreports/97-021-ieee-rtss97-wip/lam.ps, 19971201 23 Exploring Consistency of Read-Only Transactions in Real-Time Systems Kwok-Wa Lam1, Sang H. Son2 and Sheung-Lun Hung1 Department of Computer Science1 City University of Hong Kong, Hong Kong. kwlam@cs.cityu.edu.hk Department of Computer Science2 University of Virginia, U.S.A. son@cs.virginia.edu
	ftp://cs-ftp.bu.edu/techreports/97-006-surge.ps.Z, 19980108 Generating Representative Web Workloads for Network and Server Performance Evaluation Paul Barford and Mark Crovella Computer Science Department Boston University 111 Cummington St, Boston, MA 02215 fbarford,crovellag@cs.bu.edu BU-CS-97-006 REVISED December 31, 1997
	ftp://cs-ftp.bu.edu/techreports/95-009-toom-proof.ps.Z, 19980115 A NEW VERSION OF TOOM'S PROOF PETER G ACS BOSTON UNIVERSITY
	ftp://cs-ftp.bu.edu/techreports/95-018-commut.ps.Z, 19980115 DETERMINISTIC COMPUTATIONS WHOSE HISTORY IS INDEPENDENT OF THE ORDER OF ASYNCHRONOUS UPDATING PETER G ACS
	ftp://cs-ftp.bu.edu/techreports/97-022-lanon.ps.Z, 19980204 A Framework for Local Anonymity in the Internet David M. Martin Jr. Department of Computer Science 111 Cummington Street Boston, MA 02215 dm@cs.bu.edu 4th February 1998
	ftp://cs-ftp.bu.edu/techreports/98-003-dpr.ps.Z, 19980205 Distributed Packet Rewriting and its Application to Scalable Server Architectures Azer Bestavros Mark Crovella Jun Liu David Martin Computer Science Department Boston University Boston, MA 02215 (fbest,crovella,junliu,dmg@cs.bu.edu) December 1, 1997
	ftp://cs-ftp.bu.edu/techreports/98-004-combining-text-and-vis-cues.ps.Z, 19980210 BU CS TR98-004. Submitted to IEEE Workshop on Content-based Access of Image and Video Libraries, 2/6/98. Combining Textual and Visual Cues for Content-based Image Retrieval on the World Wide Web Marco La Cascia, Saratendu Sethi, and Stan Sclaroff Computer Science Department Boston University
	ftp://cs-ftp.bu.edu/techreports/98-005-lpd.ps.Z, 19980210 Preserving Bandwidth Using A Lazy Packet Discard Policy in ATM Networks Gitae Kim kgtjan@cs.bu.edu Azer Bestavros best@cs.bu.edu Computer Science Department Boston University Boston, MA 02215 Tel: (617) 353-9726 Fax: (617) 353-6457