Theses & Dissertations
 
Filters: Department: "Computing" Collection: "ir_etd"
101 - 125 of 243
Number of results to display per page
TitleSetnameType
101 Flowops: open access network management and operationir_etdText
102 Fluorender, an interactive tool for confocal microscopy data visualization and analysisir_etdText
103 Formal verification of device drivers in embedded systemsir_etdText
104 Formal verification of programs and their transformationsir_etdText
105 Framework and model for interactive spatiotemporal data analysis and visualization systemsir_etdText
106 Gpu-enabled surface visualizationir_etdText
107 Harnessing GPU computing in system-level softwareir_etdText
108 Heuristics for efficient dynamic verification of message passing interface and thread programsir_etdText
109 High performance multiscale image processing framework on multi-gpus (graphics processing units) with applications to unbiased diffeomorphic atlas constructionir_etdText
110 Hybrid scheduling for graph-based algorithm decomposition in high-performance computing environmentsir_etdText
111 Illumination for Computer-Generated Imagesir_etdText
112 Image correspondences from perceived motionir_etdText
113 Image segmentation with hierarchical modelsir_etdText
114 Improved context awareness in data-centric network managementir_etdText
115 Improved segmentation and analysis of white matter tracts based on adaptive geodesic trackingir_etdText
116 Improving automation and scalability of rigorous program reasoningir_etdText
117 Improving control-flow analysis of higher-order languagesir_etdText
118 Improving high-performance sparse libraries using compiler assisted specialization: a PETSC (portable, extensible toolkit for scientific computation) case studyir_etdText
119 Improving information extraction by discourse-guided and multifaceted event recognitionir_etdText
120 Improving operating system and hardware interactions through co-designir_etdText
121 Improving simulations for transcranial high-intensity focused ultrasound using the Hybrid angluar spectrum methodir_etdText
122 Improving the utility of compiler fuzzersir_etdText
123 Integrating structured data on the webir_etdText
124 Interactive digital photography at scaleir_etdText
125 Interactive visualization and exploration of feature evolution in dynamic datair_etdText
101 - 125 of 243