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