Now showing items 112-131 of 131

    • Simultaneous multithreading 

      Tullsen, Dean Michael (1996)
      This dissertation examines simultaneous multithreading, a technique permitting several independent threads to issue instructions to a superscalar processor's functional units in a single cycle. Simultaneous multithreading ...
    • Situated Learning and Understanding of Natural Language 

      Artzi, Yoav
      Robust language understanding systems have the potential to transform how we interact with computers. However, significant challenges in automated reasoning and learning remain to be solved before we achieve this goal. To ...
    • Software and Hardware Support for Data-Race Exceptions 

      Wood, Benjamin Paul
      Some researchers have proposed data-race exceptions to mitigate the ill effects of data races in shared-memory multithreaded programs. Data-race exceptions make every data race an explicit fail-stop error at run-time. ...
    • Some computational problems from genomic mapping 

      Mumey, Brendan Marshall, 1968- (1997)
      Modern molecular biology has presented computer science a host of interesting theoretical problems to work on. This thesis presents new algorithms for two computational problems from genomic mapping: The first problem ...
    • Supporting library interface changes in open system software evolution 

      Chow, Kingsum (1996)
      Software libraries provide leverage in large part because they are used by many applications. As Parnas, Lampson and others have noted, stable interfaces to libraries isolate the application from changes in the libraries. ...
    • Surface reconstruction and display from range and color data 

      Pulli, Kari (1997)
      This dissertation addresses the problem of scanning both the color and geometry of real objects and displaying realistic images of the scanned objects from arbitrary viewpoints. We present a complete system that uses a ...
    • System Support for Concurrent Software Reliability 

      Lucia, Brandon M. (2013-07-25)
      Parallel and concurrent software is more complex than sequential code because interactions between concurrent computations and the ordering of program events can vary across ex- ecutions. This nondeterministic variation ...
    • System support for pervasive applications 

      Grimm, Robert, 1968- (2002)
      Pervasive computing provides an attractive vision for the future of computing. Computational power will be available everywhere. Mobile and stationary devices will dynamically connect and coordinate to seamlessly help ...
    • Talking to Robots: Learning to Ground Human Language in Perception and Execution 

      Matuszek, Cynthia
      Advances in computation, sensing, and hardware are enabling robots to perform an increasing variety of tasks in progressively fewer constraints. It is now possible to imagine robots that can operate in traditionally ...
    • Time-Space Tradeoffs and Query Complexity in Statistics, Coding Theory, and Quantum Computing 

      Machmouchi, Widad (2013-07-25)
      Computational complexity is the field that studies the computational resources needed by algorithms to correctly solve computational problems. In this thesis, we derive lower bounds on the computational complexity of ...
    • Towards Large Scale Summarization 

      Christensen, Janara Maria
      As the Internet grows and information is increasingly available, it is more and more difficult to understand what is most important without becoming overwhelmed by details. We need systems which can organize this information ...
    • Understanding and Supporting the Adoption of Assistive Technologies by Adults with Reading Disabilities 

      Deibel, Katherine (2011-01-03)
      Reading disabilities such as dyslexia are life-long conditions affecting an estimated 5–15% of thepopulation. For adults with these conditions, participation in today¢s information society can be problematic. By using the ...
    • Understanding Dynamic Software Behavior with Tools for Retroactive Investigation 

      Burg, Brian
      The web is a widely-available open application platform, where anyone can freely inspect a live program's client-side source code and runtime state. Despite these platform advantages, understanding and debugging dynamic ...
    • Understanding Game Balance with Quantitative Methods 

      Jaffe, Alexander Benjamin (2013-07-23)
      Game balancing is the fine-tuning phase in which a functioning game is adjusted to be deep, fair, and interesting. Balancing is difficult and time-consuming, as designers must repeatedly tweak parameters and run lengthy ...
    • Unstructured Image Mosaics 

      Garg, Rahul (2012-09-13)
      Image mosaics stitch photos into a single composite with a wide field of view. They are easy to create and can be panned by dragging the mouse, thus enabling simple and effective photorealistic visualizations. However, ...
    • Using constraints for user interface construction 

      Maloney, John Harold, 1958- (1991)
      Interactive, direct-manipulation, graphical user interfaces are easy to use but difficult to construct. This dissertation shows that automatic constraint satisfaction is useful in many facets of user interface construction ...
    • Using types to enforce architectural structure 

      Aldrich, Jonathan (2003)
      Software architecture describes the high-level structure of a software system, and can be used for design, analysis, and software evolution tasks. However, existing tools decouple architecture from implementation, allowing ...
    • Verifying Concurrent Programs by Controlling Alias Interference 

      Gordon, Colin Stebbins
      This dissertation proposes a family of techniques for static verication of sequential and concurrent imperative programs by leveraging fine-grained characterizations of mutation. The key idea is that by attaching to each ...
    • Virtual memory alternatives for transaction buffer management in a single-level store 

      McNamee, Dylan James, 1966- (1996)
      This dissertation addresses a key issue in the efficient execution of transaction systems in shared environments. Until recently, transaction systems typically ran on dedicated database server machines. Transaction systems ...
    • The Web interfacing repository manager: a framework for developing web-based experiment management systems 

      Jakobovits, Rex M. (Rex Matthew), 1968- (1999)
      Recent advances in tools for scientific data acquisition, visualization, and analysis have lead to growing information management problems for research laboratories. An exponential increase in the volume of data, combined ...