Model-based testing - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2008-01-04 09:06:40 Programming language implementation Computer programming Constraint programming Hardware verification languages Model-based testing Concolic testing Test Data Generation Compiler optimization Algorithm Computing Software engineering Software testing		Add to Reading List Source URL: sebastien.bardin.free.fr Download Document from Source Website File Size: 182,82 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