Dept. of Computer Science

 

The Department of Computer Science is recognized throughout the world as a leader in education and research. The department and its graduates have long been at the forefront of modern computing beginning with the ILLIAC in 1952, and continuing with the creation of Mosaic, the first graphic web browser, through the most recent Internet era.

Browse Sub-communities

Browse Collections of Items

Recent AdditionsRSS feed

  • Rahmaniheris, Maryam; Sha, Lui; Ou, Yi-Zong; Weininger, Sandy (2015)
    Medical Device Plug-and-Play (MD PnP) is a recent NIH (National Institute of Health) sponsored investigation on the interoperability of medical devices and the design of safe integrated medical systems \cite{MDPnP}. An MD ...

    application/pdf

    application/pdfPDF (4MB)
  • Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu (2020-09)
    Automation of fixpoint reasoning has been extensively studied for various mathematical structures, logical formalisms, and computational domains, resulting in specialized fixpoint provers for heaps, for streams, for term ...

    application/pdf

    application/pdfPDF (1MB)
  • Lui Sha, Jung-eun Kim, Jose Meseguer, and Peter C. Ölveczky (2020-08-30)
    This paper introduces Virtual Single-Core (VSC) technology that allows engineers to use a group of cores in a multicore computer as if the group of cores were a larger single-core computer. Multicore technology has many ...

    application/pdf

    application/pdfPDF (288kB)
  • Wang, Dennis (2020-05-15)
    Peer assessment is found to be an effective approach for instructors to evaluate students’ learning performance in large classes, and it provides great learning opportunities for stu- dents. However, conducting successful ...

    application/pdf

    application/pdfPDF (750kB)Restricted Access
  • Durrani, Sultan Hayat Khan (2020-05-13)
    There has been a surge in the demand for a Domain Specific Architecture due to wide ranging deep learning applications like Image classification, speech recognition, in healthcare, self-driving cars etc. Matrix Multiplication ...

    application/pdf

    application/pdfPDF (1MB)Restricted Access

Community Statistics