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

Open Access

Author:: Lee, Ingyu
Title:: Sparse Scientific Applications: Improving Performance and Energy Characteristics on Advanced Architectures
Graduate Program:: Computer Science and Engineering
Keywords:: Performance
Scientific Application
Sparse
Energy
File:: Download mythesis.pdf
Committee Members:: Padma Raghavan, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Mahmut Taylan Kandemir, Committee Member
Zi Kui Liu, Committee Member

Open Access

Author:: Teranishi, Keita
Title:: SCLABLE HYBRID SPARSE LINEAR SOLVERS
Graduate Program:: Computer Science and Engineering
Keywords:: parallel computing
numerical linear algebra
scientific computing
sparse matrix computation
File:: Download mythesis.pdf
Committee Members:: Padma Raghavan, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Member
Lyle Norman Long, Committee Member
Panagiotis Michaleris, Committee Member
Paul Plassmann, Committee Member
Raj Acharya, Committee Member

Open Access

Author:: Malkowski, Konrad
Title:: CO-ADAPTING SCIENTIFIC APPLICATIONS AND ARCHITECTURES TOWARD ENERGY-EFFICIENT HIGH PERFORMANCE COMPUTING
Graduate Program:: Computer Science and Engineering
Keywords:: scientific applications
power
adaptivity
optimization
energy-efficient
architecture
performance
File:: Download malkowski_thesis.pdf
Committee Members:: Padma Raghavan, Dissertation Advisor/Co-Advisor
Padma Raghavan, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Mahmut Taylan Kandemir, Committee Member
Michael Perrone Iii, Committee Member
Jia Li, Committee Member

Open Access

Author:: Vilayannur, Murali Natarajan
Title:: RUNTIME SUPPORT FOR EFFECTIVE MEMORY MANAGEMENT IN LARGE-SCALE APPLICATIONS
Graduate Program:: Computer Science and Engineering
Keywords:: Memory management
parallel file-systems
I/O
scheduling
caching
virtual memory
File:: Download thesis.pdf
Committee Members:: Anand Sivasubramaniam, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Chair/Co-Chair
Padma Raghavan, Committee Member
Natarajan Gautam, Committee Member
Rajeev Thakur, Committee Member
Robert Craig Ross, Committee Member

Open Access

Author:: Bhowmick, Sanjukta
Title:: Multimethod Solvers: Algorithms, Application And Software
Graduate Program:: Computer Science and Engineering
Keywords:: Iterative Linear Solvers
High Reliability
Composite Solvers
Adaptive Solvers
File:: Download mythesis.pdf
Committee Members:: Padma Raghavan, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Member
Lyle Norman Long, Committee Member
Lois Curfman Mc Innes, Committee Member
Paul Plassmann, Committee Member
Raj Acharya, Committee Member

Search