1 - 25 of 20
Number of results to display per page
TitleSetnameType
1 ABP : predictor based management of DRAM row buffersir_uspaceInteractiveResource
2 Comparing program logics for reasoning about safety propertiesir_uspaceText; Image
3 Computing hulls in positive definite spaceir_uspaceText; Image
4 Efficient data restructuring and aggregation for I/O acceleration in PIDXir_uspaceText
5 Enhancing covert communications with multiple colluding receiversir_uspaceText; Image
6 Exploring Knowledge-Rich Solutions to Noun Phrase Coreference Resolutionir_uspaceText; Image
7 Finding compiler bugs with random testingir_uspaceText; Image
8 Helmholtz-Hodge Decomposition of vector fields on 2-manifoldsir_uspaceText; Image
9 Image registrationir_uspaceText; Image
10 Infinite Zoomir_uspaceText; Image
11 Matching shapes using the current distanceir_uspaceText; Image
12 Mobility Assisted Secret Key Generationir_uspaceText; Image
13 Morse theory and its applicationir_uspaceText; Image
14 Optimizing Inverse Electrocardiographic Problem: Hybrid and High-Order Finite Element Methodir_uspaceText; Image
15 PUG : A Symbolic Verifier of GPU Programsir_uspaceText; Image
16 Remote visualizationir_uspaceText; Image
17 Scalable scientific datair_uspaceText; Image
18 Tracing ridges on B-Spline surfacesir_uspaceText; Image
19 Uncertainty visualization in forward and inverse cardiac modelsir_uspaceText
20 Understanding global climate changeir_uspaceText; Image
1 - 25 of 20