Browse Research and Tech Reports - Computer Science by Issue

  • Chen, Chun-cheng (2009-03)
    Wireless networks have raised great attention in the past decades because they provide tether-free connectivity. Although much of the e ort in wireless network research has been spent on reducing the interference among the ...

    application/pdf

    application/pdfPDF (7MB)
  • Tominaga, Kazuto (2004-03)
    The field of studies on complex systems is becoming one of the most active research areas in computer science. Among those systems, there is a type of system that has the following characteristics: comprising a large number ...

    application/pdf

    application/pdfPDF (170kB)
  • Zhang, Honghai; Hou, Jennifer C. (2004-07)
    In this paper, we study how the achievable throughput scales in a wireless network with randomly located nodes as the number of nodes increases, under a communication model where (i) each node has a maximum transmission ...

    application/pdf

    application/pdfPDF (286kB)
  • Chen, Feng; d'Amorim, Marcelo; Rosu, Grigore (2004-03)
    This paper presents a tool-supported methodological paradigm for object-oriented software development, called monitoring-oriented programming and abbreviated MOP, in which runtime monitoring is a basic software design ...

    application/pdf

    application/pdfPDF (462kB)
  • Ziaei, Mahmood Reza (2004-12)
    Building reliable distributed object-based systems is challenging. The work presented in this dissertation takes up on two approaches to address some of these challenges. The first part of the dissertation presents a ...

    application/pdf

    application/pdfPDF (755kB)
  • Lattner, Chris A.; Adve, Vikram S. (2004-07)
    Despite the potential importance of data structure layouts and traversal patterns, compiler transformations on pointer-intensive programs are performed primarily using pointer analysis, and not by controlling and using ...

    application/pdf

    application/pdfPDF (297kB)
  • Chen, Terrence (2006-05)
    In this paper, we propose to solve several computer vision problems using a novel fundamental idea, the scale difference between different patterns. In order to achieve our goal, we utilize the recently proposed total ...

    application/pdf

    application/pdfPDF (3MB)
  • Olveczky, Peter C.; Meseguer, José; Talcott, Carolyn L. (2004-08)
    This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast protocol components. Because of the ...

    application/pdf

    application/pdfPDF (631kB)
  • McGrath, Robert E. (2005-09)
    This thesis investigates one of the fundamental problems for Ubiquitous Computing: managing metadata to enable resource discovery. This work presents a flexible and general model of metadata, and proposes to use ontologies ...

    application/pdf

    application/pdfPDF (2MB)
  • Kircher, Scott I. (2007-04)
    Motion is an important part of computer graphics. Skeletal motion, in particular, has been the focus of a great deal of research. Today, there exists a large body of techniques for processing and editing skeletal motion, ...

    application/pdf

    application/pdfPDF (102MB)
  • Zhang, Honghai (2005-08)
    In this PhD thesis, we study the fundamental limits of the network performance with respect to coverage, connectivity, lifetime, power, energy, and capacity in wireless sensor networks. An interesting finding is that ...

    application/pdf

    application/pdfPDF (1MB)
  • Shi, Lin (2006-06)
    During the past decade, due to rapidly growing computational power, complicated numerical algorithms have become popular in graphics community which greatly improved the quality of graphics imagery. On the other hand, to ...

    application/pdf

    application/pdfPDF (26MB)
  • Iqbal, Shamsi T.; Bailey, Brian P. (2005-09)
    A challenge in building interruption reasoning systems is to compute an accurate cost of interruption (COI). Prior work has used non task-specific cues to predict COI, but ignore characteristics related to the /structure/ ...

    application/pdf

    application/pdfPDF (215kB)
  • Mahmud, M.M. Hassan (2008-07)
    The aim of transfer learning is to reduce sample complexity required to solve a learning task by using information gained from solving related tasks. Transfer learning has in general been motivated by the observation that ...

    application/pdf

    application/pdfPDF (848kB)
  • Rosu, Grigore (2006-04)
    This paper gives a precise characterization for the complexity of the problem of proving equal two streams defined with a finite number of equations: Π02. Since the Π02 class includes properly both the recursively enumerable ...

    application/pdf

    application/pdfPDF (172kB)
  • Fang, Hui; Sinha, Rishi R.; Wu, Wensheng; Doan, AnHai; Zhai, ChengXiang (2005-12)
    Entity retrieval is the problem of finding information about a given real-world entity (e.g., director Peter Jackson) from one or a set of data sources. This problem is fundamental in numerous data management settings, but ...

    application/pdf

    application/pdfPDF (234kB)
  • Biehl, Jacob T.; Baker, William T.; Bailey, Brian P. (2007-04)
    Existing tools do not adequately support the emerging practice of group-based software development, which is aimed at improving software quality. In this paper, we present a new, fully functional system called ClubDev. Our ...

    application/pdf

    application/pdfPDF (796kB)
  • Dig, Danny; Nguyen, Tien N.; Johnson, Ralph (2006-04)
    Refactoring tools allow programmers to change source code much quicker than before. However, the complexity of these changes cause versioning tools that operate at a file level to lose the history of components. This problem ...

    application/pdf

    application/pdfPDF (247kB)
  • Chen, Feng; Rosu, Grigore (2006-04)
    A parametric approach to control dependence is presented, where the parameter is any prefix-invariant property on paths in the control-flow graph. Existing control dependencies, both direct and indirect, can be obtained ...

    application/pdf

    application/pdfPDF (156kB)
  • Sachs, Daniel Grobe; Yuan, Wanghong; Hughes, Christopher J.; Harris, Albert F., III; Adve, Sarita V.; Jones, Douglas L.; Kravets, Robin; Nahrstedt, Klara (2004-02)
    Mobile systems primarily processing multimedia data are expected to become important platforms for pervasive computing. These systems, however, must satisfy large, dynamic demands of multimedia applications subject to ...

    application/pdf

    application/pdfPDF (141kB)