Search Results - (automatically OR automation) 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

PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices by Yang, Zhaohui, Ding, Dawei, Zhu, Chenghong, Chen, Jianxin, Xie, Yuan

“…Variational quantum algorithms (VQA) based on Hamiltonian simulation represent a specialized class of quantum programs well-suited for near-term quantum…”
Get full text

Making model checking feasible for GOAL by Yang, Yi, Holvoet, Tom

“… Despite studies of model checking in other agent programming languages, GOAL lacks support for model checking of GOAL programs…”
Get full text

Formal Techniques for Development and Auto-tuning of Parallel Programs by Doroshenko, Anatoliy, Ivanenko, Pavlo, Yatsenko, Olena

“… Parallel programs are modeled in terms of high-level schemes represented in Glushkov’s system of algorithmic algebra and a concept of a transition system implemented in the term rewriting technique…”
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

On regular tree languages and deterministic pushdown automata by Janoušek, Jan, Melichar, Bořivoj

“… This paper presents a simple transformation from any given (bottom-up) finite tree automaton recognizing a regular tree language to a deterministic pushdown automaton accepting the same tree language in postfix notation…”
Get full text

Breakthroughstocks.net: EXPLOSIVE News On: (NASDAQ:CVLT) - (NASDAQ:JMBA) - (NASDAQ:GNBT)

“…A singular vision -- a belief in a better way to address current and future data and information management needs -- guides CommVault in the development of…”
Get full text

Biological sequence analysis using Hadoop/MapReduce as a distributed computing model by 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…”
Get full text

Relational algebraic techniques for the synthesis of sparse matrix programs by 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…”
Get full text

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

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

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

“…The aim of this work is the development and application of a partial evaluation procedure for rewriting-based functional logic programs…”
Get full text

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

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