Výsledky vyhledávání - (automatically OR automatizace) programming – program transformation. general terms algorithm*

Biological sequence analysis using Hadoop/MapReduce as a distributed computing model Autor 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…”
Získat plný text

Relational algebraic techniques for the synthesis of sparse matrix programs Autor 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…”
Získat plný text

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

“…The aim of this work is the development and application of a partial evaluation procedure for rewriting-based functional logic programs…”
Získat plný text

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

“… A general framework is presented on which to prove simple theorems about programs automatically…”
Získat plný text

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

“… has emphasized the use of formal proofs as evidence--as tools for automatically establishing the truth of propositions…”
Získat plný text