Browse Dept. of Computer Science by Subject "Hardware"

  • Tseng, Kuan-Yu (2013-08-22)
    Memory corruption attacks, such as buffer overflow attacks, have been threatening software security for more than three decades. Despite tremendous efforts by developers and researchers to prevent programs written in ...

    application/pdf

    application/pdfPDF (2MB)
  • Pekcan, Onur (2010-05-19)
    In this thesis, we describe a biometric authentication system that is capable of recognizing its users’ voice using advanced machine learning and digital signal processing tools. The proposed system can both validate a ...

    application/pdf

    application/pdfPDF (17MB)
  • Kharbanda, Harshit (2013-05-24)
    The continued scaling of transistors in accordance with Moore's law and the failure of Dennard scaling has resulted in power becoming a critical factor in all facets of microprocessor design. To counter the Power Wall, ...

    application/pdf

    application/pdfPDF (2MB)
  • Katelman, Michael (2010)
    This is the source code accompanying our HVC 2010 paper titled "vlogsl: A Strategy Language for Simulation-based Verification of Hardware"; it includes the source code for the vlogsl tool, as well as targets for all of the ...

    application/octet-stream

    application/octet-streamUnknown (674kB)
  • Katelman, Michael; Meseguer, José (2009-06-03)
    The development of modern ICs requires a huge investment in RTL verification. This is a reflection of brisk release schedules and the complexity of contemporary chip designs. A major bottleneck to reaching verification ...

    application/pdf

    application/pdfPDF (229kB)