Search

Start Over Graduate Program Computer Science and Engineering Committee Member Padma Raghavan

1. 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

2. 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

3. 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

4. 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

5. 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

8. Computational pipeline for the empirical detection of cleaved targets of small silencing RNAs using degradome sequencing data

open_access
Open Access
Author:
Addo-Quaye, Charles
Title:
Computational pipeline for the empirical detection of cleaved targets of small silencing RNAs using degradome sequencing data
Graduate Program:
Computer Science and Engineering
Keywords:
small RNAs microRNAs
File:
Download CAA154.pdf
Committee Members:
Webb Colby Miller, Dissertation Advisor/Co-Advisor
Webb Colby Miller, Committee Chair/Co-Chair
Michael Axtell, Committee Chair/Co-Chair
Ali Hurson, Committee Member
Raj Acharya, Committee Member
Padma Raghavan, Committee Member
John Edward Carlson, Committee Member

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

open_access
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

10. SAVE: A Scalable Archival and Visualization Environment for Large-Scale Scientific Computing Applications

open_access
Open Access
Author:
Li, Chuang
Title:
SAVE: A Scalable Archival and Visualization Environment for Large-Scale Scientific Computing Applications
Graduate Program:
Computer Science and Engineering
Keywords:
scientific computing
large data set
visualization
computational steering.
File:
Download thesis.pdf
Committee Members:
Paul E Plassman, Committee Chair/Co-Chair
Daniel Connell Haworth, Committee Member
Padma Raghavan, Committee Member
Hongyuna Zha, Committee Member
Raj Acharya, Committee Member