1 - 25 of 26
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 ABP : predictor based management of DRAM row buffers2010-10-06InteractiveResource
12 An integration of dynamic MPI formal verification within eclipse PTP2010-03-15Text
13 Comparing program logics for reasoning about safety properties2010-10-06Text
14 Computing hulls in positive definite space2010-10-06Text
15 crowdLabs: a provenance enabled web repository2010-03-15Text
16 Enhancing covert communications with multiple colluding receivers2010-10-06Text
17 Infinite Zoom2010-10-06Text
18 Patterns of patterns2010-03-15Text
19 PLT scheme as an intermediate language2010-02-26Text
20 PUG : A Symbolic Verifier of GPU Programs2010-10-06Text
21 Rethinking DRAM design and organization for energy-constrained multicores2010-03-15Text
22 Scalable scientific data2010-02-26Text
23 Secure disk scrubbing in a large-scale automated testbed2010-02-26Text
24 T-check: bug finding for sensor networks2010-02-26Text
25 Topology Based Surface Meshing and Morphing2010-10-06Text
1 - 25 of 26