Browse Dept. of Computer Science by Title

  • Rocha, Camilo (2013-02-03)
    This dissertation presents a significant step forward in automatic and semi-automatic reasoning for reachability properties of rewriting logic specifications, a major research goal in the current state of the art. In ...

    application/pdf

    application/pdfPDF (2MB)
  • Li, Liyi; Gunter, Elsa L.; Mansky, William (2013-06-18)
    Communicating Sequential Processes (CSP) is a well-known formal language for describing concur- rent systems. Brookes, Hoare and Roscoe [2] have given a transition semantics for CSP that underlies common approaches to model ...

    application/pdf

    application/pdfPDF (238kB)
  • Li, Liyi (2014-09-16)
    Communicating Sequential Processes (CSP) is a well-known formal language for describing concurrent systems, for which a transition semantics has been given by Brookes, Hoare and Roscoe. In this thesis, we present a generalized ...

    application/pdf

    application/pdfPDF (583kB)
  • Dinges, Peter (2015-01-21)
    Targeted inputs are input values for a program that lead to the execution of a user-specified branch or statement. Targeted inputs are useful: In debugging, for example, they allow programmers to follow the execution ...

    application/pdf

    application/pdfPDF (907kB)
  • Huang, Zixia (2013-02-03)
    This dissertation investigates issues of performing synchronized distribution of time-correlated multi-modal continuous media data in the distributed interactive teleimmersion, and proposes approaches to solve these problems. ...

    application/pdf

    application/pdfPDF (2MB)
  • Bae, Kyungmin; Olveczky, Peter C.; Al-Nayeem, Abdullah; Meseguer, José (2011-05-31)
    Distributed Real-Time Systems (DRTS), such as avionics systems and distributed control systems in motor vehicles, are very hard to design because of asynchronous communication, network delays, and clock skews. Furthermore, ...

    application/pdf

    application/pdfPDF (680kB)
  • Lafrance, Jacques Emmett (1971)

    application/pdf

    application/pdfPDF (6MB)Restricted to U of Illinois
  • application/pdf

    application/pdfPDF (7MB)Restricted to U of Illinois
  • Cheng, Betty Hsiao-Chih (1990)
    Program synthesis is the process of developing a computer program automatically from a specification of its desired behavior. In contrast to software development environments that require the user to write program code, ...

    application/pdf

    application/pdfPDF (5MB)Restricted to U of Illinois
  • application/pdf

    application/pdfPDF (7MB)Restricted to U of Illinois
  • Panda, Rajendran Venkatachari (1996)
    This thesis presents techniques for automatically synthesizing VLSI circuits having low power dissipation. Power consumption of static CMOS and BiCMOS circuits is almost entirely dependent on the extent of switching activity ...

    application/pdf

    application/pdfPDF (6MB)Restricted to U of Illinois
  • Rosu, Grigore; Chen, Feng; Ball, Thomas (2007-10)
    We present an extension of past time LTL with call/return atoms, called ptCaRet, together with a monitor synthesis algorithm for it. ptCaRet includes abstract variants of past temporal operators, which can express properties ...

    application/pdf

    application/pdfPDF (257kB)
  • Vander Zanden, Nels Blake (1991)
    In recent years the drive to produce more complex integrated circuits while spending less design time has driven the demand for design automation tools. The search for design automation methods has resulted in the design ...

    application/pdf

    application/pdfPDF (6MB)Restricted to U of Illinois
  • application/pdf

    application/pdfPDF (9MB)Restricted to U of Illinois
  • Qin, Feng (2006-08)
    As hardware performance and dependability have dramatically improved in the past few decades, the software dependability issues are becoming increasingly important. Unfortunately, many studies show that software bugs, which ...

    application/pdf

    application/pdfPDF (679kB)
  • Qin, Feng (2006)
    In summary, it can effectively improve software dependability during production runs by addressing software bugs at multiple levels with support from the hardware, OS, and runtime.

    application/pdf

    application/pdfPDF (4MB)Restricted to U of Illinois
  • Wang, Jane Ching-Ying (1997)
    In this thesis, we present a framework for supporting design evolution. We describe a uniform way to define the semantics of object change operators, present a set of change operators that call be used to manage and control ...

    application/pdf

    application/pdfPDF (7MB)Restricted to U of Illinois
  • Luo, Qingzhou; Huang, Jeff; Rosu, Grigore (2015)
    We propose the first systematic concurrent program testing approach that is able to cover the entire scheduling space with a provably minimal number of test runs. Each run corresponds to a distinct maximal causal model ...

    application/pdf

    application/pdfPDF (740kB)
  • Jones, Douglas Warren (1980)
    The protection structures of most computers in commercial use today are the results of a haphazard design process. This work represents an attempt to correct this state of affairs by integrating a wide variety of previous ...

    application/pdf

    application/pdfPDF (6MB)Restricted to U of Illinois
  • Karimzadehgan, Maryam (2012-09-18)
    With the advent of Web, text information is being generated across the globe at an unfathomable rate and covering countless topics. This dramatic growth in text information and the increasing number of ways people can ...

    application/pdf

    application/pdfPDF (890kB)