Sciweavers

470 search results - page 57 / 94
» Reading a Neural Code
Sort
View
ECOOP
2007
Springer
15 years 3 months ago
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
Patrice Chalin, Perry R. James
FAST
2008
15 years 2 months ago
EIO: Error Handling is Occasionally Correct
The reliability of file systems depends in part on how well they propagate errors. We develop a static analysis technique, EDP, that analyzes how file systems and storage device d...
Haryadi S. Gunawi, Cindy Rubio-González, An...
EUROCRYPT
2008
Springer
15 years 1 months ago
Detection of Algebraic Manipulation with Applications to Robust Secret Sharing and Fuzzy Extractors
Consider an abstract storage device (G) that can hold a single element x from a fixed, publicly known finite group G. Storage is private in the sense that an adversary does not hav...
Ronald Cramer, Yevgeniy Dodis, Serge Fehr, Carles ...
BCSHCI
2008
15 years 1 months ago
In search of tangible magic
This paper describes a small study of children's drawings in the context of tangible interaction. The study was intended to discover what children could draw that would indic...
Diana Yifan Xu, Janet C. Read, Robert Sheehan
FAST
2007
15 years 1 months ago
REO: A Generic RAID Engine and Optimizer
Present day applications that require reliable data storage use one of five commonly available RAID levels to protect against data loss due to media or disk failures. With a mark...
Deepak R. Kenchammana-Hosekote, Dingshan He, James...