88 search results - page 17 / 18 » Fractal Coherence: Scalably Verifiable Cache Coherence |
FORTE
1997
13 years 8 months ago
1997
c Checking of Aggregation Abstractions Through State Enumeration Seungjoon Park, Member, IEEE, Satyaki Das, and David L. Dill, Member, IEEE —Aggregation abstraction is a way of d...
ICPP
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper presents COBRA (Continuous Binary ReAdaptation), a runtime binary optimization framework, for multithreaded applications. It is currently implemented on Itanium 2 based...
ACMSE
2005
ACM
14 years 28 days ago
2005
ACM
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...
CF
2010
ACM
14 years 14 days ago
2010
ACM
Per-core local (scratchpad) memories allow direct inter-core communication, with latency and energy advantages over coherent cache-based communication, especially as CMP architect...
HIPC
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. In this work we put into evidence how the memory performance of a WebServer machine may depend on the sharing induced by process migration. We considered a shared-bus sha...