51 - 75 of 162
Number of results to display per page
TitleSetnameType
51 Dual streaming for hardware-accelerated Ray Tracingir_etdText
52 Efficient dynamic verification algorithms for MPI applicationsir_etdText
53 Efficient floating-point error testing and rigorous mixed precision tuningir_etdText
54 Efficient ray tracing architecturesir_etdText
55 Efficient summarization techniques for massive datair_etdText
56 Efficient user-level event notificationir_etdText
57 Enabling big memory with emerging technologiesir_etdText
58 Energy-efficient design of an asynchronous network-on-chipir_etdText
59 Enhancing automatic software testing for broader applicabilityir_etdText
60 Enhancing realism and scalability in network testbedsir_etdText
61 Enhancing scalability and reliability in mobile core networksir_etdText
62 Estimating generative models for statistical shape analysisir_etdText
63 Evaluating the effectiveness of orientation indicators with an awareness of individual differencesir_etdText
64 Exploiting cross layer opportunities for secrecy and efficiency in wireless networksir_etdText
65 Exploring the landscape of clusteringsir_etdText
66 Feature-aligned, semiregular, quad-only mesh generationir_etdText
67 Finite element solutions to inverse Electrocardiographyir_etdText
68 Fluorender, an interactive tool for confocal microscopy data visualization and analysisir_etdText
69 Formal verification of device drivers in embedded systemsir_etdText
70 Formal verification of programs and their transformationsir_etdText
71 Gpu-enabled surface visualizationir_etdText
72 Harnessing GPU computing in system-level softwareir_etdText
73 High performance multiscale image processing framework on multi-gpus (graphics processing units) with applications to unbiased diffeomorphic atlas constructionir_etdText
74 Image correspondences from perceived motionir_etdText
75 Image segmentation with hierarchical modelsir_etdText
51 - 75 of 162