1682 search results - page 318 / 337 » A behavior model for persuasive design |
TC
2011
14 years 6 months ago
2011
— Implementing shared memory consistency models on top of hardware caches gives rise to the well-known cache coherence problem. The standard solution involves implementing cohere...
117
click to vote
KDD
2001
ACM
16 years 3 days ago
2001
ACM
Web Usage Mining (WUM), a natural application of data mining techniques to the data collected from user interactions with the web, has greatly concerned both academia and industry ...
100
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Byzantine consensus in asynchronous message-passing systems has been shown to require at least 3f + 1 processes to be solvable in several system models (e.g., with failure detecto...
111
click to vote
IEEEPACT
2006
IEEE
15 years 5 months ago
2006
IEEE
As chip multiprocessors (CMPs) become increasingly mainstream, architects have likewise become more interested in how best to share a cache hierarchy among multiple simultaneous t...
147
click to vote
CAV
1998
Springer
15 years 4 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...