203 search results - page 40 / 41 » Reconfigurable Sequential Consistency Algorithm |
AIPS
2010
13 years 5 months ago
2010
We introduce the Scanalyzer planning domain, a domain for classical planning which models the problem of automatic greenhouse logistic management. At its mathematical core, the Sc...
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
Data races indicate serious concurrency bugs such as order, atomicity, and sequential consistency violations. Races are difficult to find and fix, often manifesting only in deploy...
TPHOL
2009
IEEE
14 years 9 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...
WIRI
2005
IEEE
13 years 11 months ago
2005
IEEE
Recent research in mining user access patterns for predicting Web page requests focuses only on consecutive sequential Web page accesses, i.e., pages which are accessed by followi...
FCCM
2000
IEEE
13 years 10 months ago
2000
IEEE
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...