Institutional Repository
 
Filters: Department: "Computing"
101 - 125 of 261
Number of results to display per page
TitleDateTypeSetname
101 Exploring the landscape of clusterings2013-12Textir_etd
102 Extending Support for Floating-Points in the Boogie and Smack Software Verifiers2019Textir_htoa
103 Eztrust: Network independent perimeterization for microservices2019Textir_etd
104 Feature-aligned, semiregular, quad-only mesh generation2010Textir_etd
105 Finite element solutions to inverse Electrocardiography2012-12Textir_etd
106 Flightcontroller2019Textir_etd
107 Flowops: open access network management and operation2013-12Textir_etd
108 Fluorender, an interactive tool for confocal microscopy data visualization and analysis2013-08Textir_etd
109 Formal verification of device drivers in embedded systems2013-12Textir_etd
110 Formal verification of programs and their transformations2010-12Textir_etd
111 Framework and model for interactive spatiotemporal data analysis and visualization systems2019Textir_etd
112 Fund Raising Game Development Through Crowdfunding2017Textir_htoa
113 Generating audio mixtures using deep convolutional neural networks2016-05Textir_htoa
114 Gpu-enabled surface visualization2016Textir_etd
115 Harnessing GPU computing in system-level software2014-08Textir_etd
116 Heuristics for efficient dynamic verification of message passing interface and thread programs2011-05Textir_etd
117 High performance multiscale image processing framework on multi-gpus (graphics processing units) with applications to unbiased diffeomorphic atlas construction2011-08Textir_etd
118 Hybrid scheduling for graph-based algorithm decomposition in high-performance computing environments2014Textir_etd
119 Illumination for Computer-Generated Images1973Textir_etd
120 Image correspondences from perceived motion2017Textir_etd
121 Image segmentation with hierarchical models2016Textir_etd
122 Improved context awareness in data-centric network management2019Textir_etd
123 Improved segmentation and analysis of white matter tracts based on adaptive geodesic tracking2014-05Textir_etd
124 Improving automation and scalability of rigorous program reasoning2019Textir_etd
125 Improving control-flow analysis of higher-order languages2015Textir_etd
101 - 125 of 261