Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
coherence verification approaches
biblio
Fractal++: Closing the performance gap between fractal and conventional coherence
Submitted by BrandonB on Wed, 05/06/2015 - 1:43pm
performance scalability
multicores
observational equivalence
optimization
parallel invalidations
parallel processing
partially-serial-invalidations
performance gap
performance optimizations
Multicore processing
protocol optimizations
Protocols
reply-forwarding
Scalability
single-socket system
state explosion
verification scalability
verification-constrained architectures
formal verification
cache coherence protocol bugs
cache storage
Coherence
coherence verification approaches
contention-hints
decoupled-replies
directory protocols
Erbium
32-core simulations
four-socket system
fractal coherence
fractal protocols
Fractal++
Fractals
fully-parallel-fractal-invalidations
indirect-communication
longer-latency multisocket system
