Mikhail Posypkin

According to our database, Mikhail Posypkin authored at least 37 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Lower time bounds for parallel solving of the subset sum problem by a dynamic programming algorithm.

Roman Kolpakov, Mikhail Posypkin

Concurr. Comput. Pract. Exp., August, 2024

Determining solution set of nonlinear inequalities using space-filling curves for finding working spaces of planar robots.

Daniela Lera, Maria Chiara Nasso, Mikhail Posypkin, Yaroslav D. Sergeyev

J. Glob. Optim., June, 2024

2023

A two-phase heuristic algorithm for power-aware offline scheduling in IaaS clouds.

Andrei Ignatov, Irina Maslova, Mikhail Posypkin, W. Yang, J. Wu

J. Parallel Distributed Comput., August, 2023

Bicentered Interval Newton Operator for Robot's Workspace Approximation.

Artem Maminov, Mikhail Posypkin

Proceedings of the Optimization and Applications - 14th International Conference, 2023

2022

Robot Workspace Approximation with Modified Bicenetred Krawczyk Method.

Artem Maminov, Mikhail Posypkin

Proceedings of the Optimization and Applications - 13th International Conference, 2022

Using Artificial Neural Network for Solving Inverse Kinematic Task of 2R Planar Robot-Manipulator.

Kamila Tanyrbergenova, Tolkyn Mirgalikyzy, Balgaisha Mukanova, Mikhail Posypkin

Proceedings of the 7th International Conference on Digital Technologies in Education, 2022

2021

Preface.

Milojica Jacimovic, Mikhail Yu. Khachay, Yury Kochetov, Mikhail Posypkin

Optim. Methods Softw., 2021

Optimality and Complexity Analysis of a Branch-and-Bound Method in Solving Some Instances of the Subset Sum Problem.

Roman Kolpakov, Mikhail Posypkin

Open Comput. Sci., 2021

Space-filling curves for numerical approximation and visualization of solutions to systems of nonlinear inequalities with applications in robotics.

Daniela Lera, Mikhail Posypkin, Yaroslav D. Sergeyev

Appl. Math. Comput., 2021

Techniques for Speeding up H-Core Protein Fitting.

Andrei Ignatov, Mikhail Posypkin

Proceedings of the Optimization and Applications - 12th International Conference, 2021

2020

Piecewise linear bounding functions in univariate global optimization.

Mikhail Posypkin, Alexander Usov, Oleg V. Khamisov

Soft Comput., 2020

The scalability analysis of a parallel tree search algorithm.

Roman Kolpakov, Mikhail Posypkin

Optim. Lett., 2020

Preface.

Alexander V. Kononov, Alexander S. Strekalovsky, Mikhail Posypkin, Artem V. Pyatkin

J. Glob. Optim., 2020

2018

Approximating a solution set of nonlinear inequalities.

Yuri Evtushenko, Mikhail Posypkin, Larisa Rybak, Andrei Turkin

J. Glob. Optim., 2018

BOINC-Based Branch-and-Bound.

Andrei Ignatov, Mikhail Posypkin

Proceedings of the Supercomputing, 2018

2017

Searching of gapped repeats and subrepetitions in a word.

Roman Kolpakov, Mikhail Podolskiy, Mikhail Posypkin, Nickolay Khrapov

J. Discrete Algorithms, 2017

Complexity of solving the Subset Sum problem with the branch-and-bound method with domination and cardinality filtering.

Roman M. Kolpakov, Mikhail Posypkin, Si Tu Tant Sin

Autom. Remote. Control., 2017

2015

Upper bound on the number of steps for solving the subset sum problem by the Branch-and-Bound method.

Roman Kolpakov, Mikhail Posypkin

CoRR, 2015

2014

A deterministic algorithm for global multi-objective optimization.

Yu. G. Evtushenko, Mikhail Posypkin

Optim. Methods Softw., 2014

Efficient Implementation of Branch-and-Bound Method on Desktop Grids.

Bo Tian, Mikhail Posypkin

Comput. Sci., 2014

Method of non-uniform coverages to solve the multicriteria optimization problems with guaranteed accuracy.

Yuri G. Evtushenko, Mikhail Posypkin

Autom. Remote. Control., 2014

2013

A deterministic approach to global box-constrained optimization.

Yuri Evtushenko, Mikhail Posypkin

Optim. Lett., 2013

2012

Using BOINC Desktop Grid to Solve Large Scale SAT Problems.

Mikhail Posypkin, Alexander A. Semenov, Oleg Zaikin

Comput. Sci., 2012

2011

Parallel algorithms for SAT in application to inversion problems of some discrete functions

Alexander A. Semenov, Oleg Zaikin, Dmitry Bespalov, Mikhail Posypkin

CoRR, 2011

Parallel Logical Cryptanalysis of the Generator A5/1 in BNB-Grid System.

Alexander A. Semenov, Oleg Zaikin, Dmitry Bespalov, Mikhail Posypkin

Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011

A Comparative Study of Different Optimization Algorithms for Molecular Docking.

Alexander P. Afanasiev, Igor Oferkin, Mikhail Posypkin, Anton Rubtsov, Alexey V. Sulimov, Vladimir B. Sulimov

Proceedings of the 3rd International Workshop on Science Gateways for Life Sciences, 2011

2009

A framework for parallel large-scale global optimization.

Yuri Evtushenko, Mikhail Posypkin, Israel Sigal

Comput. Sci. Res. Dev., 2009

2007

A High-Level Toolkit for Development of Distributed Scientific Applications.

Alexander P. Afanasiev, Oleg V. Sukhoroslov, Mikhail Posypkin

Proceedings of the Parallel Computing Technologies, 2007

2005

Survey of compiler testing methods.

Alexander S. Kossatchev, Mikhail Posypkin

Program. Comput. Softw., 2005

A Fortran Evolution of mpC Parallel Programming Language.

Alexey Ya. Kalinov, Ilya Ledovskih, Mikhail Posypkin, Zakhar Levchenko, Vladimir Chizhov

Proceedings of the Parallel Processing and Applied Mathematics, 2005

An Implementation of the Matrix Multiplication Algorithm SUMMA in mpF.

Alexey Ya. Kalinov, Ilya Ledovskih, Mikhail Posypkin, Zakhar Levchenko, Vladimir Chizhov

Proceedings of the Parallel Computing Technologies, 2005

2004

Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language.

Alexander S. Kossatchev, P. Kutter, Mikhail Posypkin

Program. Comput. Softw., 2004

2003

Coverage-driven Automated Compiler Test Suite Generation.

Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov

Proceedings of the Workshop on Language Descriptions, Tools and Applications, 2003

Using ASM Specifications for Compiler Testing.

Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov

Proceedings of the Abstract State Machines, 2003

2002

Refined Description of the C[] Language.

Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Mikhail Posypkin

Program. Comput. Softw., 2002

2001

Compilation of Vector Statements of C[] Language for Architectures with Multilevel Memory Hierarchy.

Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Mikhail Posypkin

Program. Comput. Softw., 2001

2000

A language and programming environment for high-performance parallel computing on heterogeneous networks.

Alexey L. Lastovetsky, Alexey Ya. Kalinov, I. N. Ledovskikh, Dmitry Arapov, Mikhail Posypkin

Program. Comput. Softw., 2000