Search

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

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

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

open_access
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

12. Communication-Driven Coscheduling in Clusters

open_access
Open Access
Author:
Choi, Gyu Sang
Title:
Communication-Driven Coscheduling in Clusters
Graduate Program:
Computer Science and Engineering
Keywords:
Clusters
Scheduling
File:
Download main.pdf
Committee Members:
Chitaranjan Das, Committee Chair/Co-Chair
Daniel Connell Haworth, Committee Member
Padma Raghavan, Committee Member
Guohong Cao, Committee Member
Andy B Yoo, Committee Member

13. AUTOMATING ANALYSIS OF GENE CLUSTER EVOLUTION

open_access
Open Access
Author:
Song, Giltae
Title:
AUTOMATING ANALYSIS OF GENE CLUSTER EVOLUTION
Graduate Program:
Computer Science and Engineering
Keywords:
duplication
evolution
orthology
gene clusters
conversion
File:
Download giltae_song_dissertation.pdf
Committee Members:
Webb Colby Miller, Dissertation Advisor/Co-Advisor
Webb Colby Miller, Committee Chair/Co-Chair
Raj Acharya, Committee Member
Padma Raghavan, Committee Member
Ross Cameron Hardison, Committee Member
Yu Zhang, Committee Member

15. PARALLEL ALGORITHMS AND SOFTWARE FOR MULTI-SCALE MODELING OF CHEMICALLY REACTING FLOWS AND RADIATIVE HEAT TRANSFER

open_access
Open Access
Author:
Veljkovic, Ivana
Title:
PARALLEL ALGORITHMS AND SOFTWARE FOR MULTI-SCALE MODELING OF CHEMICALLY REACTING FLOWS AND RADIATIVE HEAT TRANSFER
Graduate Program:
Computer Science and Engineering
Keywords:
combustion
radiation
parallel algorithms
multiscale modeling
File:
Download thesis.pdf
Committee Members:
Paul Plassmann, Committee Chair/Co-Chair
Padma Raghavan, Committee Member
Jesse Louis Barlow, Committee Member
Daniel Connell Haworth, Committee Member
Michael F Modest, Committee Member

16. Sparse Scientific Applications: Improving Performance and Energy Characteristics on Advanced Architectures

open_access
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

18. Information Fusion of Multiple Genomic Sensors for Clustering and Cis-Regulatory Element Identification

open_access
Open Access
Author:
Kasturi, Jyotsna
Title:
Information Fusion of Multiple Genomic Sensors for Clustering and Cis-Regulatory Element Identification
Graduate Program:
Computer Science and Engineering
Keywords:
Kullback-Leibler divergence
self-organizing map
multidimensional clustering
time-series
gene expression
motif finding
functional genomics
radial basis functions
information fusion
File:
Download JK_Thesis_05_2006.pdf
Committee Members:
Raj Acharya, Committee Chair/Co-Chair
Webb Colby Miller, Committee Member
Padma Raghavan, Committee Member
Ross Cameron Hardison, Committee Member
Francesca Chiaromonte, Committee Member

19. A Comprehensive Approach to Design Network-on-Chip Architectures for SoC/Multicore Systems

open_access
Open Access
Author:
Kim, Jongman
Title:
A Comprehensive Approach to Design Network-on-Chip Architectures for SoC/Multicore Systems
Graduate Program:
Computer Science and Engineering
Keywords:
Routing Mechanism
Computer Architecture
Network-on-Chip
System-on-Chip
File:
Download mythesis2.pdfDownload mythesis.pdf
Committee Members:
Chitaranjan Das, Committee Chair/Co-Chair
Padma Raghavan, Committee Member
Vijaykrishnan Narayanan, Committee Member
William Kenneth Jenkins, Committee Member