eTD Explore

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

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

Open Access

Author:: Brown, Angeline M
Title:: AN ENGINEERING APPROACH TO PERL AND RUBY OBJECT ORIENTED PROGRAMMING LANGUAGES
Graduate Program:: Computer Science and Engineering
Keywords:: Catalyst
DTrace
Ruby
Perl
Ruby on Rails
File:: Download abrown_thesis_may2012.pdf
Committee Members:: Dr Yuan Xie, Thesis Advisor/Co-Advisor
Mahmut Taylan Kandemir, Thesis Advisor/Co-Advisor
Yuan Xie, Thesis Advisor/Co-Advisor

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

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

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

Open Access

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

Open Access

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

Open Access

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

Open Access

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

Search