Mikhail Posypkin
Mikhail Posypkin
Федеральный исследовательский центр "Информатика и управление" РАН
Verified email at isa.ru
Title
Cited by
Cited by
Year
A framework for parallel large-scale global optimization
Y Evtushenko, M Posypkin, I Sigal
Computer Science-Research and Development 23 (3-4), 211-215, 2009
1132009
A deterministic approach to global box-constrained optimization
Y Evtushenko, M Posypkin
Optimization Letters 7 (4), 819-829, 2013
802013
Технологии параллельного программирования
СА Лупин, МА Посыпкин
Форум, 2008
742008
Survey of compiler testing methods
AS Kossatchev, MA Posypkin
Programming and Computer Software 31 (1), 10-19, 2005
642005
Parallel logical cryptanalysis of the generator A5/1 in BNB-Grid system
A Semenov, O Zaikin, D Bespalov, M Posypkin
International Conference on Parallel Computing Technologies, 473-483, 2011
552011
Using BOINC desktop grid to solve large scale SAT problems
M Posypkin, A Semenov, O Zaikin
Computer Science 13 (1), 25, 2012
472012
Approximating a solution set of nonlinear inequalities
Y Evtushenko, M Posypkin, L Rybak, A Turkin
Journal of Global Optimization 71 (1), 129-145, 2018
392018
Nonuniform covering method as applied to multicriteria optimization problems with guaranteed accuracy
YG Evtushenko, MA Posypkin
Computational Mathematics and Mathematical Physics 53 (2), 144-157, 2013
392013
Опыт организации добровольных вычислений на примере проектов OPTIMA@ home и SAT@ home
ОС Заикин, МА Посыпкин, АА Семёнов, НП Храпов
Вестник Нижегородского университета им. НИ Лобачевского, 2012
362012
A deterministic algorithm for global multi-objective optimization
YG Evtushenko, MA Posypkin
Optimization Methods and Software 29 (5), 1005-1019, 2014
332014
Решение задач криптоанализа поточных шифров в распределенных вычислительных средах
МА Посыпкин, ОС Заикин, ДВ Беспалов, АА Семенов
Труды Института системного анализа Российской академии наук 46, 119-137, 2009
322009
Архитектура и программная организация библиотеки для решения задач оптимизации методом ветвей и границ на многопроцессорных вычислительных комплексах
МА Посыпкин
Труды Института системного анализа Российской академии наук 25, 18-25, 2006
292006
Searching of gapped repeats and subrepetitions in a word
R Kolpakov, M Podolskiy, M Posypkin, N Khrapov
Symposium on Combinatorial Pattern Matching, 212-221, 2014
282014
Technology for integrating idle computing cluster resources into volunteer computing projects
IV Bychkov, MO Manzyuk, AA Semenov, OS Zaikin, AP Afanasiev, ...
2015 5th International Workshop on Computer Science and Engineering …, 2015
272015
Методы и распределенная программная инфраструктура для численного решения задачи поиска молекулярных кластеров с минимальной энергией
МА Посыпкин
Вестник нижегородского университета им. НИ Лобачевского, 2010
272010
Исследование алгоритмов параллельных вычислений в задачах дискретной оптимизации ранцевого типа
МА Посыпкин, ИХ Сигал
Журнал вычислительной математики и математической физики 45 (10), 1801-1809, 2005
272005
Using ASM specifications for compiler testing
A Kalinov, A Kossatchev, A Petrenko, M Posypkin, V Shishko
International Workshop on Abstract State Machines, 415-415, 2003
272003
Процедуры построения декомпозиционных множеств для распределенного решения SAT-задач в проекте добровольных вычислений SAT@ home
ОС Заикин, АА Семёнов, МА Посыпкин
Управление большими системами: сборник трудов, 2013
262013
Применение метода неравномерных покрытий для глобальной оптимизации частично целочисленных нелинейных задач
ЮГ Евтушенко, МА Посыпкин
Журнал вычислительной математики и математической физики 51 (8), 1376-1389, 2011
262011
Using ASM specification for automatic test suite generation for mpC parallel programming language compiler
A Kalinov, A Kossatchev, M Posypkin, V Shishkov
Proceedings of Fourth International Workshop on Action Semantic, AS, 99-109, 2002
252002
The system can't perform the operation now. Try again later.
Articles 1–20