176 - 200 of 243
Number of results to display per page
AuthorTitleSubjectDatePublication Type
176 Haran, ArvindProgram analyses for resilient and approximate computationapproximate computing; dynamic analysis; fault tolerance; HPC; resilience; static analysis2016thesis
177 Scheidegger, Carols EduardoProvenance of exploratory tasks in scientific visualization: management and applications2014-05dissertation
178 Venkatesan, VivekQuantifying the impact of interblock wire-delays on processor performanceMicroprocessors, Design and construction; Electronic circuit design2008-05thesis
179 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
180 Yang, XuejunRandom testing of open source C compilersCompiler bugs; Compilers; Csmith; Gcc; llvm; Random testing2014-12dissertation
181 Kopta, DanielRay tracing from a data movement perspectiveComputer Architecture; Ray Tracing2016dissertation
182 Syed, AishaRealistic traffic shaping in dummynet link emulatorDummynet; Emulation; Packet reordering; Reorder density; Simulation; Traffic shaping2014thesis
183 King, James SokhomReducing irregularities in control flow and memory access on graphics processing unit architecturesGPU; Linear Algebra; SIMD2017dissertation
184 Bigelow, AlexReflections, models, and software for iterative visualization design2019dissertation
185 Kennington, Allen RussellRelating users' reported comfort, necessity, and value in vignettes of sensor-equipped environments2020thesis
186 Lundrigan, Philip BrandonReliable real-time data upload for wireless networks2018dissertation
187 Liu, WeiResting state functional magnetic resonance imaging analysis by graphical modelBrain connectivity; Functional MRI; Graphical models2014-08dissertation
188 Gritton, Christopher E.Ringing instabilities in particle methodsParticle methods; Ringing instabilities2014-08thesis
189 Fan, XiuyiRobot share: a framework for robot knowledge sharingRobots; Artificial intelligence2009-05thesis
190 Tang, PingfanRobust estimation and sketching of points, lines, trajectories, and other shapes2019dissertation
191 Zhang, MichaelSbolexplorer: data infrastructure and data mining for genetic design repositories2019thesis
192 Luitjens, Justin PaulThe scalability of parallel adaptive mesh refinement within UintahAdaptive mesh refinement; Load balancing; Parallel; Regridding; Scalability; Simulation; Uintah2010-08dissertation
193 Humphrey, Alan ParkerScalable asynchronous many-task runtime solutions to globally coupled roblems2019dissertation
194 Vo, AnhScalable formal dynamic verification of MPI programs through distributed causality trackingCausality tracking; Correctness checking; MPI; Verification2011-08dissertation
195 Singh, RaghvendraScalable spatial scan statisticsApplied sciences2015thesis
196 Maheshwari, ShobhiScheduling virtual wifi interfaces for high bandwidth video upstreaming using multipath TCP2018thesis
197 Kano, MakitoSeacat: an sdn end-to-end containment architecture2015-08thesis
198 Jurrus, ElizabethSegmentation of neurons from electron microscopy imagesArtificial neural networks; Connectomics; Electron microscopy; Image processing; Machine learning; Segmentation2011-08dissertation
199 Linton, Trevor ForbesSemantic feature analysis in raster mapsGestalt principles2009-06-15thesis
200 Berger, MatthewShape analysis of defect-laden datageometry processing; shape analysis; surface reconstruction2013-05dissertation
176 - 200 of 243