Výsledky vyhľadávania - (automation OR automatizace) programming – program transformation. general terms algorithm

Distributed Optimal Coordination for Heterogeneous Linear Multiagent Systems Autor 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…”
Získať plný text

PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices Autor 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…”
Získať plný text

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

“… Despite studies of model checking in other agent programming languages, GOAL lacks support for model checking of GOAL programs…”
Získať plný text

Formal Techniques for Development and Auto-tuning of Parallel Programs Autor 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…”
Získať plný text

Method of Automated Generation of Autotuners for Parallel Programs Autor 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…”
Získať plný text

On regular tree languages and deterministic pushdown automata Autor 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…”
Získať plný text

Breakthroughstocks.net: EXPLOSIVE News On: (OTCBB:RIMS) - (PINKSHEETS:HHGI) - (OTCBB:HSBK)

“…"Robocom's R-Voice solution was implemented utilizing BRR's existing wireless network," said Robocom's Vice President Rich Adamo. Additional benefits that will…”
Získať plný text

COMPUTATIONAL USES OF THE MANIPULATION OF FORMAL PROOFS Autor 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…”
Získať plný text