710 likes | 904 Vues
- 2 -. Sebastian Burckhardt. Verifying Token Coherence. Token Coherence is a novel approach for multiprocessor memory systems that reconciles the diverging requirements ofperformance / cost / verifiability. - 3 -. Sebastian Burckhardt. Verifying Token Coherence. Token Coherence is a novel approach
E N D