Coherence - PDFSEARCH.IO - Document Search Engine

Coherence
Results: 1615

#	Item
1	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26
2	Learning gem5 – Part III Modeling Cache Coherence with Ruby and SLICC Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/ Add to Reading List Source URL: learning.gem5.org Language: English - Date: 2018-09-17 11:50:25 Computing Computer architecture Computer engineering Cache coherence Cache coherency Concurrent computing Parallel computing Cache Controller CPU cache
3	Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA. Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:46:20 Computing Computer architecture Concurrent computing Formal methods Theoretical computer science Cache coherency Instruction set architectures Concurrency TLA+ Model checking Cache coherence Specification language
4	CACHE COHERENCE DIRECTORIES FOR SCALABLE MULTIPROCESSORS Richard Simoni Technical Report: CSL-TROctober 1992 Computer Systems Laboratory Add to Reading List Source URL: www-vlsi.stanford.edu Language: English - Date: 2009-05-29 13:24:50
5	A Memory Coherence Technique for Online Transient Error Recovery of FPGA Configurations Wei-Je Huang and Edward J. McCluskey CENTER FOR RELIABLE COMPUTING Computer Systems Laboratory, Department of Electrical Engineering Add to Reading List Source URL: crc.stanford.edu Language: English - Date: 2015-09-30 01:46:56
6	Revising for Style: Cohesion and Coherence Our handout on clarity and conciseness focuses on revising individual sentences. This handout moves from the sentence-level to the paragraph, offering tips on revising paragraph Add to Reading List Source URL: twp.duke.edu Language: English - Date: 2017-02-03 09:19:33
7	Coherence Workshop Program (tentative17th June 17::00 Registration Add to Reading List Source URL: rsc.riken.jp Language: English - Date: 2012-06-12 08:06:53
8	Conceptual Twist of Japanese Nuclear Policy: Its Ambivalence and Coherence Under the US Umbrella Add to Reading List Source URL: toda.org Language: English - Date: 2018-04-19 20:09:02
9	Macroscopic Quantum Tunneling and Coherence Joachim Ankerhold Institute for Theoretical Physics University of Ulm Germany Add to Reading List Source URL: www.matfys.lth.se Language: English - Date: 2007-08-23 13:12:16
10	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.sri.inf.ethz.ch Language: English - Date: 2018-05-15 09:28:45

UPDATE