Now showing items 137-142 of 142

    • 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 ...