Suchergebnisse - (automatic OR automatically) programming – program transformation. general terms algorithm

Distributed Optimal Coordination for Heterogeneous Linear Multiagent Systems von 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 …”
Volltext

Method of Automated Generation of Autotuners for Parallel Programs von 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 …”
Volltext

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

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

Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity von 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 …”
Volltext

PyBEST: Improved functionality and enhanced performance von 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ł

Volltext

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

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

Biological sequence analysis using Hadoop/MapReduce as a distributed computing model von Paudel, Roshan

“… Today, researchers and scientists have developed and tested many programming models for parallelizing and optimizing algorithms to decrease execution time and memory used …”
Volltext

Relational algebraic techniques for the synthesis of sparse matrix programs von Kotlyar, Vladimir

“… Second, for most algorithms, it takes a lot of code reorganization to produce an efficient sparse program that is tuned to a particular format …”
Volltext

GENERAL AND EFFICIENT METHODS FOR GLOBAL CODE IMPROVEMENT von WEGMAN, MARK N

“… A general framework is presented on which to prove simple theorems about programs automatically …”
Volltext

COMPUTATIONAL USES OF THE MANIPULATION OF FORMAL PROOFS von GOAD, CHRISTOPHER ALAN

“… has emphasized the use of formal proofs as evidence--as tools for automatically establishing the truth of propositions …”
Volltext