1054 search results - page 57 / 211 » From a Verified Kernel towards Verified Systems |
216
click to vote
WCRE
2008
IEEE
16 years 15 days ago
2008
IEEE
The new hybrid clone detection tool NICAD combines the strengths and overcomes the limitations of both textbased and AST-based clone detection techniques to yield highly accurate ...
163
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
132
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentia...
147
click to vote
CORR
2010
Springer
2010
Springer
Offline Signature Identification by Fusion of Multiple Classifiers using Statistical Learning Theory
15 years 6 months ago
This paper uses Support Vector Machines (SVM) to fuse multiple classifiers for an offline signature system. From the signature images, global and local features are extracted and ...
133
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
This paper validates a recognition system using bidimensional wavelet transforms as feature extractor and investigates the relevance of each subband image in the recognition proce...