Подписаться
Alexander Chemeris, Александр Чемерис, О. А. Чемерис, А. А. Чемерис
Alexander Chemeris, Александр Чемерис, О. А. Чемерис, А. А. Чемерис
Pukhov Institute for modeling in energy Engineering; National Technical University of Ukraine "KPI";
Подтвержден адрес электронной почты в домене ipme.kiev.ua - Главная страница
Название
Процитировано
Процитировано
Год
Influence of software optimization on energy consumption of embedded systems
A Chemeris, D Lazorenko, S Sushko
Green IT Engineering: Components, Networks and Systems Implementation, 111-133, 2017
162017
On Applicability of Model Checking Technique in Power Systems and Electric Power Industry
VV Shkarupylo, IV Blinov, AA Chemeris, VV Dusheba, JAJ Alsayaydeh
Systems, Decision and Control in Energy III, 3-21, 2022
72022
Low-power issues for SoC
DI Lazorenko, AA Chemeris
2006 IEEE International Symposium on Consumer Electronics, 1-3, 2006
72006
A technique for checking the adequacy of formal model
V Shkarupylo, V Dusheba, JAJ Alsayaydeh, I Tomičić, A Chemeris
ARPN Journal of Engineering and Applied Sciences 16 (16), 1707-1719, 2021
62021
The dependence of microprocessor system energy consumption on software optimization
S Sushko, A Chemeris
2017 IEEE 37th International Conference on Electronics and Nanotechnology …, 2017
62017
On Hoare triples applicability to dependable system specification synthesis
V Shkarupylo, A Chemeris, V Dusheba, R Kudermetov, A Oliinyk
2020 IEEE 11th International Conference on Dependable Systems, Services and …, 2020
52020
Iterative approach to TLC model checker application
V Shkarupylo, I Blinov, A Chemeris, V Dusheba, JAJ Alsayaydeh, ...
2021 IEEE 2nd KhPI Week on Advanced Technology (KhPIWeek), 283-287, 2021
42021
Loop nests parallelization for digital system synthesis
A Chemeris, J Gorunova, D Lazorenko
East-West Design & Test Symposium (EWDTS 2013), 1-4, 2013
42013
A package for automatic parallelization of serial C-programs for distributed systems
V Beletsky, A Bagaterenco, A Chemeris
Programming Models for Massively Parallel Computers, 184-188, 1995
41995
Usage of Discrete Particle Swarm Optimization Method for the Searching of Optimal Tile Size
A Chemeris, S Sushko
2019 IEEE International Scientific-Practical Conference Problems of …, 2019
22019
Increasing the energy efficiency of a computational system by using automatic software optimization
S Sushko, A Chemeris
2018 IEEE 9th International Conference on Dependable Systems, Services and …, 2018
22018
Analysis and optimization of the sizes of the iteration space tiles during the parallelization of program loop operators
A Chemeris, S Sushko
Advances in Cyber-Physical Systems, 1 (3), 2018, 1-6, 2018
12018
Parallel simulation of Boolean functions by means of GPU
W Bielecki, A Chemeris, S Reznikova
Proceedings of East-West Design and Test Symposium EWDTS, 162-164, 2009
12009
Practical realization of asynchronous iterative algorithms for multiprocessor computers
A Chemeris
ACS'99: advanced computer systems (Szczecin, 1999), 228-232, 1999
11999
Resilience of Ukrainian energy system: behavioral simulation of the war influence
A Sanginov, A Chemeris
2023 13th International Conference on Dependable Systems, Services and …, 2023
2023
Smart Tiling for Program Optimization and Parallelization
A Chemeris, S Sushko, S Reznikova
International Conference on Pattern Recognition and Information Processing …, 2021
2021
Parallelizing by Smart Tiling
S Sushko, A Chemeris, S Reznikova
UIIP NASB, 2021
2021
Electronic Modeling Vol 38, No 1 (2016)
IV MELNYK, AI KRASILNIKOV, LI TIMCHENKO, SV NAKONECHNAYA, ...
Èlektron. model 38 (1), 03-18, 2018
2018
ϑεστ
DI Lazorenko, AA Chemeris
Journal of Engineering Science and Technology Review 4 (1), 68-73, 2013
2013
Parallelizing of Boolean function system for device simulation
A Chemeris, S Reznikova
2011 9th East-West Design & Test Symposium (EWDTS), 200-202, 2011
2011
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20