3424 search results - page 638 / 685 » Automated Testing of Classes |
151
click to vote
LICS
2009
IEEE
16 years 18 days ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
157
click to vote
TPHOL
2009
IEEE
16 years 17 days ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
137
click to vote
SOUPS
2009
ACM
16 years 13 days ago
2009
ACM
We present a technique for using content-based video labeling as a CAPTCHA task. Our CAPTCHAs are generated from YouTube videos, which contain labels (tags) supplied by the person...
170
click to vote
VLSID
2008
IEEE
16 years 10 days ago
2008
IEEE
It is well-known that varying architectural, technological and implementation aspects of embedded microprocessors, such as ARM, can produce widely differing performance and power ...
173
click to vote
TPHOL
2007
IEEE
16 years 6 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...