( en | de | ru )

 

Disambiguation of "Posypkin, Mikhail"

Author of the publication

copydeleteadd this publication to your clipboard
Survey of compiler testing methods.

, and . Program. Comput. Softw., 31 (1): 10-19 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mikhail Shamonin

Mikhail Dobrynin

Mikhail Karnevskiy

Mikhail Salzmann

Mikhail Pletyukhov

 

Other publications of authors with the same name

Approximating a solution set of nonlinear inequalities., , , and . J. Glob. Optim., 71 (1): 129-145 (2018)A two-phase heuristic algorithm for power-aware offline scheduling in IaaS clouds., , , , and . J. Parallel Distributed Comput., (August 2023)Techniques for Speeding up H-Core Protein Fitting., and . OPTIMA, volume 13078 of Lecture Notes in Computer Science, page 336-350. Springer, (2021)Preface., , , and . Optim. Methods Softw., 36 (4): 671 (2021)Piecewise linear bounding functions in univariate global optimization., , and . Soft Comput., 24 (23): 17631-17647 (2020)Efficient Implementation of Branch-and-Bound Method on Desktop Grids., and . Comput. Sci., 15 (3): 239-252 (2014)Space-filling curves for numerical approximation and visualization of solutions to systems of nonlinear inequalities with applications in robotics., , and . Appl. Math. Comput., (2021)Parallel algorithms for SAT in application to inversion problems of some discrete functions, , , and . CoRR, (2011)Upper bound on the number of steps for solving the subset sum problem by the Branch-and-Bound method., and . CoRR, (2015)Compilation of Vector Statements of C Language for Architectures with Multilevel Memory Hierarchy., , , and . Program. Comput. Softw., 27 (3): 111-122 (2001)