Keyword:code generation

Papers
Towards the automatic optimization of geometric multigrid methods with evolutionary computation Jonas Schmitt, Sebastian Kuckuk and Harald Köstler EasyChair Preprint no. 778
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP Marc Dahlem, Anoop Bhagyanath and Klaus Schneider EasyChair Preprint no. 205
A Brief Introduction to the PVS2C Code Generator Natarajan Shankar In:Automated Formal Methods