6293 search results - page 161 / 1259 » Information Flow Testing |
139
click to vote
CRV
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper presents an algorithm for the estimation of optical flow from a single, motion-blurred, color image. The proposed algorithm is based on earlier work that estimated the...
FORTE
2007
15 years 4 months ago
2007
Positive flows provide very useful informations that can be used to perform efficient analysis of a model. Although algorithms computing (a generative family of) positive flows i...
106
click to vote
INFSOF
2002
15 years 3 months ago
2002
Pointer analysis is an important part of source code analysis. Many programs that manipulate source code take points-to sets as part of their input. Points-to related data collect...
ENTCS
2008
15 years 3 months ago
2008
This paper describes the basic concepts of error diagnostics and an associated rule system whose application helps to identify potential hardware/software locations of errors whic...
125
Voted
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Monitoring the traffic in high-speed networks is a data intensive problem. Uniform packet sampling is the most popular technique for reducing the amount of data the network mo...