PHYSICA D ELSEVIER Physica D196

First Page		Document Content
Date: 2008-10-19 22:21:21 Dynamical systems Lyapunov exponent Chaos theory Climate as complex networks Time series Control theory Coherence Nonlinear system		PHYSICA D ELSEVIER Physica D196 Add to Reading List Source URL: myweb.fsu.edu Download Document from Source Website File Size: 536,13 KB Share Document on Facebook

	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ DocID: 1xVDm - View Document
	Learning gem5 – Part III Modeling Cache Coherence with Ruby and SLICC Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/ DocID: 1xUst - View Document
	Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA. DocID: 1xUq9 - View Document
	CACHE COHERENCE DIRECTORIES FOR SCALABLE MULTIPROCESSORS Richard Simoni Technical Report: CSL-TROctober 1992 Computer Systems Laboratory DocID: 1vmKd - View Document
	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 DocID: 1vgLJ - View Document