7 search results - page 2 / 2 » MADILIS, the Microsoft Access-Based Digital Library System |
PLDI
2003
ACM
14 years 4 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
CLEF
2006
Springer
13 years 10 months ago
2006
Springer
In this article, we present the algorithms and results of our participation in the medical image annotation and retrieval tasks of ImageCLEFmed 2006. We exploit both global featur...