1880 search results - page 79 / 376 » A Static Analysis for Beta-Binders |
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...
WCET
2007
15 years 28 days ago
2007
We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded ...
104
click to vote
ICIP
2006
IEEE
15 years 5 months ago
2006
IEEE
Cued Speech is a specific visual coding that complements oral language lip-reading, by adding static hand gestures (a static gesture can be presented on a single photograph as it ...
129
click to vote
ASIAN
2009
Springer
15 years 27 days ago
2009
Springer
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...
107
click to vote
ICPR
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper, a novel design of external force for snake is proposed. This kind of external force is actually a field, which we call the Simulated Static Electric Field (SSEF). T...