TO
1 - 25 of 19
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Rivera, Axel Y. | Using autotuning for accelerating tensor contraction on graphics processing units (GPUS) | Autotuning; Gpu; Tensor contraction | 2014-12 | thesis |
| 2 |
 |
Samineni, Meher | Software compliance testing for workflows using the synthetic biology open language | 2019 | thesis | |
| 3 |
 |
Lo, Yu jung | Performance modeling for architectural and program analysis | CUDA unified memory; Memory Bandwidth; Roofline | 2015-05 | thesis |
| 4 |
 |
Ramalingam, Shreyas | Improving high-performance sparse libraries using compiler assisted specialization: a PETSC (portable, extensible toolkit for scientific computation) case study | PETSC; Compiler assisted specialization | 2012-05 | thesis |
| 5 |
 |
Chiang, Wei-Fan | Heuristics for efficient dynamic verification of message passing interface and thread programs | Dynamic verification; Heuristic; MPI programs; Thread programs | 2011-05 | thesis |
| 6 |
 |
Li, Guodong | Formal verification of programs and their transformations | Compiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving | 2010-12 | dissertation |
| 7 |
 |
Gerszewski, Daniel James | Physics-based animation of large-scale splashing liquids, elastoplastic solids, and model-reduced flow | Computer graphics; Liquid simulation; Model reduction; Physically based modeling; Physics-based animation; Point-based simulation | 2014-08 | dissertation |
| 8 |
 |
Venkat, Anand | An integrated compiler and runtime framework for sparse matrix codes | Compilers; Computer Architecture; Sparse Matrix Codes | 2016 | dissertation |
| 9 |
 |
Robison, Braden Devin | Hybrid scheduling for graph-based algorithm decomposition in high-performance computing environments | Computer Engineering; Computer science | 2014 | thesis |
| 10 |
 |
Sudan, Kshitij | Data placement for efficient main memory access | Computer Architecture; DRAM memory management; Main memory; Operating system | 2013-05 | dissertation |
| 11 |
 |
Vo, Anh | Scalable formal dynamic verification of MPI programs through distributed causality tracking | Causality tracking; Correctness checking; MPI; Verification | 2011-08 | dissertation |
| 12 |
 |
Liang, Shuying | Static analysis of Android applications | Android; Malware; Static analysis | 2014-08 | dissertation |
| 13 |
 |
King, James Sokhom | Reducing irregularities in control flow and memory access on graphics processing unit architectures | GPU; Linear Algebra; SIMD | 2017 | dissertation |
| 14 |
 |
Grosset, Pascal | Investigating depth of field in volume rendering and distributed volume rendering on high performance computing systems | Depth of Field; Distrubuted Volume Rendering; HPC; Image Compositing; Perception | 2016 | dissertation |
| 15 |
 |
Tew, Kevin B. | Places: parallelism for racket | Message passing; Parallelism; Programming languages; Racket | 2013-08 | dissertation |
| 16 |
 |
Luitjens, Justin Paul | The scalability of parallel adaptive mesh refinement within Uintah | Adaptive mesh refinement; Load balancing; Parallel; Regridding; Scalability; Simulation; Uintah | 2010-08 | dissertation |
| 17 |
 |
Peterson, Bradley | Portable and performant GPU/heterogeneous asynchronous many-task runtime system | 2019 | dissertation | |
| 18 |
 |
Humphrey, Alan Parker | Scalable asynchronous many-task runtime solutions to globally coupled roblems | 2019 | dissertation | |
| 19 |
 |
Bigelow, Alex | Reflections, models, and software for iterative visualization design | 2019 | dissertation |
1 - 25 of 19