Microsoft Word - Coverage_and_Free_Software_Gasperonidoc - Microsoft hardware - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2011-12-15 13:49:09 Software testing Gcov Code coverage DO-178B QEMU GNU Compiler Collection Compiler optimization C Hardware virtualization Software Computing Programming language implementation		Microsoft Word - Coverage_and_Free_Software_Gasperonidoc Add to Reading List Source URL: www.adacore.com Download Document from Source Website File Size: 202,49 KB Share Document on Facebook

	Exploiting GPU Hardware Saturation for Fast Compiler Optimization Alberto Magni Christophe Dubach DocID: 1tIPP - View Document
	A Compiler for Throughput Optimization of Graph Algorithms on GPUs There is growing interest in raising the abstraction level for GPU programmers through the use of high-level programming notations and compiler technolog DocID: 1t4ls - View Document
	IBM Research - Tokyo Optimization of X10 Programs with ROSE Compiler Infrastructure Michihiro Horie†, Mikio Takeuchi†, Kiyokuni Kawachiya†, David Grove‡ †IBM Research - Tokyo DocID: 1sSbC - View Document
	Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA DocID: 1rsFQ - View Document
	Precise Automatable Analytical Modeling of the Cache Behavior of Codes with Indirections ´ DOALLO DIEGO ANDRADE, BASILIO B. FRAGUELA, and RAMON Universidade da Coruna DocID: 1rqme - View Document