Developing and optimizing parallel programs with algebra-algorithmic and term rewriting tools A Doroshenko, K Zhereb, O Yatsenko Information and Communication Technologies in Education, Research, and …, 2013 | 29 | 2013 |
TuningGenie: auto-tuning framework based on rewriting rules PA Ivanenko, AY Doroshenko, KA Zhereb Information and Communication Technologies in Education, Research, and …, 2014 | 22 | 2014 |
Programming high-performance parallel computations: formal models and graphics processing units PI Andon, AY Doroshenko, KA Zhereb Cybernetics and Systems Analysis 47, 659-668, 2011 | 13 | 2011 |
Parallelizing legacy Fortran programs using rewriting rules technique and algebraic program models A Doroshenko, K Zhereb ICT in Education, Research, and Industrial Applications: 8th International …, 2013 | 8 | 2013 |
Formal facilities for designing efficient GPU programs A Doroshenko, K Zhereb, O Yatsenko Proceedings of the 19th International Workshop “Concurrency: Specification …, 2010 | 7 | 2010 |
An Experience of Integrating INTSPEI P-Modeling Framework with Microsoft Solutions Framework for Agile Software Development V Pavlov, A Doroshenko, T Taganskaya, K Zhereb, N Boyko An Experience of Integrating INTSPEI P-Modeling Framework with Microsoft …, 2007 | 7 | 2007 |
Shared simultaneous access to a single instance of a remotely executing application V Pavlov, D Malenko, K Zhereb, S Trotsiuk, O Strelets US Patent App. 15/255,051, 2017 | 6 | 2017 |
Formalized design of efficient multithreaded programs AY Doroshenko, KA Zhereb, OA Yatsenko Problems in programming, 17-30, 2007 | 6 | 2007 |
Methods of algebraic programming: formal methods of parallel program development PI Andon, AY Doroshenko, KA Zhereb, RS Shevchenko, OA Yatsenko Kyiv," Naukova dumka".-2017.-440 p, 2017 | 5 | 2017 |
On complexity and coordination of computation in multithreaded programs AY Doroshenko, KA Zhereb, YA Yatsenko Problems in programming 2, 41-55, 2007 | 5 | 2007 |
O Modelirovanie sensornyh setej sredstvami vysokogo urovnja AE Doroshenko, KA Zhereb, RS Shevchenko Problemi programuvannja: Mater³ali p'jato¿ M³zhnar. nauk.-prakt. konf. z …, 2006 | 5 | 2006 |
Using choreography of actors and rewriting rules to adapt legacy Fortran programs to cloud computing E Tulika, A Doroshenko, K Zhereb Information and Communication Technologies in Education, Research, and …, 2017 | 4 | 2017 |
Using Algebra-Algorithmic and Term Rewriting Tools for Developing Efficient Parallel Programs. A Doroshenko, K Zhereb, O Yatsenko ICTERI, 38-46, 2013 | 4 | 2013 |
Algebra-dynamic models for program parallelization AY Doroshenko, KA Zhereb Problems in programming, 39-55, 2010 | 4 | 2010 |
Using Reverse Semantic Traceability for Quality Control in Agile MSF-based Projects K Zhereb, V Pavlov, A Doroshenko, V Sergienko 4th Software Engineering Conference.[online], Moscow, Russia. Available at …, 2008 | 4 | 2008 |
Formal and adaptive methods and software tools of parallel programming ÀY Doroshenko, OG Beketov, KA Zhereb, PA Ivanenko, ÎÌ Ovdii, ... Problems in programming, 19-30, 2017 | 3 | 2017 |
Adaptation of Legacy Fortran Applications to Cloud Computing. E Tulika, A Doroshenko, K Zhereb ICTERI, 111-118, 2016 | 3 | 2016 |
Transformation of the legacy code on Fortran for scalability and cloud computing AY Doroshenko, VD Khavryuchenko, EM Tulika, KA Zhereb Problems in Programming, 133-140, 2016 | 3 | 2016 |
Automated development of applications for graphical processing units using rewriting rules A Doroshenko, K Zhereb 2009 5th Central and Eastern European Software Engineering Conference in …, 2009 | 3 | 2009 |
A template-based method to create efficient and customizable object-relational transformation components I Lihatsky, A Doroshenko, K Zhereb Information Systems: Methods, Models, and Applications: 4th International …, 2013 | 2 | 2013 |