Author | Title | Subject | Date | Publication Type | ||
---|---|---|---|---|---|---|
176 | Haran, Arvind | Program analyses for resilient and approximate computation | approximate computing; dynamic analysis; fault tolerance; HPC; resilience; static analysis | 2016 | thesis | |
177 | Scheidegger, Carols Eduardo | Provenance of exploratory tasks in scientific visualization: management and applications | 2014-05 | dissertation | ||
178 | Venkatesan, Vivek | Quantifying the impact of interblock wire-delays on processor performance | Microprocessors, Design and construction; Electronic circuit design | 2008-05 | thesis | |
179 | Shankar, Varun | Radial basis function-based numerical methods for the simulation of platelet aggregation | Forcing method; Immersed boundary method; Meshfree methods; Platelet aggregation; Radial basis Functions (RBFs) | 2014-08 | dissertation | |
180 | Yang, Xuejun | Random testing of open source C compilers | Compiler bugs; Compilers; Csmith; Gcc; llvm; Random testing | 2014-12 | dissertation | |
181 | Kopta, Daniel | Ray tracing from a data movement perspective | Computer Architecture; Ray Tracing | 2016 | dissertation | |
182 | Syed, Aisha | Realistic traffic shaping in dummynet link emulator | Dummynet; Emulation; Packet reordering; Reorder density; Simulation; Traffic shaping | 2014 | thesis | |
183 | King, James Sokhom | Reducing irregularities in control flow and memory access on graphics processing unit architectures | GPU; Linear Algebra; SIMD | 2017 | dissertation | |
184 | Bigelow, Alex | Reflections, models, and software for iterative visualization design | 2019 | dissertation | ||
185 | Kennington, Allen Russell | Relating users' reported comfort, necessity, and value in vignettes of sensor-equipped environments | 2020 | thesis | ||
186 | Lundrigan, Philip Brandon | Reliable real-time data upload for wireless networks | 2018 | dissertation | ||
187 | Liu, Wei | Resting state functional magnetic resonance imaging analysis by graphical model | Brain connectivity; Functional MRI; Graphical models | 2014-08 | dissertation | |
188 | Gritton, Christopher E. | Ringing instabilities in particle methods | Particle methods; Ringing instabilities | 2014-08 | thesis | |
189 | Fan, Xiuyi | Robot share: a framework for robot knowledge sharing | Robots; Artificial intelligence | 2009-05 | thesis | |
190 | Tang, Pingfan | Robust estimation and sketching of points, lines, trajectories, and other shapes | 2019 | dissertation | ||
191 | Zhang, Michael | Sbolexplorer: data infrastructure and data mining for genetic design repositories | 2019 | thesis | ||
192 | 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 | |
193 | Humphrey, Alan Parker | Scalable asynchronous many-task runtime solutions to globally coupled roblems | 2019 | dissertation | ||
194 | Vo, Anh | Scalable formal dynamic verification of MPI programs through distributed causality tracking | Causality tracking; Correctness checking; MPI; Verification | 2011-08 | dissertation | |
195 | Singh, Raghvendra | Scalable spatial scan statistics | Applied sciences | 2015 | thesis | |
196 | Maheshwari, Shobhi | Scheduling virtual wifi interfaces for high bandwidth video upstreaming using multipath TCP | 2018 | thesis | ||
197 | Kano, Makito | Seacat: an sdn end-to-end containment architecture | 2015-08 | thesis | ||
198 | Jurrus, Elizabeth | Segmentation of neurons from electron microscopy images | Artificial neural networks; Connectomics; Electron microscopy; Image processing; Machine learning; Segmentation | 2011-08 | dissertation | |
199 | Linton, Trevor Forbes | Semantic feature analysis in raster maps | Gestalt principles | 2009-06-15 | thesis | |
200 | Berger, Matthew | Shape analysis of defect-laden data | geometry processing; shape analysis; surface reconstruction | 2013-05 | dissertation |