31686 search results - page 314 / 6338 » Resource typing in Guru |
105
click to vote
ICDAR
2005
IEEE
15 years 6 months ago
2005
IEEE
The ScatterType CAPTCHA, designed to resist character– segmentation attacks and shown to be highly legible to human readers, is analyzed for vulnerabilities and is offered for e...
100
Voted
WCRE
2005
IEEE
15 years 6 months ago
2005
IEEE
— Chuck is a new code browser that allows navigation of a code base along semantic structures, such as data-flow and higher-order control-flow relationships. Employing the fast...
120
click to vote
TLDI
2005
ACM
15 years 6 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
116
Voted
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
APLAS
2004
ACM
15 years 6 months ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...