2441 search results - page 245 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
135
click to vote
ISSTA
2009
ACM
16 years 8 hour ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
144
click to vote
ICPR
2002
IEEE
16 years 6 months ago
2002
IEEE
In this paper, a new technique is proposed for the automatic generation of a preview sequence of a feature film. The input video is decomposed into a number of basic components ca...
130
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
The work presented in this paper is intended to test crucial system services against stack overflow vulnerabilities. The focus of the test is the user-accessible variables, that i...
194
Voted
AUTOID
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we consider the problem of automatically detecting a facial symmetry axis in what we will call a standard human face image (acquired when the subject is looking dir...
157
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...