UScholar Works | Institutional Repository | J. Willard Marriott Digital Library

1 - 25 of 25

Gallery view

	Title	Date	Type
1	A new family of variational-form-based regularizers for reconstructing epicardial potentials from body-surface mapping	2010	Text
2	A study of Pierce's group generator	2010	Text
3	CHOP: adaptive filter-based DRAM caching for CMP server platforms	2010	Text
4	Correctness proofs for device drivers in embedded systems	2010	Text
5	Indexing relations on the web	2010	Text
6	Towards scalable, energy-efficient, bus-based on-chip networks	2010	Text
7	High-rate uncorrelated bit extraction for shared secret key generation from channel measurements	2010-01	Text
8	On fast and accurate detection of unauthorized wireless access points using clock skews	2010-03	Text
9	Physically-based interactive schlieren flow visualization	2010-03	Text
10	A new framework for analyzing white matter maturation in early brain development	2010-01-01	Text
11	An integration of dynamic MPI formal verification within eclipse PTP	2010-03-15	Text
12	Comparing program logics for reasoning about safety properties	2010-10-06	Text
13	Computing hulls in positive definite space	2010-10-06	Text
14	crowdLabs: a provenance enabled web repository	2010-03-15	Text
15	Enhancing covert communications with multiple colluding receivers	2010-10-06	Text
16	Infinite Zoom	2010-10-06	Text
17	Patterns of patterns	2010-03-15	Text
18	PLT scheme as an intermediate language	2010-02-26	Text
19	PUG : A Symbolic Verifier of GPU Programs	2010-10-06	Text
20	Rethinking DRAM design and organization for energy-constrained multicores	2010-03-15	Text
21	Scalable scientific data	2010-02-26	Text
22	Secure disk scrubbing in a large-scale automated testbed	2010-02-26	Text
23	T-check: bug finding for sensor networks	2010-02-26	Text
24	Topology Based Surface Meshing and Morphing	2010-10-06	Text
25	Tracing ridges on B-Spline surfaces	2010-02-26	Text

1 - 25 of 25

Year

Type

Format

Collection