UScholar Works
 
Filters: Publisher: "Association for Computing Machinery" Year End: 2012
1 - 25 of 25
Number of results to display per page
TitleDateType
1 A practical logic framework for verifying safety properties of executables2011-01-01Text
2 Approximate Bregman near neighbors in sublinear time: beyond the triangle inequality2012-01-01Text
3 ARMor: fully verified software fault isolation2011-01-01Text
4 Atomicity and visibility in tiny embedded systems2006-01-01Text
5 Automatic and robust computation of 3D medial models incorporating object variability2003-01-01InteractiveResource
6 Deriving abstract transfer functions for analyzing embedded software2006-01-01Text
7 Edicts: implementing features with flexible binding times2008-01-01Text
8 Efficient memory safety for TinyOS2007-01-01Text
9 Efficient type and memory safety for tiny embedded systems2006-01-01Text
10 Eliminating stack overflow by abstract interpretation2005-01-01Text
11 Eliminating the call stack to save RAM2009-01-01Text
12 Evaluating the accuracy of size perception in real and virtual environments2012-01-01Text
13 Finding and understanding bugs in C compilers2011-01-01Text
14 Hierarchical schedulers, performance guarantees, and resource management1999-01-01Text
15 Interface contracts for TinyOS2007-01-01Text
16 Offline compression for on-chip RAM2007-01-01Text
17 Pluggable abstract domains for analyzing embedded software2006-01-01Text
18 Poster abstract: TinyOS 2.1 adding threads and memory protection to tinyOS2008-01-01Text
19 The problems you're having may not be the problems you think you're having: results from a latency study of windows NT1999-01-01Text
20 Radiation modeling using the Uintah heterogeneous CPU/GPU runtime system2012-01-01Text
21 Random testing of interrupt-driven software2005-01-01Text
22 Surviving sensor network software faults2009-01-01Text
23 Swarm testing2012-01-01Text
24 Test-case reduction for C compiler bugs2012-01-01Text
25 Volatiles are miscompiled, and what to do about it2008-01-01Text
1 - 25 of 25