Browse by Subject "computer science"

  • Chen, Feng; Serbanuta, Traian Florin; Rosu, Grigore (2007-10)
    Predictive runtime analysis has been proposed to improve the effectiveness of concurrent program analysis and testing. Observing an execution, predictive runtime analysis extracts causality which is then used as the model ...

    application/pdf

    application/pdfPDF (283Kb)
  • Termehchy, Arash; Winslett, Marianne (2009-03)
    The popularity of XML has exacerbated the need for an easy-to-use, high precision query interface for XML data. When traditional document-oriented keyword search techniques do not suffice, natural language interfaces and ...

    application/pdf

    application/pdfPDF (553Kb)
  • Escobar, Santiago; Meseguer, Jose; Sasse, Ralf (2008-04)
    An equational theory decomposed into a set B of equational axioms and a set \Delta of rewrite rules has the \emph{finite variant} (FV) \emph{property} in the sense of Comon-Lundh and Delaune iff for each term t there is a ...

    application/pdf

    application/pdfPDF (468Kb)
  • Iqbal, Shamsi T.; Bailey, Brian P. (2007-09)
    This work reports results from two studies investigating intelligent notification scheduling. The first study tested the performance of composite statistical models for detecting and differentiating three granularities ...

    application/pdf

    application/pdfPDF (251Kb)
  • Hasan, Ragib; Winslett, Marianne; Mitra, Soumyadeb (2009-03)
    The Sarbanes-Oxley Act inspired research on long-term high-integrity retention of business records, based on the long-term immutability guarantees that WORM storage servers offer for files. Researchers recently proposed a ...

    application/pdf

    application/pdfPDF (455Kb)
  • Jang, Myeong-Wuk (2006-02)
    The growth of the computational power of computers and the speed of networks has made large-scale multi-agent systems a promising technology. As the number of agents in a single application approaches thousands or millions, ...

    application/pdf

    application/pdfPDF (707Kb)
  • McCann, Robert Lee (2007-09)
    The rapid growth of distributed data has fueled significant interest in building data integration systems. However, developing these systems today still requires an enormous amount of labor from system builders. Several ...

    application/pdf

    application/pdfPDF (721Kb)
  • d'Amorim, Marcelo (2007-08)
    Despite the technological advances in languages and tools to support program development, programmers still deliver software with lots of errors. Software testing has been the dominant approach in industry to improve the ...

    application/pdf

    application/pdfPDF (656Kb)
  • Chen, Feng; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore (2008-09)
    Efficient monitoring of parametric properties, in spite of increasingly growing interest thanks to applications such as testing and security, imposes a highly non-trivial challenge on monitoring approaches due to the ...

    application/pdf

    application/pdfPDF (202Kb)
  • Meredith, Patrick O'Neil; Jin, Dongyun; Chen, Feng; Rosu, Grigore (2008-04)
    Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. However, these logics reduce to ordinary finite ...

    application/pdf

    application/pdfPDF (274Kb)
  • Yu, Jing (2008-07)
    As semiconductor technology scales into the deep submicron regime the occurrence of transient or soft errors will increase. This will require new approaches to error detection. Software checking approaches are attractive ...

    application/pdf

    application/pdfPDF (900Kb)
  • Tuck, James M. (2007-08)
    Improving application performance is a major challenge for computer architects. Two important reasons for it are the shift to multi-core architectures, which will no longer emphasize improvements in instruction-level ...

    application/pdf

    application/pdfPDF (991Kb)
  • 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)
  • Hills, Mark; Aktemur, T. Baris; Rosu, Grigore (2005-10)
    In this paper, we present an overview of our method of specifying the semantics of programming languages using rewriting logic. This method, which we refer to as the "continuation-based style", relies on an explicit ...

    application/pdf

    application/pdfPDF (282Kb)
  • Sun, Qiang (2005-12)
    We believe one of the most promising but under-explored research areas in machine learning today is the integration of prior domain knowledge into the learning process. For a learning system, both training examples and ...

    application/pdf

    application/pdfPDF (801Kb)
  • Guo, Jia (2007-08)
    The importance of tiles or blocks in mathematics and thus computer science cannot be overstated. From a high level point of view, they are the natural way to express many algorithms, both in iterative and recursive forms. ...

    application/pdf

    application/pdfPDF (792Kb)
  • Fagen, Wade; Karahalios, Karrie (2007-05)
    On the Internet today, account registration is nearly always a requirement to interact with any website in a meaningful way. Each digital identity a user creates is a new and completely disjoint identity from all other ...

    application/pdf

    application/pdfPDF (307Kb)
  • Gaonkar, Shravan (2008-10)
    Simulation is applied in numerous and diverse elds, such as manufacturing systems, communications and protocol design, nancial and economic engineering, operations research, design of transportation networks and systems, ...

    application/pdf

    application/pdfPDF (2Mb)
  • Baugh, Lee W.; Zilles, Craig (2006-05)
    If future systems provide efficient support for atomic execution (i.e., by transactional memory), we believe that programmers will use them in two ways: 1) short-lived transactions --- corresponding to existing critical ...

    application/pdf

    application/pdfPDF (246Kb)
  • Kabra, Govind; Zhang, Zhen; Chang, Kevin Chen-Chuan; Lim, Lipyeow; Wang, Min; Chang, Yuan-Chi (2006-03)
    The Web has been rapidly deepened with the prevalence of databases online. As sources proliferate, while there are often useful, alternative, and related sources for our needs, we are lacking an effective facility to explore ...

    application/pdf

    application/pdfPDF (296Kb)