13 search results - page 3 / 3 » An Analysis of SAFER |
POPL
2006
ACM
14 years 5 months ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
SIGIR
2009
ACM
13 years 11 months ago
2009
ACM
Most retrieval models estimate the relevance of each document to a query and rank the documents accordingly. However, such an approach ignores the uncertainty associated with the ...
TMI
2010
13 years 3 months ago
2010
—This paper provides a framework for generating high resolution time sequences of 3D images that show the dynamics of cerebral blood flow. These sequences have the potential to ...