2673 search results - page 100 / 535 » Guided Static Analysis |
103
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
126
Voted
ISPASS
2008
IEEE
15 years 7 months ago
2008
IEEE
—The potential for improving the performance of data-intensive scientific programs by enhancing data reuse in cache is substantial because CPUs are significantly faster than me...
101
click to vote
CC
2007
Springer
15 years 7 months ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
115
Voted
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
126
Voted
ICCV
2003
IEEE
16 years 3 months ago
2003
IEEE
Human identification at a distance has recently gained growing interest from computer vision researchers. This paper aims to propose a visual recognition algorithm based upon fusi...