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

1 - 25 of 19

Gallery view

	Title	Date	Type
1	Eliminating the call stack to save RAM	2009-01-01	Text
2	Hierarchical schedulers, performance guarantees, and resource management	1999-01-01	Text
3	Offline compression for on-chip RAM	2007-01-01	Text
4	Radiation modeling using the Uintah heterogeneous CPU/GPU runtime system	2012-01-01	Text
5	Deriving abstract transfer functions for analyzing embedded software	2006-01-01	Text
6	Eliminating stack overflow by abstract interpretation	2005-01-01	Text
7	ARMor: fully verified software fault isolation	2011-01-01	Text
8	Channel routing for integrated optics	2013-01-01	Text
9	Atomicity and visibility in tiny embedded systems	2006-01-01	Text
10	Efficient type and memory safety for tiny embedded systems	2006-01-01	Text
11	Surviving sensor network software faults	2009-01-01	Text
12	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
13	Efficient memory safety for TinyOS	2007-01-01	Text
14	Edicts: implementing features with flexible binding times	2008-01-01	Text
15	Swarm testing	2012-01-01	Text
16	Interface contracts for TinyOS	2007-01-01	Text
17	A practical logic framework for verifying safety properties of executables	2011-01-01	Text
18	Random testing of interrupt-driven software	2005-01-01	Text
19	Pluggable abstract domains for analyzing embedded software	2006-01-01	Text

1 - 25 of 19