Browse by Subject "computer science"

  • Chen, Feng; Rosu, Grigore (2007-01)
    Happen-before causal partial order relations have been widely used in concurrent program verification and testing. In this paper, we present a parametric approach to happen-before causal partial orders. All existing variants ...

    application/pdf

    application/pdfPDF (130Kb)
  • 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)
  • Ramasamy, Harigovind Venkatraj (2005-12)
    We consider the subject of tolerance of the most severe kind of faults, namely Byzantine faults, through state machine replication in asynchronous environments such as the Internet. In Byzantine-fault-tolerant (BFT) state ...

    application/pdf

    application/pdfPDF (941Kb)
  • Zhu, Qingbo (2007-08)
    Trends in Internet infrastructure are driving towards using data centers to provide services such as web hosting and outsourced storage. Data centers typically have high power requirements and may require as much electricity ...

    application/pdf

    application/pdfPDF (1Mb)
  • Thompson, Nathanael A.; Luo, Haiyun (2006-07)
    802.11 networks have spread rapidly in residential areas, and it is common for neighbors to receive the signals from each other's home wireless routers. Residents can leverage such an opportunity to improve their Internet ...

    application/pdf

    application/pdfPDF (264Kb)
  • Shankar, Chetan S. (2006-09)
    Policy-based management is an approach in which organization guidelines can be expressed as policies that are enforced by a management system. These rules specify the corrective actions that should be executed in different ...

    application/pdf

    application/pdfPDF (956Kb)
  • Uttamchandani, Sandeep (2005-09)
    Computer systems today are managed by human administrators who are required to continuously observe the system, analyze its behavior, and activate corrective actions (generally referred to as the Observe-Analyze-Act loop). ...

    application/pdf

    application/pdfPDF (850Kb)
  • Siefert, Chris M. (2006-01)
    Generalized saddle point problems arise in a number of applications, ranging from optimization and metal deformation to fluid flow and PDE-governed optimal control. We focus our discussion on the most general case, making ...

    application/pdf

    application/pdfPDF (1Mb)
  • Daniel, Brett; Boshernitsan, Marat (2008-04)
    Automatic white-box test generation is a challenging problem. Many existing tools rely on complex code analyses and heuristics. As a result, structural features of an input program may impact tool effectiveness in ways ...

    application/pdf

    application/pdfPDF (365Kb)
  • Chen, Feng; Rosu, Grigore (2005-11)
    A runtime analysis technique is presented, which can predict errors in multi-threaded systems by examining event traces generated by executions of these systems even when they are successful. The technique is based on a ...

    application/pdf

    application/pdfPDF (268Kb)
  • Chen, Feng; Rosu, Grigore (2006-04)
    A runtime analysis technique is presented, which can predict concurrency errors in multithreaded systems by observing potentially non-erroneous executions. It builds upon a novel causal partial order, sliced causality, ...

    application/pdf

    application/pdfPDF (157Kb)
  • Chen, Feng; Rosu, Grigore (2005-07)
    We present a technique to predict property violations in multi-threaded programs from successful executions. An appealing aspect of our technique is that it is entirely automatic; another is that no special simulation or ...

    application/pdf

    application/pdfPDF (365Kb)
  • Ben-Asher, Yosi; Eytani, Yaniv; Farchi, Eitan; Ur, Shmuel (2006-02)
    A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manifest itself. This work explores the theory ...

    application/pdf

    application/pdfPDF (152Kb)
  • Garrido, Alejandra (2005-09)
    The C preprocessor is heavily used in C programs because it provides useful and even necessary additions to the C language. Since preprocessor directives are not part of C, they are removed before parsing and program ...

    application/pdf

    application/pdfPDF (843Kb)
  • Hendrix, Joe; Ohsaki, Hitoshi; Viswanathan, Mahesh (2006-02)
    In the paper, we introduce a new tree automata framework, called propositional tree automata, capturing the class of tree languages that are closed under an equational theory and Boolean operations. This framework originates ...

    application/pdf

    application/pdfPDF (307Kb)
  • Jin, Jingwen (2005-12)
    Component-based software development has evolved from tightly coupled object-oriented style to loosely coupled service-oriented style in the past few years. The new service-oriented paradigm will eventually allow heterogeneous ...

    application/pdf

    application/pdfPDF (1Mb)
  • Clark, Robert (2008-10)
    We present a novel solution to streaming XPath query evaluation, capable of supporting forward and reverse axes queries. We show a conversion of an XPath query to a Visibly Pushdown Automaton that preserves the semantics ...

    application/pdf

    application/pdfPDF (129Kb)
  • Colombi, Andrew C. (2008-08)
    Numerical integration of ordinary differential equations resulting from the gravitation of nearby celestial small bodies is the subject of this thesis. We present three methods that alleviate the computational burden of ...

    application/pdf

    application/pdfPDF (4Mb)
  • Yang, Zhenyu; Cui, Yi; Anwar, Zahid; Bocchino, Robert L., Jr.; Kiyanclar, Nadir; Nahrstedt, Klara; Campbell, Roy H.; Yurcik, William (2005-08)
    Tele-immersive system can improve the productivity and aid communication by allowing distributed parties to exchange information via a shared immersive experience. The TEEVE research project at the University of Illinois ...

    application/pdf

    application/pdfPDF (568Kb)
  • Dig, Danny; Negara, Stas; Johnson, Ralph; Mohindra, Vibhu (2007-09)
    Although in theory the APIs of software libraries and frameworks should be stable, they change in practice. This forces clients of the library API to change as well, making software maintenance expensive. Changing a client ...

    application/pdf

    application/pdfPDF (377Kb)