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:

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

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