Author | Title | Subject | Date | Publication Type | ||
---|---|---|---|---|---|---|
151 | Tew, Kevin B. | Places: parallelism for racket | Message passing; Parallelism; Programming languages; Racket | 2013-08 | dissertation | |
152 | Li, Peng | Practical symbolic execution analysis and methodology for GPU programs | 2015-05 | dissertation | ||
153 | Pierson, Kyle David | Prediction of microstructurally small fatigue-crack growth using data-driven analysis and machine learning | 2019 | thesis | ||
154 | Sharma, Subodh | Predictive analysis of message passing applications | Dynamic verification; MPI; Predictive analysis | 2013-08 | dissertation | |
155 | Dimri, Anuj | Privacy enabled noise-free data collection in vehicular networks | 2018 | thesis | ||
156 | Preston, J; Samuel | Processing of MRI data for simulation and monitoring of drug delivery | Drug delivery systems | 2009-05-06 | thesis | |
157 | Haran, Arvind | Program analyses for resilient and approximate computation | approximate computing; dynamic analysis; fault tolerance; HPC; resilience; static analysis | 2016 | thesis | |
158 | Scheidegger, Carols Eduardo | Provenance of exploratory tasks in scientific visualization: management and applications | 2014-05 | dissertation | ||
159 | Venkatesan, Vivek | Quantifying the impact of interblock wire-delays on processor performance | Microprocessors, Design and construction; Electronic circuit design | 2008-05 | thesis | |
160 | 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 | |
161 | Yang, Xuejun | Random testing of open source C compilers | Compiler bugs; Compilers; Csmith; Gcc; llvm; Random testing | 2014-12 | dissertation | |
162 | Kopta, Daniel | Ray tracing from a data movement perspective | Computer Architecture; Ray Tracing | 2016 | dissertation | |
163 | Syed, Aisha | Realistic traffic shaping in dummynet link emulator | Dummynet; Emulation; Packet reordering; Reorder density; Simulation; Traffic shaping | 2014 | thesis | |
164 | King, James Sokhom | Reducing irregularities in control flow and memory access on graphics processing unit architectures | GPU; Linear Algebra; SIMD | 2017 | dissertation | |
165 | Bigelow, Alex | Reflections, models, and software for iterative visualization design | 2019 | dissertation | ||
166 | Lundrigan, Philip Brandon | Reliable real-time data upload for wireless networks | 2018 | dissertation | ||
167 | Liu, Wei | Resting state functional magnetic resonance imaging analysis by graphical model | Brain connectivity; Functional MRI; Graphical models | 2014-08 | dissertation | |
168 | Gritton, Christopher E. | Ringing instabilities in particle methods | Particle methods; Ringing instabilities | 2014-08 | thesis | |
169 | Fan, Xiuyi | Robot share: a framework for robot knowledge sharing | Robots; Artificial intelligence | 2009-05 | thesis | |
170 | Zhang, Michael | Sbolexplorer: data infrastructure and data mining for genetic design repositories | 2019 | thesis | ||
171 | 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 | |
172 | Humphrey, Alan Parker | Scalable asynchronous many-task runtime solutions to globally coupled roblems | 2019 | dissertation | ||
173 | Vo, Anh | Scalable formal dynamic verification of MPI programs through distributed causality tracking | Causality tracking; Correctness checking; MPI; Verification | 2011-08 | dissertation | |
174 | Singh, Raghvendra | Scalable spatial scan statistics | Applied sciences | 2015 | thesis | |
175 | Maheshwari, Shobhi | Scheduling virtual wifi interfaces for high bandwidth video upstreaming using multipath TCP | 2018 | thesis |