[PDF][PDF] Building Cyclic Data in a Functional-Like Language Extended with Monotonic Objects
AI Adamovich, AV Klimov - X Workshop PSSV: Program Semantics …, 2019 - pat.keldysh.ru
We discuss an approach to deterministic parallel programming based on a two-level
programming language. It comprises a higher-level functional-like subset for application …
programming language. It comprises a higher-level functional-like subset for application …
Efficient Implementation of Numerical Algorithms Based on a Lexical Analyzer
P Manatin, V Aleeva - International Conference on Parallel Computational …, 2024 - Springer
The problem of improving the efficiency of parallel computations is a very topical one. In the
article, we demonstrate the application of the concept of Q-determinant to the automatic …
article, we demonstrate the application of the concept of Q-determinant to the automatic …
Как создавать параллельные программы, детерминированные по построению? Постановка проблемы и обзор работ
АИ Адамович, АВ Климов - Программные системы: теория и …, 2017 - cyberleninka.ru
Одна из основных проблем, делающих параллельное программирование ненадежным,
трудозатратным, подверженным ошибкам, а программы трудно отлаживаемыми …
трудозатратным, подверженным ошибкам, а программы трудно отлаживаемыми …
A formal model of a system for automated program parallelization
VA Vasenin, AN Vodomerov - Programming and Computer Software, 2007 - Springer
In the paper, the T-system—an approach to automated program parallelization that has
several implementations—is studied. In the absence of formal justification, these …
several implementations—is studied. In the absence of formal justification, these …
[PDF][PDF] On Deterministic Parallel Implementation of the Branch-and-Bound Method with Monotonic Objects.
A Adamovich, A Klimov - SSI, 2019 - ceur-ws.org
This paper continues the authors' research into the development of a system of deterministic
parallel programming and the creation of libraries of socalled monotonic classes. The …
parallel programming and the creation of libraries of socalled monotonic classes. The …
Язык программирования Ajl: автоматическое динамическое распараллеливание для платформы JVM
АИ Адамович - Программные системы: теория и приложения, 2016 - cyberleninka.ru
Нынешнее состояние программного обеспечения и аппаратных средств широкого
применения настойчиво требует развития инструментов параллельного …
применения настойчиво требует развития инструментов параллельного …
[HTML][HTML] ПРИМЕНЕНИЕ МЕТОДА ПРОЕКТИРОВАНИЯ Q-ЭФФЕКТИВНЫХ ПРОГРАММ ДЛЯ АЛГОРИТМА ДЕЙКСТРЫ
ВН Алеева, ПА Манатин - Вестник Южно-Уральского …, 2023 - cyberleninka.ru
Проблема повышения эффективности параллельных вычислений чрезвычайно
актуальна. В статье впервые продемонстрировано применение концепции Q …
актуальна. В статье впервые продемонстрировано применение концепции Q …
[PDF][PDF] Optimization of Imperative Functional Parallel Programs with Non-local Program Transformations
A Adamovich - Third International Valentin Turchin …, 2012 - pdfs.semanticscholar.org
• Is under development since early 90-th in the Research Centre for Multiprocessor Systems
of Program Systems Institute in Pereslavl-Zalessky under the leadership of Sergei …
of Program Systems Institute in Pereslavl-Zalessky under the leadership of Sergei …
[CITATION][C] DETERMINISTIC PARALLEL PROGRAMMING AND DISTRIBUTED COMPUTING: CONVERGENCE
AV Klimov, AI Adamovich - … «XXII Харитоновские тематические науч-ные чтения …, 2021