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

1 - 25 of 30

Gallery view

	Title	Date	Type
1	A practical logic framework for verifying safety properties of executables	2011-01-01	Text
2	Animation of deformable bodies with quadratic bézier finite elements	2014-01-01	Text
3	Approximate Bregman near neighbors in sublinear time: beyond the triangle inequality	2012-01-01	Text
4	ARMor: fully verified software fault isolation	2011-01-01	Text
5	Atomicity and visibility in tiny embedded systems	2006-01-01	Text
6	Automatic and robust computation of 3D medial models incorporating object variability	2003-01-01	InteractiveResource
7	Channel routing for integrated optics	2013-01-01	Text
8	Deformation embedding for point-based elastoplastic simulation	2014-01-01	Text
9	Deriving abstract transfer functions for analyzing embedded software	2006-01-01	Text
10	Edicts: implementing features with flexible binding times	2008-01-01	Text
11	Efficient memory safety for TinyOS	2007-01-01	Text
12	Efficient search for inputs causing high floating-point errors	2014-01-01	Text
13	Efficient type and memory safety for tiny embedded systems	2006-01-01	Text
14	Eliminating stack overflow by abstract interpretation	2005-01-01	Text
15	Eliminating the call stack to save RAM	2009-01-01	Text
16	Evaluating the accuracy of size perception in real and virtual environments	2012-01-01	Text
17	Finding and understanding bugs in C compilers	2011-01-01	Text
18	Hierarchical schedulers, performance guarantees, and resource management	1999-01-01	Text
19	Interface contracts for TinyOS	2007-01-01	Text
20	Offline compression for on-chip RAM	2007-01-01	Text
21	Pluggable abstract domains for analyzing embedded software	2006-01-01	Text
22	Poster abstract: TinyOS 2.1 adding threads and memory protection to tinyOS	2008-01-01	Text
23	The problems you're having may not be the problems you think you're having: results from a latency study of windows NT	1999-01-01	Text
24	Radiation modeling using the Uintah heterogeneous CPU/GPU runtime system	2012-01-01	Text
25	Random testing of interrupt-driven software	2005-01-01	Text

1 - 25 of 30

Year

Type

Format

Collection