UScholar Works
 
Filters: Department: "Kahlert School of Computing" Type: "Text"
1 - 25 of 25
Number of results to display per page
TitleDateType
1 A new family of variational-form-based regularizers for reconstructing epicardial potentials from body-surface mapping2010Text
2 A study of Pierce's group generator2010Text
3 CHOP: adaptive filter-based DRAM caching for CMP server platforms2010Text
4 Correctness proofs for device drivers in embedded systems2010Text
5 Indexing relations on the web2010Text
6 Towards scalable, energy-efficient, bus-based on-chip networks2010Text
7 High-rate uncorrelated bit extraction for shared secret key generation from channel measurements2010-01Text
8 On fast and accurate detection of unauthorized wireless access points using clock skews2010-03Text
9 Physically-based interactive schlieren flow visualization2010-03Text
10 A new framework for analyzing white matter maturation in early brain development2010-01-01Text
11 An integration of dynamic MPI formal verification within eclipse PTP2010-03-15Text
12 Comparing program logics for reasoning about safety properties2010-10-06Text
13 Computing hulls in positive definite space2010-10-06Text
14 crowdLabs: a provenance enabled web repository2010-03-15Text
15 Enhancing covert communications with multiple colluding receivers2010-10-06Text
16 Infinite Zoom2010-10-06Text
17 Patterns of patterns2010-03-15Text
18 PLT scheme as an intermediate language2010-02-26Text
19 PUG : A Symbolic Verifier of GPU Programs2010-10-06Text
20 Rethinking DRAM design and organization for energy-constrained multicores2010-03-15Text
21 Scalable scientific data2010-02-26Text
22 Secure disk scrubbing in a large-scale automated testbed2010-02-26Text
23 T-check: bug finding for sensor networks2010-02-26Text
24 Topology Based Surface Meshing and Morphing2010-10-06Text
25 Tracing ridges on B-Spline surfaces2010-02-26Text
1 - 25 of 25