Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Alexander Chemeris"'
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030988821
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::060e77f022e0e71de8ca741c6e67606a
https://doi.org/10.1007/978-3-030-98883-8_2
https://doi.org/10.1007/978-3-030-98883-8_2
Autor:
Vadym Shkarupylo, Valentyna Dusheba, Jamil Abedalrahim Jamil Alsayaydeh, Alexander Chemeris, Ihor Blinov
Publikováno v:
Systems, Decision and Control in Energy III ISBN: 9783030876746
Systems, Decision and Control in Energy III
Systems, Decision and Control in Energy III
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::149819be6fe637e7014b8850a903c318
https://doi.org/10.1007/978-3-030-87675-3_1
https://doi.org/10.1007/978-3-030-87675-3_1
Autor:
Ihor Blinov, Vadym Shkarupylo, Jamil Abedalrahim Jamil Alsayaydeh, Valentyna Dusheba, Alexander Chemeris, Andrii Oliinyk
Publikováno v:
2021 IEEE 2nd KhPI Week on Advanced Technology (KhPIWeek).
Proven model checking technique, i.e., the model checker applied to the formal specification created on the basis of the Temporal Logic of Actions has been considered. Two implementations of named technique have been investigated: model checking by w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::552ca560a095f62b75c6eefa925fcdf7
https://doi.org/10.1109/khpiweek53812.2021.9570055
https://doi.org/10.1109/khpiweek53812.2021.9570055
Publikováno v:
DESSERT
Modern level of dependable systems engineering process organization is tightly interwoven with formal methods application. Those are typically the model checkers, bringing in the automation. Despite the significant developments in this direction, the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::be6031e12cc0d14370abcec9baf64bb4
https://doi.org/10.1109/dessert50317.2020.9125074
https://doi.org/10.1109/dessert50317.2020.9125074
Autor:
Alexander Chemeris, Sergii Sushko
Publikováno v:
2019 IEEE International Scientific-Practical Conference Problems of Infocommunications, Science and Technology (PIC S&T).
The paper considers actual methods of the software optimizations. Main attention is directed to the tiling method and parallelization. Showing the opportunities of the tiling method authors accent that tile size of the tiling method has critical infl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f878f89b6175d94fb48d707b31903efa
https://doi.org/10.1109/picst47496.2019.9061468
https://doi.org/10.1109/picst47496.2019.9061468
Autor:
Sergii Sushko, Alexander Chemeris
Publikováno v:
2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT).
Power consumption of computational systems is caused by the different sources. Dynamic power dissipation occurs when digital signal changes its level. Optimized software minimizes logic levels switching. Software can be optimized in the different way
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a33f7eb047487fd1e54c43f6d633327f
https://doi.org/10.1109/dessert.2018.8409198
https://doi.org/10.1109/dessert.2018.8409198
Autor:
Sergii Sushko, Alexander Chemeris
Publikováno v:
2017 IEEE 37th International Conference on Electronics and Nanotechnology (ELNANO).
Energy efficiency and computational time become the key usability factors of the low power computational systems. In this sense optimization of the source code is a great challenge to make low power computational system competitive relative to other
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e256a74c375d61ac6431b2caef88dbec
https://doi.org/10.1109/elnano.2017.7939795
https://doi.org/10.1109/elnano.2017.7939795
Институт проблем моделирования в энергетике им. Г.Е. Пухова НАН Украины,НИИ многопроцессорных вычислительных систем им А.В. Каляева Южно
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::91c76e92caa8de832a98944ba96ca43d
Publikováno v:
EWDTS
A modified method of affine transformations of nested loops is offered. The point of modification is in processing of group of loop operators without data dependencies. The method offered allows to formalize the parallelization process and increase q
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9e5a015bde5066ec314aa1ab3901218c
https://doi.org/10.1109/ewdts.2013.6673180
https://doi.org/10.1109/ewdts.2013.6673180
Autor:
Alexander Chemeris, Svetlana Reznikova
Publikováno v:
EWDTS
The representation of digital circuits that are designed by Boolean functions is considered. The syntax of Boolean function we use is presented. This digital circuit representation in the form of data-flow graph is used as a basis for parallelizing o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b6d073ff3578f4b75efedc08308e4f6
https://doi.org/10.1109/ewdts.2011.6116583
https://doi.org/10.1109/ewdts.2011.6116583