Browse Dept. of Computer Science by Title

  • Digital Computer Laboratory. University of Illinois at Urbana-Champaign (Urbana, Ill. : Digital Computer Laboratory. Graduate College. University of Illinois at Urbana-Champaign, 1960)

    application/pdf

    application/pdfPDF (23MB)
  • Digital Computer Laboratory. University of Illinois at Urbana-Champaign (Urbana, Ill. : Digital Computer Laboratory. University of Illinois at Urbana-Champaign., 1963)

    application/pdf

    application/pdfPDF (33MB)
  • Digital Computer Laboratory. University of Illinois at Urbana-Champaign (Urbana, Ill. : Digital Computer Laboratory. Graduate College. University of Illinois at Urbana-Champaign, 1956-1957)

    application/pdf

    application/pdfPDF (26MB)
  • Tzannes, Alexandros; Han, Michael; Adve, Vikram S.; Vakilian, Mohsen; Eloussi, Lamyaa; Heumann, Stephen T. (IEEE, 2015-08-17)
    In this paper, we present the first full regions-and-effects inference algorithm for explicitly parallel fork-join programs. We infer annotations inspired by Deterministic Parallel Java (DPJ) for a type-safe subset of C++. ...

    application/pdf

    application/pdfPDF (198kB)
  • Sane, Aamod Arvind (1998)
    Finally, the thesis presents a software architecture for implementing systems with interacting distributed objects. The architecture allows systems to be incrementally extended with new objects and new operations, including ...

    application/pdf

    application/pdfPDF (6MB)Restricted to U of Illinois
  • Gupta, Abhishek (2014-09-16)
    The advantages of pay-as-you-go model, elasticity, and the flexibility and customization offered by virtualization make cloud computing an attractive option for meeting the needs of some High Performance Computing (HPC) ...

    application/pdf

    application/pdfPDF (5MB)
  • Duan, Yue Lu (2015-01-21)
    Fences are instructions that programmers or compilers insert in the code to prevent the compiler or the hardware from reordering memory accesses [20, 43]. Fences can be expensive because all of the accesses before the fence ...

    application/pdf

    application/pdfPDF (499kB)
  • Budnik, Paul Peter, Jr. (1975)

    application/pdf

    application/pdfPDF (8MB)Restricted to U of Illinois
  • Marsolf, Bret Andrew (1997)
    The development of high-performance numerical algorithms and their effective use in application codes is an iterative process involving the refinement of the algorithms and their implementations that continues during the ...

    application/pdf

    application/pdfPDF (5MB)Restricted to U of Illinois
  • Lee, Chee Wai (2010-01-06)
    Performance analysis tools are essential to the maintenance of efficient parallel execution of scientific applications. As scientific applications are executed on larger and larger parallel supercomputers, it is clear ...

    application/pdf

    application/pdfPDF (6MB)
  • Lee, Chee Wai (2009-12-02)
    Performance analysis tools are essential to the maintenance of efficient parallel execution of scientific applications. As scientific applications are executed on larger and larger parallel supercomputers, it is clear that ...

    application/pdf

    application/pdfPDF (6MB)
  • Nakano, Jun (2006)
    We show that FGBB should be applied in an architecture-aware manner, following the shapes of architectural modules. The reason is that architectural functionality affects the BB needed through temperature and type of ...

    application/pdf

    application/pdfPDF (3MB)Restricted to U of Illinois
  • Nakano, Jun (2006-01)
    As technology feature size continues to shrink, we see two challenging problems in designing computer systems. One is the hardware unreliability due to increasing chances of transient hardware faults caused by high-energy ...

    application/pdf

    application/pdfPDF (971kB)
  • Qi, Shanxiang (2013-08-22)
    Multicore machines have become pervasive and, as a result, parallel programming has received renewed interest. Unfortunately, writing correct parallel programs is notoriously hard. One challenging problem is how to ship ...

    application/pdf

    application/pdfPDF (2MB)
  • Sarangi, Smruti R. (2007)
    Using this model we introduce a novel framework that shows how microarchitecture techniques can mitigate variation-induced errors and even trade them off for power and processor frequency. Several such techniques are ...

    application/pdf

    application/pdfPDF (4MB)Restricted to U of Illinois
  • Sarangi, Smruti R. (2006-12)
    It is getting increasingly difficult to verify processors and guarantee subsequent reliable operation. The complexity of processors is rapidly increasing with every new generation, leading to an increase in the number of ...

    application/pdf

    application/pdfPDF (883kB)
  • Hammerslag, David H. (1984-12)
    As an aid to constructing, modifying, and maintaining formal proofs - proof management system has been developed. This system is based on a general purpose tree editor and includes interfaces to various theorem provers and ...

    application/pdf

    application/pdfPDF (23MB)Restricted to U of Illinois
  • Yang, Zhenyu; Nahrstedt, Klara; Cui, Yi; Yu, Bin; Liang, Jin; Jung, Sang-Hack; Bajscy, Ruxena (2005-08)
    Tele-immersive 3D multi-camera room environments are starting to emerge and with them new challenging research questions. One important question is how to organize the large amount of visual data, being captured, processed, ...

    application/pdf

    application/pdfPDF (449kB)
  • Meseguer, José (2007-02)
    This paper presents the temporal logic of rewriting TLR*. Syntactically, TLR* is a very simple extension of CTL* which just adds action atoms, in the form of spatial action patterns, to CTL*. Semantically and pragmatically, ...

    application/pdf

    application/pdfPDF (718kB)
  • Cai, Deng; He, Xiaofei; Han, Jiawei (2006-04)
    Vector Space Model (VSM) has been at the core of information retrieval for the past decades. VSM considers the documents as vectors in high dimensional space. In such a vector space, techniques like Latent Semantic Indexing ...

    application/pdf

    application/pdfPDF (234kB)