Software Verification for Weak Memory via Program Transformation⋆ Jade Alglave1,2 , Daniel Kroening2, Vincent Nimal2 , and Michael Tautschnig2,3 1 3

First Page		Document Content
Date: 2013-01-23 08:25:46 Memory Neuropsychological assessment Cognitive science Epistemology Microcontrollers Computer display standards Integrated circuits		Software Verification for Weak Memory via Program Transformation⋆ Jade Alglave1,2 , Daniel Kroening2, Vincent Nimal2 , and Michael Tautschnig2,3 1 3 Add to Reading List Source URL: www0.cs.ucl.ac.uk Download Document from Source Website File Size: 364,01 KB Share Document on Facebook

	TECHNOLOGY OFFER OPTICAL DIODE Integrated optical circuits and sensitive optical components such as semiconductor laser diodes must be protected from back reflection. A conventional solution to this problem is Faraday op DocID: 1vqOm - View Document
	Synthetic Biology: Integrated Gene Circuits Nagarajan Nandagopal, et al. Science 333, ); DOI: scienceThis copy is for your personal, non-commercial use only. DocID: 1vbsA - View Document
	i AN EFFICIENT I/O AND CLOCK RECOVERY DESIGN FOR TERABIT INTEGRATED CIRCUITS A DISSERTATION DocID: 1v27h - View Document
	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 26, NO. 7, JULYSynthesis of Timed Circuits Based on Decomposition Tomohiro Yoneda, Member, IEEE, and Chris J. Myers, Senior Mem DocID: 1uNnn - View Document
	1042 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 29, NO. 7, JULY 2010 Time-Stepping Numerical Simulation of Switched Circuits Within the Nonsmooth Dynamical DocID: 1ut9H - View Document