51 - 75 of 147
Number of results to display per page
AuthorTitleSubjectDatePublication Type
51 Parker, Michael AllenEfficient user-level event notificationArchitecture; Interrupt; Message-passing; Notification; User-level; Computer science2013-08dissertation
52 Shevgoor, ManjunathEnabling big memory with emerging technologiescomputer architecture; DRAM; memory; Computer Engineering2016dissertation
53 Gebhardt, Daniel J.Energy-efficient design of an asynchronous network-on-chipComputer Engineering; Electrical engineering; Computer science2011-08dissertation
54 Dimjasevic, MarkoEnhancing automatic software testing for broader applicabilityComputer science; Electrical engineering2018dissertation
55 Ricci, Robert Preston RiekenbergEnhancing realism and scalability in network testbedsComputer science2010dissertation
56 Nguyen, Binh QuangEnhancing scalability and reliability in mobile core networksComputer science2018dissertation
57 Ziemek, Tina ReneeEvaluating the effectiveness of orientation indicators with an awareness of individual differencesOrientation indicators2010-08dissertation
58 Premnath, Sriram NandhaExploiting cross layer opportunities for secrecy and efficiency in wireless networksCross layer; Dynamic spectrum access networks; Filterbank multicarrier; Secret key extraction; Wireless channel characteristics2013-05dissertation
59 Raman, ParasaranExploring the landscape of clusteringsClustering; Data mining; Machine learning; Sampling2013-12dissertation
60 Daniels, Joel, IIFeature-aligned, semiregular, quad-only mesh generationComputer graphics; Geometry processing; Mesh simplification; Quadrilateral meshing; Surface parameterization; Surface reconstruction2010dissertation
61 Wang, DafangFinite element solutions to inverse ElectrocardiographyCardiac electrophysiology; Finite element method; Inverse problem; Optimization; Partial differential equation; Scientific computing2012-12dissertation
62 Wan, YongFluorender, an interactive tool for confocal microscopy data visualization and analysisAnatomical atlas; Biology application; Confocal microscopy; Visualization; Volume rendering2013-08dissertation
63 Duan, JianjunFormal verification of device drivers in embedded systemsDevice; Driver; Formal; Interrupt; Verification2013-12dissertation
64 Li, GuodongFormal verification of programs and their transformationsCompiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving2010-12dissertation
65 Kim, MarkGpu-enabled surface visualizationApplied sciences; GPU; Visualizing surfaces2016dissertation
66 Sun, WeibinHarnessing GPU computing in system-level softwareGPU; Network; Storage; System software2014-08dissertation
67 Ha, Linh KhanhHigh performance multiscale image processing framework on multi-gpus (graphics processing units) with applications to unbiased diffeomorphic atlas constructionAtlas construction; CUDA; Diffeomorphism; GPU; HPC; Medical image processing2011-08dissertation
68 Kirby, RichardImage correspondences from perceived motion3D Reconstruction; Computer Vision; Graph Cuts; Optical Flow; Variational methods2017dissertation
69 Liu, TingImage segmentation with hierarchical modelsConnectomics; Electron microscopy; Hierarchical models; Image segmentation; Machine learning; Semi-supervised learning2016dissertation
70 Hao, XiangImproved segmentation and analysis of white matter tracts based on adaptive geodesic trackingAdaptive riemannian metrics; Diffusion weighted imaging; Fractional segmentation; Geodesic tracking; Image segmentation; White matter tracts2014-05dissertation
71 Lyde, StevenImproving control-flow analysis of higher-order languages2015dissertation
72 Huang, RuihongImproving information extraction by discourse-guided and multifaceted event recognition2014-12dissertation
73 Nellans, DavidImproving operating system and hardware interactions through co-design2014-12dissertation
74 Almquist, Scott TervorImproving simulations for transcranial high-intensity focused ultrasound using the Hybrid angluar spectrum method2018dissertation
75 Chen, YangImproving the utility of compiler fuzzersBug reporting; Compiler defect; Compiler testing; Random testing; Test-case minimization; Test-case reduction2014-05dissertation
51 - 75 of 147