Browse Dept. of Computer Science by Title

  • Guth, Dwight (2013-08-22)
    This thesis demonstrates the ability to formalize the operational semantics of complex programming languages in the K Semantic Framework, which provides an interpreter as well as analysis tools for exploring the state space ...

    application/pdf

    application/pdfPDF (220kB)
  • Garrido, Alejandra; Meseguer, José (2006-05)
    There is an extensive literature about refactorings of object-oriented programs, and many refactoring tools for the Java programming language. However, except for a few studies, in practice it is difficult to find precise ...

    application/pdf

    application/pdfPDF (172kB)
  • Salverda, Pierre M.; Zilles, Craig (2003-12)
    MSSP is a new execution paradigm that achieves high performance by removing correctness constraints from the critical path. A collection of concurrently executing slave processors, which are not on the critical path, check ...

    application/pdf

    application/pdfPDF (376kB)
  • Meseguer, José; Olveczky, Peter C. (2010-09-13)
    Many Distributed Real-Time Systems (DRTS), such as integrated modular avionics systems and distributed control systems in motor vehicles, are made up of a collection of components communicating asynchronously among ...

    application/pdf

    application/pdfPDF (1MB)
  • Jose Meseguer and Peter Olveczky (2009-11-12)
    Due to physical requirements, what in essence and at a higher level of abstraction is a logically synchronous real-time system has to be often realized as a distributed, asynchronous system. Getting asynchronous real-time ...

    application/pdf

    application/pdfPDF (360kB)
  • Yasmeen, Ayesha (2011-08-25)
    Human operators are unique in their decision making capability, judgment and nondeterminism. Their sense of judgment, unpredictable decision procedures, susceptibility to environmental elements can cause them to erroneously ...

    application/pdf

    application/pdfPDF (2MB)
  • Xu, Lingyu (2015-04-28)
    Many applications on Android rely on advertisements for revenue. In the current advertisement model, ad libraries are linked to host applications and their permission requirements are coupled. More permissions means more ...

    application/pdf

    application/pdfPDF (2MB)
  • Fagen, Wade (2013-08-22)
    This thesis presents the development and deployment of educational software applications on a heterogeneous set of consumer-level devices. To do this, the SLICE framework was created to allow for application developers ...

    application/pdf

    application/pdfPDF (2MB)
  • Dutt, Nikil D. (1989)
    This thesis describes a new approach to behavioral synthesis which allows for designer interaction and gradual motion towards automatic synthesis. Issues in design models, input languages, internal representation and ...

    application/pdf

    application/pdfPDF (7MB)Restricted to U of Illinois
  • Vidwans, Akhil Jayant (1999)
    The design and implementation of an object-oriented framework for grid solvers is presented. Unlike conventional sparse solvers, a grid solver solves the sparse linear system embedded in a computational grid without creating ...

    application/pdf

    application/pdfPDF (5MB)Restricted to U of Illinois
  • Iqbal, Shamsi T. (2008)
    In this work, we focus on one class of interruption, notifications in the desktop, and present one solution to managing such notifications--- intelligently timing their delivery. Our solution is based on a deep theoretical ...

    application/pdf

    application/pdfPDF (4MB)Restricted to U of Illinois
  • Iqbal, Shamsi T. (2008-07)
    Interruptions in the workplace are becoming increasingly prevalent due to the proliferation of proactive behavior within communication applications and collaborative practices. Interruptions caused by notifications from ...

    application/pdf

    application/pdfPDF (6MB)
  • Iqbal, Shamsi T. (2008-07)
    Interruptions in the workplace are becoming increasingly prevalent due to the proliferation of proactive behavior within communication applications and collaborative practices. Interruptions caused by notifications from ...

    application/pdf

    application/pdfPDF (6MB)
  • Ramachandran, Chandrasekar (2009)
    In this work, we describe a comprehensive framework for knowledge discovery from medical records called SDM-Miner. The records are created before, during and after pancreatic islet cell transplantation1 on a group of ...

    application/pdf

    application/pdfPDF (1MB)
  • Ramachandran, Chandrasekar (2010-01-06)
    In this work, we describe a comprehensive framework for knowledge discovery from medical records called SDM-Miner. The records are created before, during and after pancreatic islet cell transplantation1 on a group of ...

    application/pdf

    application/pdfPDF (1MB)
  • Chan, Ellick M. (2011-05-25)
    Current techniques used by forensic investigators during incident response and search and seizure operations generally involve pulling the power on suspect machines and performing traditional dead box post-mortem analysis ...

    application/pdf

    application/pdfPDF (2MB)
  • Wu, Tianyi (2010-05-19)
    Promotion is one of the most important elements in marketing. It is often desirable to find merit in an object (e.g., product, person, organization, or other business entity) and promote it in an appropriate community ...

    application/pdf

    application/pdfPDF (966kB)
  • Wu, Tianyi (2010-05)
    Promotion is one of the most important elements in marketing. It is often desirable to find merit in an object (e.g., product, person, organization, or other business entity) and promote it in an appropriate community ...

    application/pdf

    application/pdfPDF (966kB)
  • Bailey, Brian P.; Adamczyk, Piotr D.; Chang, Tony Y.; Chilson, Neil A. (2005-04)
    Interrupting users engaged in tasks typically has negative effects on their task completion time, error rate, and affective state. Empirical research has shown that these negative effects can be mitigated by deferring ...

    application/pdf

    application/pdfPDF (275kB)
  • Chang, Tony Y.; Chilson, Neil A.; Bailey, Brian P. (2004-09)
    Knowledge about user task execution can help systems better reason about when to interrupt users. To enable recognition and forecasting of task execution, we develop a novel framework for specifying and monitoring user ...

    application/pdf

    application/pdfPDF (128kB)