Search Results - Automatic Programming – Program transformation. General Terms Algorithm

Distributed Optimal Coordination for Heterogeneous Linear Multiagent Systems by An, Liwei, Yang, Guang-Hong

“… Compared with the existing results where the structure constraints on local gradients or system matrices are required, the considered DOC framework is sufficiently general in the sense that no extra…”
Get full text

Method of Automated Generation of Autotuners for Parallel Programs by Ivanenko, P. A., Doroshenko, A. Yu

“…). The software implementation of this model is described in the form of a flexible software framework for automatic generation of autotuners using an underlain term rewriting system and expert…”
Get full text

Exploration of automatic optimization for CUDA programming by Al-Mouhamed, Mayez, ul Hassan Khan, Ayaz

“… CUDA (an extension to C) is most widely used parallel programming framework for general purpose GPU computations…”
Get full text

Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity by SNYERS, D, THAYSE, A

“… do) and proving theorems can be carried out by using the same approach. It is proved that the same transformations acting on P-functions can be interpreted in terms of binary program synthesis and of theorem proving…”
Get full text

PyBEST: Improved functionality and enhanced performance by Boguslawski, Katharina, Brzęk, Filip, Chakraborty, Rahul, Cieślak, Kacper, Jahani, Seyedehdelaram, Leszczyk, Aleksandra, Nowak, Artur, Sujkowski, Emil, Świerczyński, Julian, Ahmadkhani, Somayeh, Kędziera, Dariusz, Kriebel, Maximilian H., Żuchowski, Piotr Szymon, Tecmer, Paweł

Get full text

A constraint-based partial evaluator for functional logic programs and its application by Lafave, Laura

“…, into its framework.This work is the first to address the automatic specialisation of these functional logic programs…”
Get full text