Сортировать по:
| Выпуск | Название | |
| Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Д. А. Усталов | ||
| "... for microtask crowdsourcing based on an extended relational model and a dataflow computational model has been ..." | ||
| Том 20, № 4 (2013) | Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 | Аннотация PDF (Rus) похожие документы |
| Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов | ||
| "... The paper presents an agent substitution algorithm for a dataflow network implemented on the Smart ..." | ||
| Том 19, № 5 (2012) | Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей | Аннотация PDF (Rus) похожие документы |
| Сергей Игоревич Баландин, Андрей Михайлович Васильев, Никита Ильич Кожемякин, Денис Александрович Лаурэ, Илья Вячеславович Парамонов | ||
| "... The paper describes implementation of dataflow networks based on Smart-M3 platform for use cases ..." | ||
| Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
| "... The peculiarities of transforming functional dataflow parallel programs into programs with finite ..." | ||
| Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
| Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
| "... Functional dataflow programming languages are designed to create parallel portable programs ..." | ||
| Том 21, № 6 (2014) | Управляемые тупики в параллельных ресурсно-ограниченных потоках работ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова | ||
| "... We study the verification of the soundness property for workflow nets extended with resources ..." | ||
| Том 20, № 4 (2013) | О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин, Ирина Александровна Ломазова | ||
| "... In this work, we consider the modeling of workflow systems with Petri nets. A resource workflow net ..." | ||
| Том 19, № 5 (2012) | О работе семинара «Нелинейная динамика и вычислительная геометрия» (Workshop “Nonlinear Dynamics and Computational Geometry”) | Аннотация PDF (Rus) похожие документы |
| Статья Редакционная | ||
| "... международный семинар «Нелинейная динамика и вычислительная геометрия» (“Nonlinear Dynamics and Computational ..." | ||
| Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
| Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
| Том 30, № 1 (2023) | О вычислительных конструкциях в функциональных пространствах | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... of applicability of computational constructs and modeling tools. In this article, we study the differentiability ..." | ||
| Том 19, № 5 (2012) | Современные открытые проблемы в дискретной и вычислительной геометрии | Аннотация PDF (Rus) похожие документы |
| Герберт Эдельсбруннер, Александр Иванов, Роман Карасев | ||
| Том 17, № 1 (2010) | A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers | Аннотация PDF (Rus) похожие документы |
| П. Е. Ефимова | ||
| Том 19, № 6 (2012) | Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д. Александрова | Аннотация PDF (Rus) похожие документы |
| Николай Долбилин, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский | ||
| "... . Alexandrov was organized by the International B.N. Delaunay Laboratory "Discrete and Computational Geometry ..." | ||
| Том 18, № 2 (2011) | Организация выполнения объектных запросов в динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
| Вадим Сергеевич Рублев | ||
| "... technology DIM [2] is considered such that the computational complexity of the queries execution is as little ..." | ||
| Том 19, № 4 (2012) | Первая ярославская летняя школа по дискретной и вычислительной геометрии | Аннотация PDF (Rus) похожие документы |
| Николай Долбилин, Г. Эдельсбруннер, Александр Иванов, Олег Мусин | ||
| "... We summarize the results of the First Yaroslavl Summer School on Discrete and Computational ..." | ||
| Том 19, № 6 (2012) | Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов | Аннотация PDF (Rus) похожие документы |
| Олег Рустумович Мусин, Алексей Юрьевич Ухалов, Герберт Эдельсбруннер, Ольга Павловна Якимова | ||
| Том 24, № 4 (2017) | Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов | ||
| "... This article describes problems of designing automated teaching system for “Computational ..." | ||
| Том 31, № 3 (2024) | Синтез иерархических моделей процессов: подход на основе разбиения событий на множества | Аннотация похожие документы |
| Антонина Константиновна Бегичева, Ирина Александровна Ломазова, Роман Александрович Нестеров | ||
| "... present an algorithm for discovering hierarchical process models represented as two-level workflow Petri ..." | ||
| Том 19, № 6 (2012) | О некоторых задачах локализации в триангуляциях Делоне | Аннотация PDF (Rus) похожие документы |
| Наталья Федоровна Дышкант | ||
| "... minimum spanning tree of Delaunay triangulation is proposed. Efficient estimations for computational ..." | ||
| Том 26, № 4 (2019) | Особенности вычислительной реализации алгоритма оценки ляпуновских показателей систем с запаздыванием | Аннотация PDF (Rus) похожие документы |
| Владимир Евгеньевич Горюнов | ||
| "... We consider the computational implementation of the algorithm for Lyapunov exponents spectrum ..." | ||
| Том 17, № 2 (2010) | О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ | Аннотация PDF (Rus) похожие документы |
| А. В. Николаев | ||
| Том 28, № 2 (2021) | Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра | Аннотация PDF (Rus) похожие документы |
| Елена Александровна Туманова | ||
| "... obtained may have applications in the theory of computational complexity and algebraic cryptography. ..." | ||
| Том 20, № 6 (2013) | Международная конференция “Геометрия, топология и и приложения” | Аннотация PDF (Rus) похожие документы |
| Алексей Гарбер, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский | ||
| "... and Computational Geometry and took place in September 23–27, 2013, at the P.G. Demidov Yaroslavl State University ..." | ||
| Том 23, № 1 (2016) | Erratum to: Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II | Аннотация PDF (Rus) похожие документы |
| П. Н. Нестеров | ||
| "... We correct the computational mistakes in paper: Nesterov P. N. Center Manifold Method ..." | ||
| Том 22, № 5 (2015) | Численное решение уравнения Пуассона в полярных координатах методом коллокаций и наименьших невязок | Аннотация PDF (Rus) похожие документы |
| Е. В. Ворожцов, В. П. Шапеев | ||
| "... of numerical computations show that if the radial coordinate axis origin lies outside the computational region ..." | ||
| Том 14, № 3 (2007) | NumGRID, система для решения больших задач численного моделирования | Аннотация PDF (Rus) похожие документы |
| Н. В. Малышкин | ||
| "... computational resources into a united Grid. Using this Grid it is possible to solve a lot of large-scale ..." | ||
| Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
| Хулио С Карраскель, Халил Мешерауи | ||
| "... ). Particularly, we consider conservative workflow CPNs which allow to describe the expected behavior of a system ..." | ||
| Том 25, № 4 (2018) | О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» | Аннотация PDF (Rus) похожие документы |
| Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый | ||
| "... the confirmation by a certain computer work. So, a demand arose for such computational problems to work on, and we ..." | ||
| Том 21, № 5 (2014) | Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса | Аннотация PDF (Rus) похожие документы |
| Василий Павлович Шапеев, Евгений Васильевич Ворожцов | ||
| "... computational formulas of the CLR method were verified on the exact analytic solution of a test problem ..." | ||
| Том 21, № 4 (2014) | Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Бойцов | ||
| "... computational power. One of the most important problems about such a system is an effective distribution of data ..." | ||
| Том 21, № 3 (2014) | Приближенное решение точечной подвижной задачи оптимального управления для нелинейного гиперболического уравнения | Аннотация PDF (Rus) похожие документы |
| Турсун Камалдинович Юлдашев | ||
| "... of nonlinear integral equations (CSNIE). To ease the computational procedures, it is considered ..." | ||
| Том 20, № 4 (2013) | Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах | Аннотация PDF (Rus) похожие документы |
| Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый | ||
| "... , even with physical access to the memory of the key. This approach does not require computational power ..." | ||
| Том 20, № 2 (2013) | Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц | Аннотация PDF (Rus) похожие документы |
| Иван Вадимович Губочкин | ||
| "... showed that the developed algorithm requires less computational effort for large amounts of data ..." | ||
| Том 17, № 4 (2010) | Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography | Аннотация PDF (Rus) похожие документы |
| , , , , | ||
| "... the computational complexity of elliptic curve encryption by avoiding division in finite fields. This work ..." | ||
| Том 25, № 6 (2018) | Даже простые процессы π-исчисления трудны для анализа | Аннотация PDF (Rus) похожие документы |
| Марат Мазен Аббас, Владимир Анатольевич Захаров | ||
| "... is carried out only for some special classes of π-calculus processes with restricted computational ..." | ||
| Том 29, № 3 (2022) | Формирование признаков машинного обучения на основе построения тропических функций | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
| "... One of the main methods of computational topology and topological data analysis is persistent ..." | ||
| Том 29, № 1 (2022) | Инструменты численного моделирования и S-производные | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... of applicability of computational constructs and modeling tools. For dynamical systems, this question may ..." | ||
| Том 20, № 3 (2013) | Об одной задаче для симплекса и куба в Rⁿ | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... the following computational formula for x. Denote by x (j) (j = 1, . . . , n+ 1) the vertices of S. Let ..." | ||
| Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... of computational modules during program execution. It can be used for applications written in any programming ..." | ||
| Том 28, № 1 (2021) | Алгоритмы поиска с возвратом для построения гамильтонова разложения 4-регулярного мультиграфа | Аннотация PDF (Rus) похожие документы |
| Александр Васильевич Коростиль, Андрей Валерьевич Николаев | ||
| "... edge fixing procedure. Based on the results of the computational experiments for undirected multigraphs ..." | ||
| Том 26, № 3 (2019) | GRID-система на основе европейских стандартов EGI для крупномасштабных расчетов по оригинальному ускоренному методу квантовой химии | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Аникин, Александр Юрьевич Мускатин, Михаил Борисович Кузьминский, Александр Ильич Русаков | ||
| "... .), the applying of GRID systems for computational chemistry is briefly discussed. The GRID system created ..." | ||
| Том 22, № 2 (2015) | Об одной задаче маршрутизации перемещений инструмента при листовой резке деталей | Аннотация PDF (Rus) похожие документы |
| Александр Александрович Петунин, Александр Георгиевич Ченцов, Павел Александрович Ченцов | ||
| "... ). Precedence conditions are used for decreasing computational complexity: it excludes the building of the whole ..." | ||
| Том 22, № 3 (2015) | ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ | Аннотация похожие документы |
| Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко | ||
| "... problem with the mentioned evaluation criteria is fundamentally intractable, computational complexity ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... for computational mathematics and simulation. MPI, OpenMP, CUDA and other technologies provide opportunity to write ..." | ||
| Том 23, № 3 (2016) | Численное моделирование процессов формирования полос адиабатического сдвига в композитах | Аннотация PDF (Rus) похожие документы |
| Н. А. Кудряшов, Р. В. Муратов, П. Н. Рябов | ||
| "... and oscillation period is given. Computational results coincide with these estimates. It is found that plastic flow ..." | ||
| Том 23, № 6 (2016) | Имитационное моделирование для анализа выполнимости приложений реального времени | Аннотация PDF (Rus) похожие документы |
| С. Н. Баранов, В. В. Никифоров | ||
| "... the use of computational resource by this application and is derived from estimation of the application ..." | ||
| Том 24, № 6 (2017) | Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Макаров | ||
| "... and feedback coefficients matrices significantly reduces the computational complexity of the control algorithm. ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... it rests upon specific data structures and the computational model of this language. However, the algorithm ..." | ||
| Том 25, № 5 (2018) | О безопасности одно- и многоместных IFP-операторов | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Дудаков | ||
| "... loop. Moreover, universal computational devices (Turing machines et al.) can be modelled ..." | ||
| Том 27, № 1 (2020) | Иерархическая кластеризация как метод снижения размерности в задаче оптимизации инвестиционного портфеля Марковица | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Елена Михайловна Спиридонова | ||
| "... is widely used in computer science, a lot of algorithms and computational methods have been developed ..." | ||
| Том 28, № 3 (2021) | Простой алгоритм отыскания неотрицательного базисного решения системы линейных алгебраических уравнений | Аннотация PDF (Rus) похожие документы |
| Глеб Дмитриевич Степанов | ||
| "... artificial variables and economically consumes computational resources. The algorithm consists of two stages ..." | ||
| Том 29, № 4 (2022) | Классификация русскоязычных текстов по жанрам на основе современных эмбеддингов и ритма | Аннотация PDF (Rus) похожие документы |
| Ксения Владимировна Лагутина | ||
| "... of computational linguistics, and also allows to highlight the advantages and limitations of the complex of rhythm ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... $ and prove that both problems are Pspace-complete. The computational hardness of the problems under ..." | ||
| Том 28, № 4 (2021) | Алгоритм оценивания частоты сигнала на выходе канала с управляемым информационным потоком в условиях фазового шума | Аннотация PDF (Rus) похожие документы |
| Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Илья Викторович Лукьянов | ||
| "... {Nikiforov} proposed an efficient computational algorithm for estimating the frequency of a quasi-harmonic ..." | ||
| Том 31, № 3 (2024) | Матрично-кубитный алгоритм семантического анализа вероятностных данных | Аннотация PDF (Rus) похожие документы |
| Илья Алексеевич Суров | ||
| "... for development of nature-like computational architectures on novel logical grounds. ..." | ||
| Том 26, № 3 (2019) | Геометрические оценки при интерполяции на n-мерном шаре | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... . These results have applications in polynomial interpolation and computational geometry. ..." | ||
| Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... - tated computational programs, that uses e®ective and sound automatic SAT-solvers (i.e. programs ..." | ||
| Том 24, № 1 (2017) | О комбинировании различных методов ускорения при итерационном решении уравнений с частными производными методом коллокаций и наименьших невязок | Аннотация PDF (Rus) похожие документы |
| Василий Павлович Шапеев, Евгений Васильевич Ворожцов | ||
| "... the CPU time of the boundary-value problem solution. Numerous computational examples are presented, which ..." | ||
| Том 24, № 5 (2017) | Варианты метода коллокации и наименьших невязок для решения задач математической физики в выпуклых четырехугольных областях | Аннотация PDF (Rus) похожие документы |
| Василий Алексеевич Беляев, Василий Павлович Шапеев | ||
| "... for the approximate solution are put down exactly on the boundary of the computational domain. The versions of the CLR ..." | ||
| Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров | ||
| "... Finite transducers, two-tape automata, and biautomata are related computational models descended ..." | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... Computational Tree Logics CTL*. In this paper we present an algorithm for checking the satisfiability of Reg-CTL ..." | ||
| Том 28, № 3 (2021) | Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем | Аннотация PDF (Rus) похожие документы |
| Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова | ||
| "... , but also to propose a more efficient computational algorithm for finding the matrix of feedback gains ..." | ||
| Том 26, № 2 (2019) | Линейная интерполяция на евклидовом шаре в Rⁿ | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
| "... ). To supplement theoretical results we present computational data. We also discuss some other questions concerning ..." | ||
| Том 23, № 5 (2016) | О числовых характеристиках симплекса и их оценках | Аннотация PDF (Rus) похожие документы |
| М. В. Невский, А. Ю. Ухалов | ||
| "... axis. We apply the computational formulae for (xi(S)), (alpha(S)), (d_i(S)) which have been ..." | ||
| 1 - 65 из 65 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
