Author | Title | Subject | Date | Publication Type | ||
---|---|---|---|---|---|---|
101 |
![]() |
Strum, Matt | Flowops: open access network management and operation | Municipal networks; Network framework; Network management; Open access network; Openflow; Software-defined network | 2013-12 | thesis |
102 |
![]() |
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 |
103 |
![]() |
Duan, Jianjun | Formal verification of device drivers in embedded systems | Device; Driver; Formal; Interrupt; Verification | 2013-12 | dissertation |
104 |
![]() |
Li, Guodong | Formal verification of programs and their transformations | Compiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving | 2010-12 | dissertation |
105 |
![]() |
Christensen, Cameron T. | Framework and model for interactive spatiotemporal data analysis and visualization systems | 2019 | thesis | |
106 |
![]() |
Kim, Mark | Gpu-enabled surface visualization | Applied sciences; GPU; Visualizing surfaces | 2016 | dissertation |
107 |
![]() |
Sun, Weibin | Harnessing GPU computing in system-level software | GPU; Network; Storage; System software | 2014-08 | dissertation |
108 |
![]() |
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 |
109 |
![]() |
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 |
110 |
![]() |
Robison, Braden Devin | Hybrid scheduling for graph-based algorithm decomposition in high-performance computing environments | Computer Engineering; Computer science | 2014 | thesis |
111 |
![]() |
Phong, Bui Tuong | Illumination for Computer-Generated Images | 1973 | thesis | |
112 |
![]() |
Kirby, Richard | Image correspondences from perceived motion | 3D Reconstruction; Computer Vision; Graph Cuts; Optical Flow; Variational methods | 2017 | dissertation |
113 |
![]() |
Liu, Ting | Image segmentation with hierarchical models | Connectomics; Electron microscopy; Hierarchical models; Image segmentation; Machine learning; Semi-supervised learning | 2016 | dissertation |
114 |
![]() |
Quinn, Stephen Lorenzo | Improved context awareness in data-centric network management | 2019 | dissertation | |
115 |
![]() |
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 |
116 |
![]() |
He, Shaobo | Improving automation and scalability of rigorous program reasoning | 2019 | dissertation | |
117 |
![]() |
Lyde, Steven | Improving control-flow analysis of higher-order languages | 2015 | dissertation | |
118 |
![]() |
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 |
119 |
![]() |
Huang, Ruihong | Improving information extraction by discourse-guided and multifaceted event recognition | 2014-12 | dissertation | |
120 |
![]() |
Nellans, David | Improving operating system and hardware interactions through co-design | 2014-12 | dissertation | |
121 |
![]() |
Almquist, Scott Tervor | Improving simulations for transcranial high-intensity focused ultrasound using the Hybrid angluar spectrum method | 2018 | dissertation | |
122 |
![]() |
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 |
123 |
![]() |
Nguyen, Thanh Hoang | Integrating structured data on the web | 2013-05 | dissertation | |
124 |
![]() |
Summa, Brian Mark | Interactive digital photography at scale | 2013-05 | dissertation | |
125 |
![]() |
Widanagamaachchi, Wathsala | Interactive visualization and exploration of feature evolution in dynamic data | Computer science | 2017 | dissertation |