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:: 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

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:: 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:: 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

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

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:: 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

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

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

Search