76 - 100 of 217
Number of results to display per page
AuthorTitleSubjectDatePublication Type
76 Dimjasevic, MarkoEnhancing automatic software testing for broader applicabilityComputer science; Electrical engineering2018dissertation
77 Clark, Michael R.Enhancing covert communications with colluding receiversCommunications; Covert; Computer science2010thesis
78 Ricci, Robert Preston RiekenbergEnhancing realism and scalability in network testbedsComputer science2010dissertation
79 Maheshwari, ManasEnhancing reliability in device-free localizationDevice free localization; Localization; Security; Sensor networks; Tracking; Computer science2011-08thesis
80 Nguyen, Binh QuangEnhancing scalability and reliability in mobile core networksComputer science2018dissertation
81 Ziemek, Tina ReneeEvaluating the effectiveness of orientation indicators with an awareness of individual differencesOrientation indicators2010-08dissertation
82 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
83 Pokkunuri, Rama Krishna SandeepExploiting example structure in multiple instance learningCutting plane optimization; Machine learning; Multiple instance learning; Structured prediction2011-05thesis
84 Lakshmane Gowda, PrarthanaExploring bluetooth for received signal strength indicator-based secret key extractionAndroid; Bluetooth; RSSI; Secret keys2012-12thesis
85 Raman, ParasaranExploring the landscape of clusteringsClustering; Data mining; Machine learning; Sampling2013-12dissertation
86 Zaheer, ZirakEztrust: Network independent perimeterization for microservices2019thesis
87 Daniels, Joel, IIFeature-aligned, semiregular, quad-only mesh generationComputer graphics; Geometry processing; Mesh simplification; Quadrilateral meshing; Surface parameterization; Surface reconstruction2010dissertation
88 Wang, DafangFinite element solutions to inverse ElectrocardiographyCardiac electrophysiology; Finite element method; Inverse problem; Optimization; Partial differential equation; Scientific computing2012-12dissertation
89 Territo, Matthew JosephFlightcontroller2019thesis
90 Strum, MattFlowops: open access network management and operationMunicipal networks; Network framework; Network management; Open access network; Openflow; Software-defined network2013-12thesis
91 Wan, YongFluorender, an interactive tool for confocal microscopy data visualization and analysisAnatomical atlas; Biology application; Confocal microscopy; Visualization; Volume rendering2013-08dissertation
92 Duan, JianjunFormal verification of device drivers in embedded systemsDevice; Driver; Formal; Interrupt; Verification2013-12dissertation
93 Li, GuodongFormal verification of programs and their transformationsCompiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving2010-12dissertation
94 Christensen, Cameron T.Framework and model for interactive spatiotemporal data analysis and visualization systems2019thesis
95 Kim, MarkGpu-enabled surface visualizationApplied sciences; GPU; Visualizing surfaces2016dissertation
96 Sun, WeibinHarnessing GPU computing in system-level softwareGPU; Network; Storage; System software2014-08dissertation
97 Chiang, Wei-FanHeuristics for efficient dynamic verification of message passing interface and thread programsDynamic verification; Heuristic; MPI programs; Thread programs2011-05thesis
98 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
99 Robison, Braden DevinHybrid scheduling for graph-based algorithm decomposition in high-performance computing environmentsComputer Engineering; Computer science2014thesis
100 Phong, Bui TuongIllumination for Computer-Generated Images1973thesis
76 - 100 of 217