Search

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

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

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

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

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

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

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

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

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

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