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

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

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

“… The aim of this work is the development and application of a partial evaluation procedure for rewriting-based functional logic programs …”
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