Keyword:code generation

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