Search

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

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

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

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

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

Author:

Patrick, Christina M

Title:

Minimizing End-To-End Interference in I/O Stacks Spanning Shared Multi-Level Buffer Caches

Graduate Program:

Computer Science and Engineering

Keywords:

storage cache
interference
Multi-level buffer caches
performance
I/O
disk
cache

File:

Download Christina-Dissertation.pdf

Committee Members:

Mahmut Taylan Kandemir, Dissertation Advisor/Co-Advisor
Mahmut Taylan Kandemir, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Padma Raghavan, Committee Member
Brian Cameron, Committee Member
Raj Acharya, Committee Member

Author:

Liu, Chun

Title:

EXPLOITING MULTI-THREADED APPLICATION CHARACTERISTICS TO OPTIMIZE PERFORMANCE AND POWER OF CHIP-MULTIPROCESSORS

Graduate Program:

Computer Science and Engineering

Keywords:

multi-threaded characteristics performance power c

File:

Download thesis_chliu.pdf

Committee Members:

Anand Sivasubramaniam, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Natarajan Gautam, Committee Member

Author:

Li, Feihui

Title:

SOFTWARE AND HARDWARE OPTIMIZATIONS FOR NOC-BASED CHIP MULTIPROCESSORS

Graduate Program:

Computer Science and Engineering

Keywords:

Network-on-Chip
Chip Multiprocessor
cache
optimization
power
performance

File:

Download feli-thesis.pdf

Committee Members:

Mahmut Taylan Kandemir, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Yuan Xie, Committee Member
Kenan Unlu, Committee Member

Author:

Kandiraju, Gokul B

Title:

Towards Self-Optimizing Memory Management

Graduate Program:

Computer Science and Engineering

Keywords:

Memory Management
Computer Architecture
Operating Systems
TLB

File:

Download mymain.pdf

Committee Members:

Anand Sivasubramaniam, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Mahmut Taylan Kandemir, Committee Member
Ekanadham Kattamuri, Committee Member
Gautam Natarajan, Committee Member

Author:

Giger, Gary Fred

Title:

An Operator-Centric Mission Planning Environment to Reduce Mission Complexity for heterogeneous Unmanned Vehicles

Graduate Program:

Computer Science and Engineering

Keywords:

Genetic Algorithms
Multi-Objective
unmanned vehicles
UUV
mission planning

File:

Download GaryGigerDissertation.pdf

Committee Members:

Mahmut Taylan Kandemir, Dissertation Advisor/Co-Advisor
Mahmut Taylan Kandemir, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Padma Raghavan, Committee Member
David J Cannon, Committee Member