511 search results - page 46 / 103 » Spelling Correction Using Context |
122
Voted
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
This paper presents a method of learning and recognizing generic object categories using part-based spatial models. The models are multiscale, with a scene component that specifie...
RTSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
91
Voted
ISCA
2006
IEEE
15 years 6 months ago
2006
IEEE
Transactional Memory (TM), Thread-Level Speculation (TLS), and Checkpointed multiprocessors are three popular architectural techniques based on the execution of multiple, cooperat...
127
Voted
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
102
click to vote
ISORC
2009
IEEE
15 years 7 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...