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