51 - 75 of 162
Number of results to display per page
TitleDateType
51 Dual streaming for hardware-accelerated Ray Tracing2019Text
52 Efficient dynamic verification algorithms for MPI applications2010Text
53 Efficient floating-point error testing and rigorous mixed precision tuning2016Text
54 Efficient ray tracing architectures2015-05Text
55 Efficient summarization techniques for massive data2013-12Text
56 Efficient user-level event notification2013-08Text
57 Enabling big memory with emerging technologies2016Text
58 Energy-efficient design of an asynchronous network-on-chip2011-08Text
59 Enhancing automatic software testing for broader applicability2018Text
60 Enhancing realism and scalability in network testbeds2010Text
61 Enhancing scalability and reliability in mobile core networks2018Text
62 Estimating generative models for statistical shape analysis2020Text
63 Evaluating the effectiveness of orientation indicators with an awareness of individual differences2010-08Text
64 Exploiting cross layer opportunities for secrecy and efficiency in wireless networks2013-05Text
65 Exploring the landscape of clusterings2013-12Text
66 Feature-aligned, semiregular, quad-only mesh generation2010Text
67 Finite element solutions to inverse Electrocardiography2012-12Text
68 Fluorender, an interactive tool for confocal microscopy data visualization and analysis2013-08Text
69 Formal verification of device drivers in embedded systems2013-12Text
70 Formal verification of programs and their transformations2010-12Text
71 Gpu-enabled surface visualization2016Text
72 Harnessing GPU computing in system-level software2014-08Text
73 High performance multiscale image processing framework on multi-gpus (graphics processing units) with applications to unbiased diffeomorphic atlas construction2011-08Text
74 Image correspondences from perceived motion2017Text
75 Image segmentation with hierarchical models2016Text
51 - 75 of 162