251 search results - page 7 / 51 » Retrenchment, Refinement, and Simulation |
ACTA
2006
13 years 7 months ago
2006
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
This paper describes a pilot study of a computer simulation called WIIS, which is designed to extend students' learning experience of the sizes of the objects beyond human vi...
FSTTCS
2004
Springer
13 years 11 months ago
2004
Springer
A separation context is a client program which does not dereference internals of a module with which it interacts. We use certain "precise" relations to unambiguously des...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
—In this paper, a new error concealment algorithm by recursive motion vector refinement is proposed. The proposed method utilizes the top/bottom motion vectors of lost MB in curr...
FMCAD
2009
Springer
13 years 11 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...