TO
Filters: Department: "Computing" Format: "application/pdf" Publication Type: "dissertation" Collection: "ir_etd" Type: "Text"
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 51 |
 |
Shkurko, Konstantin | Dual streaming for hardware-accelerated Ray Tracing | 2019 | dissertation | |
| 52 |
 |
Vakkalanka, Sarvani | Efficient dynamic verification algorithms for MPI applications | Dynamic verification; MPI; Testing | 2010 | dissertation |
| 53 |
 |
Chiang, Wei-fan | Efficient floating-point error testing and rigorous mixed precision tuning | floating-point error testing; mixed-precision tuning; optimization; Computer science | 2016 | dissertation |
| 54 |
 |
Spjut, Josef Bo | Efficient ray tracing architectures | Computer architecture; Computer graphics; Graphics; Ray tracing; Rendering; Computer Engineering; Computer science | 2015-05 | dissertation |
| 55 |
 |
Jestes, Jeffrey | Efficient summarization techniques for massive data | Big data; Data analytics; Efficient queries; Massive data; Summaries; Computer science | 2013-12 | dissertation |
| 56 |
 |
Parker, Michael Allen | Efficient user-level event notification | Architecture; Interrupt; Message-passing; Notification; User-level; Computer science | 2013-08 | dissertation |
| 57 |
 |
Shevgoor, Manjunath | Enabling big memory with emerging technologies | computer architecture; DRAM; memory; Computer Engineering | 2016 | dissertation |
| 58 |
 |
Gebhardt, Daniel J. | Energy-efficient design of an asynchronous network-on-chip | Computer Engineering; Electrical engineering; Computer science | 2011-08 | dissertation |
| 59 |
 |
Dimjasevic, Marko | Enhancing automatic software testing for broader applicability | Computer science; Electrical engineering | 2018 | dissertation |
| 60 |
 |
Ricci, Robert Preston Riekenberg | Enhancing realism and scalability in network testbeds | Computer science | 2010 | dissertation |
| 61 |
 |
Nguyen, Binh Quang | Enhancing scalability and reliability in mobile core networks | Computer science | 2018 | dissertation |
| 62 |
 |
Agrawal, Praful | Estimating generative models for statistical shape analysis | 2020 | dissertation | |
| 63 |
 |
Ziemek, Tina Renee | Evaluating the effectiveness of orientation indicators with an awareness of individual differences | Orientation indicators | 2010-08 | dissertation |
| 64 |
 |
Premnath, Sriram Nandha | Exploiting cross layer opportunities for secrecy and efficiency in wireless networks | Cross layer; Dynamic spectrum access networks; Filterbank multicarrier; Secret key extraction; Wireless channel characteristics | 2013-05 | dissertation |
| 65 |
 |
Raman, Parasaran | Exploring the landscape of clusterings | Clustering; Data mining; Machine learning; Sampling | 2013-12 | dissertation |
| 66 |
 |
Daniels, Joel, II | Feature-aligned, semiregular, quad-only mesh generation | Computer graphics; Geometry processing; Mesh simplification; Quadrilateral meshing; Surface parameterization; Surface reconstruction | 2010 | dissertation |
| 67 |
 |
Wang, Dafang | Finite element solutions to inverse Electrocardiography | Cardiac electrophysiology; Finite element method; Inverse problem; Optimization; Partial differential equation; Scientific computing | 2012-12 | dissertation |
| 68 |
 |
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 |
| 69 |
 |
Duan, Jianjun | Formal verification of device drivers in embedded systems | Device; Driver; Formal; Interrupt; Verification | 2013-12 | dissertation |
| 70 |
 |
Li, Guodong | Formal verification of programs and their transformations | Compiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving | 2010-12 | dissertation |
| 71 |
 |
Kim, Mark | Gpu-enabled surface visualization | Applied sciences; GPU; Visualizing surfaces | 2016 | dissertation |
| 72 |
 |
Sun, Weibin | Harnessing GPU computing in system-level software | GPU; Network; Storage; System software | 2014-08 | dissertation |
| 73 |
 |
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 |
| 74 |
 |
Kirby, Richard | Image correspondences from perceived motion | 3D Reconstruction; Computer Vision; Graph Cuts; Optical Flow; Variational methods | 2017 | dissertation |
| 75 |
 |
Liu, Ting | Image segmentation with hierarchical models | Connectomics; Electron microscopy; Hierarchical models; Image segmentation; Machine learning; Semi-supervised learning | 2016 | dissertation |