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

1 - 25 of 29

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	Channel routing for integrated optics	2013-01-01	Text
7	Deformation embedding for point-based elastoplastic simulation	2014-01-01	Text
8	Deriving abstract transfer functions for analyzing embedded software	2006-01-01	Text
9	Edicts: implementing features with flexible binding times	2008-01-01	Text
10	Efficient memory safety for TinyOS	2007-01-01	Text
11	Efficient search for inputs causing high floating-point errors	2014-01-01	Text
12	Efficient type and memory safety for tiny embedded systems	2006-01-01	Text
13	Eliminating stack overflow by abstract interpretation	2005-01-01	Text
14	Eliminating the call stack to save RAM	2009-01-01	Text
15	Evaluating the accuracy of size perception in real and virtual environments	2012-01-01	Text
16	Finding and understanding bugs in C compilers	2011-01-01	Text
17	Hierarchical schedulers, performance guarantees, and resource management	1999-01-01	Text
18	Interface contracts for TinyOS	2007-01-01	Text
19	Offline compression for on-chip RAM	2007-01-01	Text
20	Pluggable abstract domains for analyzing embedded software	2006-01-01	Text
21	Poster abstract: TinyOS 2.1 adding threads and memory protection to tinyOS	2008-01-01	Text
22	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
23	Radiation modeling using the Uintah heterogeneous CPU/GPU runtime system	2012-01-01	Text
24	Random testing of interrupt-driven software	2005-01-01	Text
25	Strain limiting for clustered shape matching	2014-01-01	Text

1 - 25 of 29

Year

Type

Format

Collection