Results 341 to 350 of about 223,297 (353)
Some of the next articles are maybe not open access.

Compiler validation via equivalence modulo inputs

ACM SIGPLAN Notices, 2014
Zhendong Su
exaly  

Compiler testing: a systematic literature analysis

Frontiers of Computer Science, 2019
Weiqiang Kong
exaly  

Milepost GCC: Machine Learning Enabled Self-tuning Compiler

International Journal of Parallel Programming, 2011
Grigori Fursin   +2 more
exaly  

Formal verification of a realistic compiler

Communications of the ACM, 2009
exaly  

A Formally Verified Compiler Back-end

Journal of Automated Reasoning, 2009
exaly  

The Design and Implementation of FFTW3

Proceedings of the IEEE, 2005
exaly  

Home - About - Disclaimer - Privacy