3742 search results - page 560 / 749 » On the Use of Formal Techniques for Validation |
210
click to vote
TDSC
2011
15 years 1 months ago
2011
—The pervasive diffusion of mobile communication devices and the technical improvements of location techniques are fostering the development of new applications that use the phys...
164
click to vote
TIFS
2010
15 years 1 months ago
2010
Recently developed video editing techniques have enabled us to create realistic synthesized videos. Therefore, using video data as evidence in places such as courts of law requires...
242
click to vote
ICCV
2009
IEEE
16 years 5 months ago
2009
IEEE
Mutual information (MI) is a popular similarity metric
for multimodality image registration purpose. However,
it is negatively influenced by artifacts due to interpolation
effec...
174
click to vote
CAV
2007
Springer
16 years 20 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
181
click to vote
ASPLOS
2006
ACM
16 years 14 days ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...