Third International Competition on Runtime Verification CRV 2016 Giles Reger1 , Sylvain Hallé2 , and Yliès Falcone3 1

First Page		Document Content
Date: 2016-09-29 14:23:26 Computing Cross-platform software Logic in computer science Runtime verification Benchmark Standard Performance Evaluation Corporation Marq AspectJ Java Overclocking		Third International Competition on Runtime Verification CRV 2016 Giles Reger1 , Sylvain Hallé2 , and Yliès Falcone3 1 Add to Reading List Source URL: www.cs.man.ac.uk Download Document from Source Website File Size: 373,24 KB Share Document on Facebook

	Indigo Xtreme ™ Engineered Thermal Interface for SocketIntel Core™ i7 processors) Indigo Xtreme™ is an Engineered DocID: 1rp6N - View Document
	Indigo Xtreme ™ Engineered Thermal Interface for DocID: 1raAl - View Document
	Indigo Xtreme ™ Engineered Thermal Interface for Socket 1155 & 1156 (Intel Core™ i3, Core™ i5 and Core™ i7 processors) DocID: 1qx9a - View Document
	Indigo Xtreme ™ Engineered Thermal Interface for AMD FX,™ Phenom,™ and Athlon™ DocID: 1pKaE - View Document
	Indigo Xtreme ™ Engineered Thermal Interface for AMD Sockets AM2/3 DocID: 1pqnh - View Document