3342 search results - page 235 / 669 » Symbolic Robustness Analysis |
176
click to vote
ICS
2005
Tsinghua U.
16 years 2 days ago
2005
Tsinghua U.
Previous studies have shown that array regrouping and structure splitting significantly improve data locality. The most effective technique relies on profiling every access to eve...
208
click to vote
INFSOF
2010
15 years 3 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
174
click to vote
CVPR
1997
IEEE
16 years 8 months ago
1997
IEEE
111 thi.) puper, we present un uutomutic. system fi,r UIIulyzing and unnotuting video sequences of trchnicrd tulks. Our method uses U robust motion estiniution tec,hnique tci dete...
161
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...
198
click to vote
QEST
2008
IEEE
16 years 29 days ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...