121 search results - page 8 / 25 » Efficient algorithms for verifying memory consistency |
TPHOL
2009
IEEE
15 years 6 months 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...
100
click to vote
ITRUST
2005
Springer
15 years 5 months ago
2005
Springer
The work presented in this paper consists in the development of a portable platform to protect the copyright and distribution rights of digital contents, and empirically demonstrat...
79
Voted
IJACTAICIT
2010
14 years 9 months ago
2010
In this article, a hybrid optimization method has been proposed consisting of modified ant colony systems (ACSs) and constrained nonlinear programming (NLP) to solve the problems ...
127
click to vote
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
State of the art methods for image and object re-
trieval exploit both appearance (via visual words) and
local geometry (spatial extent, relative pose). In large
scale problems,...
102
click to vote
CGF
2006
14 years 11 months ago
2006
We present a novel algorithm to compute cache-efficient layouts of bounding volume hierarchies (BVHs) of polygonal models. Our approach does not make any assumptions about the cac...