388 search results - page 50 / 78 » Program Analysis Using Symbolic Ranges |
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
The erasure resilience of rateless codes, such as Luby-Transform (LT) codes, makes them particularly suitable to a wide variety of loss-prone wireless and sensor network applicati...
BMCBI
2006
14 years 9 months ago
2006
Background: Comparing related structures and viewing the structures in the context of sequence alignments are important tasks in protein structure-function research. While many pr...
100
click to vote
PLDI
2012
ACM
13 years 5 days ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
ACSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
166
click to vote
ICIAR
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...