Recent Submissions

  • Cache Management in Scalable Network Servers 

    Pai, Vivek (2000-07-13)
    For many users, the perceived speed of computing is increasingly dependent on the performance of network server systems, underscoring the need for high performance servers. Cost-effective scalable network servers can be ...
  • A Characterization of Compound Documents on the Web 

    Lara, Eyal de; Wallach, Dan S.; Zwaenepoel, Willy (1999-11-29)
    Recent developments in office productivity suites make it easier for users to publish rich {\em compound documents\/} on the Web. Compound documents appear as a single unit of information but may contain data generated by ...
  • Runtime Support for Distributed Sharing in Strongly-Typed Languages 

    Cox, Alan L.; Hu, Y. Charlie; Wallach, Dan S.; Yu, Weimin; Zwaenepoel, Willy (1999-11-13)
    In this paper, we present a new run-time system for strongly-typed programming languages that supports object sharing in a distributed system. The key insight in this system is that type information allows efficient and ...
  • A Set of Convolution Identities Relating the Blocks of Two Dixon Resultant Matrices 

    Chionh, Eng-Wee; Goldman, Ronald; Zhang, Ming (1999-06-16)
    Resultants for bivariate polynomials are often represented by the determinants of very big matrices. Properly grouping the entries of these matrices into blocks is a very effective tool for studying the properties of these ...
  • New Approaches to Routing for Large-Scale Data Networks 

    Chen, Johnny (1999-06-21)
    This thesis develops new routing methods for large-scale, packet-switched data networks such as the Internet. The methods developed increase network performance by considering routing approaches that take advantage of more ...
  • Programming Languages for Reusable Software Components 

    Flatt, Matthew (1999-07-20)
    Programming languages offer a variety of constructs to support code reuse. For example, functional languages provide function constructs for encapsulating expressions to be used in multiple contexts. Similarly, object-oriented ...
  • The Block Structure of Three Dixon Resultants and Their Accompanying Transformation Matrices 

    Chionh, Eng-Wee; Goldman, Ronald; Zhang, Ming (1999-06-16)
    Dixon [1908] introduces three distinct determinant formulations for the resultant of three bivariate polynomials of bidegree (m,n) . The first technique applies Sylvester's dialytic method to construct the resultant as the ...
  • Transformations and Transitions from the Sylvester to the Bezout Resultant 

    Chionh, Eng-Wee; Goldman, Ronald; Zhang, Ming (1999-06-17)
    A simple matrix transformation linking the resultant matrices of Sylvester and Bezout is derived. This transformation matrix is then applied to generate an explicit formula for each entry of the Bezout resultant, and this ...
  • TCP Implementation Enhancements for Improving Webserver Performance 

    Aron, Mohit; Druschel, Peter (1999-07-06)
    This paper studies the performance of BSD-based TCP implementations in Web servers. We find that lack of scalability with respect to high TCP connection rates reduces the throughput of Web servers by up to 25% and imposes ...
  • Improving Memory Hierarchy Performance for Irregular Applications 

    Kennedy, Ken; Mellor-Crummey, John; Whalley, David (1999-03-10)
    The gap between CPU speed and memory speed in modern computer systems is widening as new generations of hardware are introduced. Loop blocking and prefetching transformations help bridge this gap for regular applications; ...
  • A Deterministic Model for Parallel Program Performance Evaluation 

    Adve, Vikram S.; Vernon, Mary K. (1998-12-03)
    Analytical models for parallel programs have been successful at providing simple qualitative insights and bounds on scalability, but have been less successful in practice for predicting detailed, quantitative information ...
  • Operating system support for server applications 

    Banga, Gaurav (1999-05-25)
    General-purpose operating systems provide inadequate support for large-scale servers. Server applications lack sufficient control over scheduling and management of machine resources, which makes it difficult to enforce ...
  • Bisimulation Minimization in an Automata-Theoretic Verification Framework 

    Fisler, Kathi; Vardi, Moshe Y. (1998-10-27)
    Bisimulation is a seemingly attractive state-space minimization technique because it can be computed automatically and yields the smallest model preserving all mu -calculus formulas. It is considered impractical for symbolic ...
  • A Linear Transform Scheme for Combining Weights into Scores 

    Sung, Sam (1998-10-09)
    Ranking has been widely used in many applications. A ranking scheme usually employs a "scoring rule" that assigns a final numerical value to each and every object to be ranked. A scoring rule normally involves the use of ...
  • Mathematical Properties of Variational Subdivision Schemes 

    Warren, Joe (1998-09-24)
    Subdivision schemes for variational splines were introduced in a previous paper. This technical report focuses on discussing the mathematical properties of these subdivision schemes in more detail. Please read the original ...
  • An Experimental Evaluation of List Scheduling 

    Cooper, Keith D.; Schielke, Philip; Subramanian, Devika (1998-09-30)
    While altering the scope of instruction scheduling has a rich heritage in compiler literature, instruction scheduling algorithms have received little coverage in recent times. The widely held belief is that greedy heuristic ...
  • Issues in Instruction Scheduling 

    Schielke, Philip (1998-09-15)
    Instruction scheduling is a code reordering transformation that attempts to hide latencies present in modern day microprocessors. Current applications of these microprocessors and the microprocessors themselves present new ...
  • A New Approach to Routing With Dynamic Metrics 

    Chen, Johnny; Druschel, Peter; Subramanian, Devika (1998-11-18)
    We present a new routing algorithm to compute paths within a network using dynamic link metrics. Dynamic link metrics are cost metrics that depend on a link's dynamic characteristics, e.g., the congestion on the link. Our ...
  • A Simple, Practical Distributed Multi-Path Routing Algorithm 

    Chen, Johnny; Druschel, Peter; Subramanian, Devika (1998-07-16)
    We present a simple and practical distributed routing algorithm based on backward learning. The algorithm periodically floods \emscout packets that explore paths to a destination in reverse. Scout packets are small and of ...
  • Interprocedural Pointer Analysis for C 

    Lu, John (1998-05-20)
    Many powerful code optimization techniques rely on accurate information connecting the definitions and uses of values in a program. This information is difficult to produce for programs written with pointer-based languages ...

View more