Search

Start Over Graduate Program Computer Science and Engineering

2. A Logical Framework for Reasoning about Logical Specifications

open_access
Open Access
Author:
Tiu, Alwen Fernanto
Title:
A Logical Framework for Reasoning about Logical Specifications
Graduate Program:
Computer Science and Engineering
Keywords:
proof theory
operational semantics
co-induction
induction
logical framework
cut-elimination
File:
Download etd.pdf
Committee Members:
John Joseph Hannan, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Member
Padma Raghavan, Committee Member
Stephen George Simpson, Committee Member
Frank Pfenning, Committee Member

3. Characterizations of Vulnerabilities and Countermeasures in Advanced Metering Infrastructure Collectors

open_access
Open Access
Author:
Delozier, Adam Johannes
Title:
Characterizations of Vulnerabilities and Countermeasures in Advanced Metering Infrastructure Collectors
Graduate Program:
Computer Science and Engineering
Keywords:
smartgrid
AMI
vulnerabilities
security
attack trees
File:
Download delozier-ms.pdf
Committee Members:
Dr Patrick Mc Daniel, Thesis Advisor/Co-Advisor
Dr Patrick Mc Daniel, Thesis Advisor/Co-Advisor

4. Towards Minimizing the Adverse Effects of Temperature on High Performance Digital Systems

open_access
Open Access
Author:
Ricketts, Andrew Jonathan Sylvester
Title:
Towards Minimizing the Adverse Effects of Temperature on High Performance Digital Systems
Graduate Program:
Computer Science and Engineering
Keywords:
High temperature relaibility
NBTI
temperature induced clock skew
File:
Download RickettsFinalDissertation.pdf
Committee Members:
Vijaykrishnan Narayanan, Dissertation Advisor/Co-Advisor
Vijaykrishnan Narayanan, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Yuan Xie, Committee Member
Kenan Unlu, Committee Member

5. Design and Analysis of Heterogeneous Networks for Chip-Multiprocessors

open_access
Open Access
Author:
Mishra, Asit Kumar
Title:
Design and Analysis of Heterogeneous Networks for Chip-Multiprocessors
Graduate Program:
Computer Science and Engineering
Keywords:
NoC
network-on-chip
router
heterogeneous NoC
heterogeneous networks
multicore
CMP
STT-RAM
File:
Download AsitMishra-Dissertation.pdf
Committee Members:
Chitaranjan Das, Dissertation Advisor/Co-Advisor
Chitaranjan Das, Committee Chair/Co-Chair
Vijaykrishnan Narayanan, Committee Member
Mahmut Taylan Kandemir, Committee Member
William Kenneth Jenkins, Committee Member
Onur Mutlu, Committee Member

7. Side Channel Attack for Keystroke Logging

open_access
Open Access
Author:
Tannous, Albert
Title:
Side Channel Attack for Keystroke Logging
Graduate Program:
Computer Science and Engineering
Keywords:
without root access
unprivileged
user level
xlookupstring
linux
keylogger
keylogging
password cracking
password guessing
timing attack
timing
side channel attack
side channel
keyboard mapping
keycode
keysym
keystroke
brute force
File:
Download Albert_Tannous_Thesis.pdf
Committee Members:
Trent Ray Jaeger, Thesis Advisor/Co-Advisor

8. PFFTC: An Improved Fast Fourier Transform for the IBM Cell Broadband Engine

open_access
Open Access
Author:
Shaffer, Andrew Paul
Title:
PFFTC: An Improved Fast Fourier Transform for the IBM Cell Broadband Engine
Graduate Program:
Computer Science and Engineering
Keywords:
Cell Broadband Engine
High Performance Computing
Fast Fourier Transform
File:
Download PFFTC_An_Improved_Fast_Fourier_Transform_for_the_IBM_Cell_Broadband_Engine.pdf
Committee Members:
Padma Raghavan, Thesis Advisor/Co-Advisor
Padma Raghavan, Thesis Advisor/Co-Advisor

9. BDI Plan Update In Dynamic Environments

open_access
Open Access
Author:
Fecteau, Anthony Roman
Title:
BDI Plan Update In Dynamic Environments
Graduate Program:
Computer Science and Engineering
Keywords:
plan abort
plan fail
plan update
multi agent systems
intelligent agents
artificial intelligence
r-cast
BDI
plan task execution
plan step execution
update dispatcher
File:
Download anthonyfecteau.pdf
Committee Members:
John Yen, Thesis Advisor/Co-Advisor
Tracy Mullen, Thesis Advisor/Co-Advisor
Wang Chien Lee, Thesis Advisor/Co-Advisor

10. Exploring Power Reliability Tradeoffs in On-Chip Networks

open_access
Open Access
Author:
Yanamandra, Aditya
Title:
Exploring Power Reliability Tradeoffs in On-Chip Networks
Graduate Program:
Computer Science and Engineering
Keywords:
Electromigration
Soft Errors
Reliability
Network on chip
Router Cache
Iso-reliable
File:
Download AdityaYanamandra-dissertation.pdf
Committee Members:
Mary Jane Irwin, Dissertation Advisor/Co-Advisor
Mary Jane Irwin, Committee Chair/Co-Chair
Vijaykrishnan Narayanan, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Member
Padma Raghavan, Committee Member
Vittaldas V Prabhu, Committee Member

11. Mobility Prediction Based Intelligent Algorithms for Mobile Ad Hoc Networks

