TO
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 101 |
 |
Wan, Yong | Fluorender, an interactive tool for confocal microscopy data visualization and analysis | Anatomical atlas; Biology application; Confocal microscopy; Visualization; Volume rendering | 2013-08 | dissertation |
| 102 |
 |
Duan, Jianjun | Formal verification of device drivers in embedded systems | Device; Driver; Formal; Interrupt; Verification | 2013-12 | dissertation |
| 103 |
 |
Li, Guodong | Formal verification of programs and their transformations | Compiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving | 2010-12 | dissertation |
| 104 |
 |
Christensen, Cameron T. | Framework and model for interactive spatiotemporal data analysis and visualization systems | 2019 | thesis | |
| 105 |
 |
Kim, Mark | Gpu-enabled surface visualization | Applied sciences; GPU; Visualizing surfaces | 2016 | dissertation |
| 106 |
 |
Sun, Weibin | Harnessing GPU computing in system-level software | GPU; Network; Storage; System software | 2014-08 | dissertation |
| 107 |
 |
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 |
| 108 |
 |
Ha, Linh Khanh | High performance multiscale image processing framework on multi-gpus (graphics processing units) with applications to unbiased diffeomorphic atlas construction | Atlas construction; CUDA; Diffeomorphism; GPU; HPC; Medical image processing | 2011-08 | dissertation |
| 109 |
 |
Robison, Braden Devin | Hybrid scheduling for graph-based algorithm decomposition in high-performance computing environments | Computer Engineering; Computer science | 2014 | thesis |
| 110 |
 |
Phong, Bui Tuong | Illumination for Computer-Generated Images | 1973 | thesis | |
| 111 |
 |
Kirby, Richard | Image correspondences from perceived motion | 3D Reconstruction; Computer Vision; Graph Cuts; Optical Flow; Variational methods | 2017 | dissertation |
| 112 |
 |
Liu, Ting | Image segmentation with hierarchical models | Connectomics; Electron microscopy; Hierarchical models; Image segmentation; Machine learning; Semi-supervised learning | 2016 | dissertation |
| 113 |
 |
Quinn, Stephen Lorenzo | Improved context awareness in data-centric network management | 2019 | dissertation | |
| 114 |
 |
Hao, Xiang | Improved segmentation and analysis of white matter tracts based on adaptive geodesic tracking | Adaptive riemannian metrics; Diffusion weighted imaging; Fractional segmentation; Geodesic tracking; Image segmentation; White matter tracts | 2014-05 | dissertation |
| 115 |
 |
He, Shaobo | Improving automation and scalability of rigorous program reasoning | 2019 | dissertation | |
| 116 |
 |
Lyde, Steven | Improving control-flow analysis of higher-order languages | 2015 | dissertation | |
| 117 |
 |
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 |
| 118 |
 |
Huang, Ruihong | Improving information extraction by discourse-guided and multifaceted event recognition | 2014-12 | dissertation | |
| 119 |
 |
Nellans, David | Improving operating system and hardware interactions through co-design | 2014-12 | dissertation | |
| 120 |
 |
Almquist, Scott Tervor | Improving simulations for transcranial high-intensity focused ultrasound using the Hybrid angluar spectrum method | 2018 | dissertation | |
| 121 |
 |
Chen, Yang | Improving the utility of compiler fuzzers | Bug reporting; Compiler defect; Compiler testing; Random testing; Test-case minimization; Test-case reduction | 2014-05 | dissertation |
| 122 |
 |
Nguyen, Thanh Hoang | Integrating structured data on the web | 2013-05 | dissertation | |
| 123 |
 |
Summa, Brian Mark | Interactive digital photography at scale | 2013-05 | dissertation | |
| 124 |
 |
Widanagamaachchi, Wathsala | Interactive visualization and exploration of feature evolution in dynamic data | Computer science | 2017 | dissertation |
| 125 |
 |
Baek, Hyun-wook | Interparty visibility in a cloud computing platform | 2018 | dissertation |