Browsing LCS Technical Reports (1974 - 2003) by Title

Now showing items 618-637 of 671

    • TCP Packet Trace Analysis 

      Shepard, Timothy Jason (1991-02)
      Examination of a trace of packets collected from the network is often the only method available for diagnosing protocol performance problems in computer networks. This thesis explores the use of packet traces to diagnose ...

    • TCP-friendly Congestion Control for Real-time Streaming Applications 

      Bansal, Deepak; Balakrishnan, Hari (2000-05)
      This paper introduces and analyzes a class of nonlinear congestion control algorithms called binomial algorithms, motivated in part by the needs of streaming audio and video applications for which a drastic reduction in ...

    • Teaching Policy to Computer Science Students 

      Blumenthal, Marjory S. (1998-12)
      Computing motivates more and more attention by policy-makers at all levels of government, and policy interests of all kind can touch on computer scienceÔøΩboth inspiring new research directions or constraining technology ...

    • A Technique for Constructing Highly-Available Services 

      Ladin, Rivka; Liskov, Barbara; Shrira, Liuba (1988-01)
      This paper describes a general method for constructing a highly available service for use in a distributed system. It gives a specific implementation of the method and proves the implementation correct. The service ...

    • Temporal Reasoning in Medical Expert Systems 

      Kohane, Isaac S. (1987-05)
      Diseases develop and change over time. Much of the distinction between pathophysiological complexes rests on the temporal relations of their component events. Therefore, knowledge bases that fail to capture the temporal ...

    • Tetris is Hard, Even to Approximate 

      Demaine, Erik D.; Hohenberger, Susan; Liben-Nowell, David (2002-10)

    • A Theory of Clock Synchronization 

      Patt, Boaz (1994-10)
      We consider the problem of clock synchronization in a system with uncertain message delays and clocks with bounded drift. To analyze this classical problem, we introduce the concept of synchronization graphs, and show that ...

    • Theta Reference Manual 

      Liskov, Barbara; Curtis, Dorothy; Day, Mark; Ghemawat, Sanjay; Gruber, Robert; e.a. (1995-02)

    • Time Optimal Self-Stabilizing Spanning Tree Algorithms 

      Aggarwal, Sudhanshu Madan (1994-01)

    • Time Sharing on a Multiconsole Computer 

      Samuel, Arthur L. (1965-03)
      After a brief historical review and a description of the three basic types for time-sharing systems, the general purpose time-sharing system as exemplified by the M.I.T. CTSS system is described in general terms, with ...

    • Time Surveying: Clock Synchronization over packet Networks 

      Troxel, Gregory D. (1994-05)

    • Time-lock Puzzles and Timed-release Crypto 

      Rivest, Ronald L.; Shamir, Adi; Wagner, David A. (1996-02)
      Our motivation is the notion of ``timed-release crypto,'' where the goal is to encrypt a message so that it can not be decrypted by anyone, not even the sender, until a pre-determined amount of time has passed. The goal ...

    • A Timing Analysis and Optimization System for Level-clocked Circuitry 

      Papaefthymiou, Marios Christos (1993-09)
      This thesis investigates timing analysis and optimization issues in synchronous circuitry. The major thrust of our work is a collection of provably correct and efficient algorithms that perform a variety of architectural-level ...

    • Toward a Computational Theory of Indirect Speech Acts 

      Brown, Gretchen P. (1979-10)
      The variety of surface forms that may be used to convey a given speech act pose a major problem in modeling task-oriented (and other) dialogues. Many such forms are so-called indirect speech acts, that is, surface form ...

    • Towards a Problem Solving System for Molecular Genetics 

      Koton, Phyllis A. (1985-05)
      This paper describes a program called GENEX that reasons about the behavior of bacterial operons. It is the first step towards a generalized system that will reason about genetic control mechanisms. The system is easily ...

    • Towards a Theory for Abstract Data Types 

      Kapur, Deepak (1980-06)
      A rigorous framework for studying immutable data types having nondeterministic operations and operations exhibiting exceptional behavior is developed. The framework embodies the view of a data type taken in programming ...

    • Towards An Extensible Virtual Machine 

      Boyapati, Chandrasekhar (2002-04)

    • Traffic Control in a Multiplexed Computer System 

      Saltzer, Jerome H. (1966-07)
      This thesis describes a scheme for processor multiplexing in a multiple user, multiple processor computer system. The scheme is based upon a distributed supervisor which may be different for different users. The processor ...

    • Transaction Management for Mobile Objects Using Optimistic Concurrency Control 

      Adya, Atul (1994-07)
      We present computationally efficient error-correcting codes and holographic proofs. Our error-correcting codes are asymptotically good and can be encoded and decoded in linear time. Our construction of holographic proofs ...

    • Translating Updates of Relational Database Views 

      Cosmadakis, Stavros Stylianos (1983-02)
      We study the problem of translating updates of data base views. We disambiguate a view update by requiring that a specified view compliment (i.e. a second view which contains all the data base information omitted from the ...