open_access
Open Access
Author:
Venkateswaran, Aravindhan
Title:
Mobility Prediction Based Intelligent Algorithms for Mobile Ad Hoc Networks
Graduate Program:
Computer Science and Engineering
Keywords:
Relay Nodes
Mobility Control
MANETs
Energy
File:
Download Aravindhan_-_Thesis_final.pdf
Committee Members:
Raj Acharya, Committee Chair/Co-Chair
Thomas F Laporta, Committee Member
Wang Chien Lee, Committee Member
Carleen Frances Maitland, Committee Member
Venkatesh Sarangan, Committee Member

13. Real-Time Visualization of Aerospace Simulations using Comptutational Steering and Beowulf Clusters

open_access
Open Access
Author:
Modi, Anirudh
Title:
Real-Time Visualization of Aerospace Simulations using Comptutational Steering and Beowulf Clusters
Graduate Program:
Computer Science and Engineering
Keywords:
real-time systems
parallel simulations
visualization
computational steering
cfd
virtual reality
File:
Download phdthesis.pdf
Committee Members:
Mark David Maughmer, Committee Member
Rajeev Sharma, Committee Member
Paul E Plassmann, Committee Chair/Co-Chair
Lyle Norman Long, Committee Chair/Co-Chair
Padma Raghavan, Committee Member

14. Exploiting Sparsity, Structure, and Geometry for Knowledge Discovery

open_access
Open Access
Author:
Chatterjee, Anirban
Title:
Exploiting Sparsity, Structure, and Geometry for Knowledge Discovery
Graduate Program:
Computer Science and Engineering
Keywords:
sparse graph embedding
sparse graph partitioning
data mining
sparse linear solvers
File:
Download AnirbanChatterjeeDoctoralThesis.pdf
Committee Members:
Padma Raghavan, Dissertation Advisor/Co-Advisor
Padma Raghavan, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Member
Suzanne Michelle Shontz, Committee Member
Kateryna Dmytrivna Makova, Committee Member

15. AN ANALYTICAL FRAMEWORK FOR THEORETICAL ANALYSES IN CLASSIFIER ENSEMBLES AND A STUDY OF ISSUES IN CLUSTER VALIDATION FOR GENOMIC DATA

open_access
Open Access
Author:
Narasimhamurthy, Anand
Title:
AN ANALYTICAL FRAMEWORK FOR THEORETICAL ANALYSES IN CLASSIFIER ENSEMBLES AND A STUDY OF ISSUES IN CLUSTER VALIDATION FOR GENOMIC DATA
Graduate Program:
Computer Science and Engineering
Keywords:
classifier combination
classifier ensembles
majority voting
diversity in classifier ensembles
cluster validation
microarrays
network flow
File:
Download thesis.pdf
Committee Members:
Raj Acharya, Committee Chair/Co-Chair
Piotr Berman, Committee Member
Dr Jia Li, Committee Member
Dr Rajeev Sharma, Committee Member
Prof Rangachar Kasturi, Committee Member

16. Redundancy and Parallelism Tradeoffs for Reliable, High-Performance Architectures

open_access
Open Access
Author:
Parashar, Angshuman
Title:
Redundancy and Parallelism Tradeoffs for Reliable, High-Performance Architectures
Graduate Program:
Computer Science and Engineering
Keywords:
Transient Faults
Reliability
Microarchitecture
Redundant Threading
File:
Download AngshumanParashar-Dissertation.pdf
Committee Members:
Anand Sivasubramaniam, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Chitaranjan Das, Committee Member
Vijaykrishnan Narayanan, Committee Member
Kenneth Jenkins, Committee Member
Sudhanva Gurumurthi, Committee Member

17. Implications of Future Technologies on the Design of FPGAs

open_access
Open Access
Author:
Gayasen, Aman
Title:
Implications of Future Technologies on the Design of FPGAs
Graduate Program:
Computer Science and Engineering
Keywords:
field programmable gate array
power
thermal
three-dimensional stacking
three-dimensional integration
nanotechnology
interconnect
File:
Download gayasen-thesis.pdf
Committee Members:
Mahmut Taylan Kandemir, Committee Chair/Co-Chair
Vijaykrishnan Narayanan, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Vittaldas V Prabhu, Committee Member

18. EFFICIENT AND SCALABLE BIOLOGICALLY PLAUSIBLE SPIKING NEURAL NETWORKS WITH LEARNING APPLIED TO VISION

open_access
Open Access
Author:
Gupta, Ankur
Title:
EFFICIENT AND SCALABLE BIOLOGICALLY PLAUSIBLE SPIKING NEURAL NETWORKS WITH LEARNING APPLIED TO VISION
Graduate Program:
Computer Science and Engineering
Keywords:
biologically plausible learning
spiking neural networks
scalable
vision
File:
Download PS_Thesis_template12.pdf
Committee Members:
Lyle Norman Long, Dissertation Advisor/Co-Advisor
Lyle Norman Long, Committee Chair/Co-Chair
Soundar Rajan Tirupatikumara, Committee Chair/Co-Chair
Dr Robert T Collins, Committee Member
William Evan Higgins, Committee Member
John C Collins, Committee Member

19. ASSEMBLY ALGORITHMS FOR NEXT GENERATION SEQUENCE DATA

open_access
Open Access
Author:
Ratan, Aakrosh
Title:
ASSEMBLY ALGORITHMS FOR NEXT GENERATION SEQUENCE DATA
Graduate Program:
Computer Science and Engineering
Keywords:
next-generation sequencing
genome assembly
algorithms
File:
Download dissertation.pdf
Committee Members:
Webb Colby Miller, Dissertation Advisor/Co-Advisor
Webb Colby Miller, Committee Chair/Co-Chair
Piotr Berman, Committee Member
Stephan Schuster, Committee Member
Raj Acharya, Committee Member