Browsing Computer Science Department Technical Reports by Issue Date

Now showing items 21-40 of 1187

    • Applying Traversal-Pattern-Sensitive Pointer Analysis to Dependence Analysis 

      Hwang, Yuan-Shin; Saltz, Joel (1998-10-15)
      This paper presents a technique for dependence analysis on programs with pointers or dynamic recursive data structures. It differs from previously proposed approaches in analyzing structure access conflicts between traversal ...
    • Apparency of Contingencies in Single Panel Menus 

      Alonso, Diane L.; Norman, Kent L. (1998-10-15)
      What we see is not always what we get. This is the problem when the underlying structure of an interface is hidden from the user's view. Users high in Spatial Visualization Ability (SVA), are quick to learn the ...
    • Efficient Minimum Cost Matching and Transportation Using Quadrangle Inequality 

      Aggarwal, Alok; Bar-Noy, Amotz; Khuller, Samir; Kravets, Dina; Schieber, Baruch (1998-10-15)
      We present efficient algorithms for finding a minimum cost perfect matching, and for solving the transportation problem in bipartite graphs, G=(\Red\cup \Blue, \Red\times \Blue), where |\Red|=n, |\Blue|=m, n\le m, and the ...
    • Static Analysis of Upper and Lower Bounds on Dependences and Parallelism 

      Pugh, William; Wonnacott, David (1998-10-15)
      Existing compilers often fail to parallelize sequential code, even when a program can be manually transformed into parallel form by a sequence of well-understood transformations (as is the case for many of the ...
    • Evaluation of Pattern Classifiers for Fingerprint and OCR Applications 

      Blue, J.L.; Candela, G.T.; Grother, P.J.; Chellappa, Rama; Wilson, C.L. (1998-10-15)
      (Also cross-referenced as CAR-TR-691) In this paper we evaluate the classification accuracy of four statistical and three neural network classifiers for two image based pattern classification problems. These are fingerprint ...
    • Using Treemaps to visualize the Analytic Hierarchy Process 

      Asahi, Toshiyuki; Turo, David; Shneiderman, Ben (1998-10-15)
      Treemaps, a visualization method for large hierarchical data spaces, are used to augment the capabilities of the Analytic Hierarchy Process (AHP) for decision-making. Two direct manipulation tools, presented metaphorically ...
    • Visual Information Seeking: Tight Coupling of Dynamic Query Filters with Starfield Displays 

      Ahlberg, Christopher; Shneiderman, Ben (1998-10-15)
      This paper offers new principles for visual information seeking (VIS). A key concept is to support browsing, which is distinguished from familiar query composition and information retrieval because of its emphasis on ...
    • A Parametric View of Retargetable Register Allocation 

      Bryant, Kelvin S.; Mauney, Jon (1998-10-15)
      We discuss the problems involved in building a retargetable register allocator for use in an optimizing compiler. While the popular "register coloring" method is machine-independent, the allocator as a whole must implement ...
    • 1992 Human-Computer Interaction Laboratory Video Reports 

      Plaisant, Catherine (Editor) (1998-10-15)
      Introduction - Ben Shneiderman, [3:00], Dynamic Queries: database searching by direct manipulation - Ben Shneiderman, Chris Williamson, Christopher Ahlberg, [10:55], Treemaps for visualizing hierarchical information - ...
    • Understanding the Sources of Variation in Software Inspections 

      Porter, Adam A.; Siy, Harvey; Mockus, Audris; Votta, Lawrence G. (1998-10-15)
      In a previous experiment, we determined how various changes in three structural elements of the software inspection process (team size, and number and sequencing of session), altered effectiveness and interval. our results ...
    • Specification-based Testing of Reactive Software: A Case Study in Technology Transfer 

      Jangadeesan, Lalita; Porter, Adam A.; Puchol, Carlos; Ramming, J. Christopher; Votta, Lawrence G. (1998-10-15)
      We describe a case study in which we tried to transfer a specification-based testing system from research to practice. We did the case study in two steps: First we conducted a feasibility study in a laboratory setting to ...
    • Codex, Memex, Genex: The pursuit of transformational technologies 

      Shneiderman, Ben (1998-10-15)
      Handwritten codexes or printed books transformed society by allowing users to preserve and transmit information. Today, leather-bound volumes and illuminated manuscripts are giving way to animated image maps and hot links. ...
    • "Handling Updates and Crashes in VoD Systems" 

      Hwang, Eenjun; Kilic, Kemal; Subrahmanian, V.S. (1998-10-15)
      Though there have been several recent efforts to develop disk based video servers, these approaches have all ignored the topic of updates and disk server crashes. In this paper, we present a priority based model for building ...
    • Representing and Integrating Multiple Calendars 

      Kraus, Sarit; Sagiv, Yehoshua; Subrahmanian, V. S. (1998-10-15)
      Whenever humans refer to time, they do so with respect to a specific underlying calendar. So do most software applications. However, most theoretical models of time refer to time with respect to the integers (or reals). Thus, ...
    • Amalgamating Knowledge Bases, II - Distributed Mediators 

      Adali, Sibel; Subrahmanian, V.S. (1998-10-15)
      Integrating knowledge from multiple sources is an important aspect of automated reasoning systems.In previous work, we presented a uniform declarative and operational framework, based on annotated logics, for amalgamating ...
    • Broadcast Disks: Data Management for Asymmetric Communication Environments 

      Acharya, Swarup; Alon, Rafael; Franklin, Michael J.; Zdonik, Stanley (1998-10-15)
      This paper proposes the use of repetitive broadcast as a way of augmenting the memory hierarchy of clients in an asymmetric communication environment. We describe a new technique called "Broadcast Disks" for structuring ...
    • Interoperability of Data Parallel Runtime Libraries with Meta-Chaos 

      Edjlali, Guy; Sussman, Alan; Saltz, Joel (1998-10-15)
      This paper describes a framework for providing the ability to use multiple specialized data parallel libraries and/or languages within a single application. The ability to use multiple libraries is required in many ...
    • Lazy Array Data-Flow Dependence Analysis 

      Maslov, Vadim (1998-10-15)
      Automatic parallelization of real FORTRAN programs does not live up to users expectations yet, and dependence analysis algorithms which either produce too many false dependences or are too slow contribute ...
    • End-to-End Design of Real-Time Systems 

      Gerber, Richard; Kang, Dong-in; Hong, Seongsoo; Saksena, Manas (1998-10-15)
      (Also cross-referenced as UMIACS-TR-95-61)
    • Efficient Support for Irregular Applications on Distributed Memory Machines. 

      Mukherjee, Shubhendu S.; Sharma, Shamik D.; Hill, Mark D.; Larus, James R.; Rogers, Anne; Saltz, Joel (1998-10-15)
      Irregular computation problems underlie many important scientific applications. Although these problems are computationally expensive, and so would seem appropriate for parallel machines, their irregular and unpredictable ...