Suchergebnisse - (automation OR automatic) 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

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

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

PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices von 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 …”
Volltext

Formal Techniques for Development and Auto-tuning of Parallel Programs von 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 …”
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

On regular tree languages and deterministic pushdown automata von 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 …”
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

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 …”
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

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

“… Mechanical procedures for the manipulation of formal proofs have played a central role in proof theory for more than fifty years. However, such procedures have …”
Volltext