151 - 175 of 217
Number of results to display per page
AuthorTitleSubjectDatePublication Type
151 Tew, Kevin B.Places: parallelism for racketMessage passing; Parallelism; Programming languages; Racket2013-08dissertation
152 Li, PengPractical symbolic execution analysis and methodology for GPU programs2015-05dissertation
153 Pierson, Kyle DavidPrediction of microstructurally small fatigue-crack growth using data-driven analysis and machine learning2019thesis
154 Sharma, SubodhPredictive analysis of message passing applicationsDynamic verification; MPI; Predictive analysis2013-08dissertation
155 Dimri, AnujPrivacy enabled noise-free data collection in vehicular networks2018thesis
156 Preston, J; SamuelProcessing of MRI data for simulation and monitoring of drug deliveryDrug delivery systems2009-05-06thesis
157 Haran, ArvindProgram analyses for resilient and approximate computationapproximate computing; dynamic analysis; fault tolerance; HPC; resilience; static analysis2016thesis
158 Scheidegger, Carols EduardoProvenance of exploratory tasks in scientific visualization: management and applications2014-05dissertation
159 Venkatesan, VivekQuantifying the impact of interblock wire-delays on processor performanceMicroprocessors, Design and construction; Electronic circuit design2008-05thesis
160 Shankar, VarunRadial basis function-based numerical methods for the simulation of platelet aggregationForcing method; Immersed boundary method; Meshfree methods; Platelet aggregation; Radial basis Functions (RBFs)2014-08dissertation
161 Yang, XuejunRandom testing of open source C compilersCompiler bugs; Compilers; Csmith; Gcc; llvm; Random testing2014-12dissertation
162 Kopta, DanielRay tracing from a data movement perspectiveComputer Architecture; Ray Tracing2016dissertation
163 Syed, AishaRealistic traffic shaping in dummynet link emulatorDummynet; Emulation; Packet reordering; Reorder density; Simulation; Traffic shaping2014thesis
164 King, James SokhomReducing irregularities in control flow and memory access on graphics processing unit architecturesGPU; Linear Algebra; SIMD2017dissertation
165 Bigelow, AlexReflections, models, and software for iterative visualization design2019dissertation
166 Lundrigan, Philip BrandonReliable real-time data upload for wireless networks2018dissertation
167 Liu, WeiResting state functional magnetic resonance imaging analysis by graphical modelBrain connectivity; Functional MRI; Graphical models2014-08dissertation
168 Gritton, Christopher E.Ringing instabilities in particle methodsParticle methods; Ringing instabilities2014-08thesis
169 Fan, XiuyiRobot share: a framework for robot knowledge sharingRobots; Artificial intelligence2009-05thesis
170 Zhang, MichaelSbolexplorer: data infrastructure and data mining for genetic design repositories2019thesis
171 Luitjens, Justin PaulThe scalability of parallel adaptive mesh refinement within UintahAdaptive mesh refinement; Load balancing; Parallel; Regridding; Scalability; Simulation; Uintah2010-08dissertation
172 Humphrey, Alan ParkerScalable asynchronous many-task runtime solutions to globally coupled roblems2019dissertation
173 Vo, AnhScalable formal dynamic verification of MPI programs through distributed causality trackingCausality tracking; Correctness checking; MPI; Verification2011-08dissertation
174 Singh, RaghvendraScalable spatial scan statisticsApplied sciences2015thesis
175 Maheshwari, ShobhiScheduling virtual wifi interfaces for high bandwidth video upstreaming using multipath TCP2018thesis
151 - 175 of 217