College of Engineering
The College of Engineering at Illinois is among the world's most prestigious and largest engineering institutions, with undergraduate and graduate programs rated among the top five nationally. Approximately 5,000 undergraduates and more than 2,600 graduate students are divided with 12 specialized departments.
Browse Collections of Items
(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 ...
(1988-09-16)This thesis contains a detailed comparison of the computation and communication performance of two commercially-available hypercube multiprocessors, the Intel iPSC and Intel iPSC/2. In a previous performance study , ...
(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 ...
(1984-07)This thesis describes the problems encountered and the solutions found in the development of a workable Modula-2 compiler on the IBM Instruments CS 9000 computer system. The project involves many considerations including ...
(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 ...