Results 291 to 300 of about 230,052 (302)

A compiler for variational forms

ACM Transactions on Mathematical Software, 2006
Robert C Kirby, Katarina Logg
exaly  

HIPA^cc: A Domain-Specific Language and Compiler for Image Processing

IEEE Transactions on Parallel and Distributed Systems, 2016
Oliver Reiche, Frank Hannig, Jürgen Teich   +2 more
exaly  

Programming cells: towards an automated ‘Genetic Compiler’

Current Opinion in Biotechnology, 2010
Christopher A Voigt
exaly  

ALAMO: FPGA acceleration of deep learning algorithms with a modularized RTL compiler

The Integration VLSI Journal, 2018
Yu Cao, Jae-Sun Seo
exaly  

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, Yuriy Kashnikov, Olivier Temam   +2 more
exaly  

Formal verification of a realistic compiler

Communications of the ACM, 2009
exaly  

Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries

Proceedings of the IEEE, 2005
exaly  

A Formally Verified Compiler Back-end

Journal of Automated Reasoning, 2009
exaly