College of Engineering

Recent AdditionsRSS feed

  • Chadha, Rohit; Sistla, A. Prasad; Mahesh Viswanathan (2017-04-18)
    We consider the problem of verifying the security of finitely many sessions of a protocol that tosses coins in addition to standard cryptographic primitives against a Dolev-Yao adversary. Two properties are investigated ...

    application/pdf

    application/pdfPDF (457kB)
  • Bradley, David K. (1988-09-16)
    This thesis contains a detailed comparison of the computation and communication perfor­mance of two commercially-available hypercube multiprocessors, the Intel iPSC and Intel iPSC/2. In a previous performance study [7], ...

    application/pdf

    application/pdfPDF (37MB)Restricted to U of Illinois
  • Donnelly, Jeffrey M. (1985-03)
    The Newcastle Connection !BrMaRa,82J is a machine independent software system that provides users and user programs with a distributed UNIX [HiTh,74J environment, called UNIX United. The Newcastle Connection enhances several ...

    application/pdf

    application/pdfPDF (20MB)Restricted to U of Illinois
  • Goering, Steven Kent (1984-07)
    This thesis describes the problems encountered and the solutions found in the develop­ment of a workable Modula-2 compiler on the IBM Instruments CS 9000 computer system. The project involves many considerations including ...

    application/pdf

    application/pdfPDF (33MB)Restricted to U of Illinois
  • 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

Community Statistics