121 search results - page 18 / 25 » Efficient algorithms for verifying memory consistency |
SAC
2008
ACM
14 years 11 months ago
2008
ACM
se a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to relations. Compared to points-to graphs, our Assign-Fetch Gra...
108
click to vote
AUTOMATICA
2010
14 years 10 months ago
2010
When a phenomenon is described by a parametric model and multiple datasets are available, a key problem in statistics is to discover which datasets are characterized by the same p...
184
click to vote
VLDB
2007
ACM
15 years 12 months ago
2007
ACM
This paper introduces a class of conditional inclusion dependencies (CINDs), which extends traditional inclusion dependencies (INDs) by enforcing bindings of semantically related ...
104
click to vote
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
Nowadays, the Grid is the focus of multiple researches. Our work is centered on Resource Management for Grids as it is an opened and current research area. Decentralized, scalable ...
JEI
2006
14 years 11 months ago
2006
To prevent large error accumulation in multiple image registration considering real-time applications, we propose a new fast global mosaic method using sequential block matching in...