Главная / Информационных технологий / Компьютерные науки / Бектемесов Аманжол Тохтямович
Бектемесов Аманжол Тохтямович
Должность: Ассистент-профессор
 Кафедра компьютерных наук
                                Scopus author ID:  55960072500
                                     amanzhol.bektemessov@gmail.com
                            
                        
                                                  
                                            Тема диссертации: Верификация 
параллельных программных 
систем численного моделирования на 
основе Model 
checking.
Год защиты: 26.12.2014
Отечественные научные 
консультанты: 
доктор физико-математических наук, 
академик НАН РК Данаев Н.Т., 
и доктор технических наук, 
профессор Ахмед-Заки Д.Ж.
Зарубежный научный консультант:
Доктор естественных наук, 
профессор Хельмут Вейс.
                                        
                                    Первое высшее образование
| Образовательное учреждение | Квалификация | Дата окончания | 
|---|---|---|
| КазНУ им. аль-Фараби | Высшее | 2008 | 
Академическая степень
Ученая степень
1
                                                                    Бектемесов Аманжол ТохтямовичАхмед-Заки Д.Ж., Мәткерім Б..
                                                                     МОДЕРНИЗАЦИЯ ИНФОРМАЦИОННОЙ СИСТЕМЫ АНАЛИЗА РАЗРАБОТКИ НЕФТЕГАЗОВЫХ МЕСТОРОЖДЕНИЙ ИСАР-II
                                                                    2013 - г.
                                                                    7 - стр.
                                                                    0
                                                                
                                                                2
                                                                    Бектемесов Аманжол ТохтямовичМәткерім Б.., Данаев Н.Т., Ахмед-Заки Д.Ж.
                                                                     
                                                                    2014 - г.
                                                                    10 - стр.
                                                                    0
                                                                
                                                                3
                                                                    Бектемесов Аманжол ТохтямовичАхмед-Заки Д.Ж.
                                                                     Модели параллельных программ и их верификация при использовании транзакционной памяти.
                                                                    2014 - г.
                                                                    6 - стр.
                                                                    53
                                                                
                                                                4
                                                                    Бектемесов Аманжол Тохтямович
                                                                     Симмуляция распределенных программ при использовании транзакционной памяти
                                                                    2014 - г.
                                                                    8 - стр.
                                                                    81
                                                                
                                                                5
                                                                    Бектемесов Аманжол Тохтямович
                                                                     Поиск информации из больших данных с использованием метод BDD
                                                                    2015 - г.
                                                                    5 - стр.
                                                                    0
                                                                
                                                                6
                                                                    Бектемесов Аманжол ТохтямовичБурлибаев А.Ж.
                                                                     Распределенные алгоритмы и их верификация с помощью Byzantine model checker
                                                                    2016 - г.
                                                                    10 - стр.
                                                                    0
                                                                
                                                                7
                                                                    Бектемесов Аманжол ТохтямовичУсманова А.М.
                                                                     Встроенная система автоматического отслеживания объекта в реальном времени
                                                                    2020 - г.
                                                                    5 - стр.
                                                                    0
                                                                
                                                                1
                                                                    Бектемесов Аманжол Тохтямович
                                                                    Ахмед-Заки Д.Ж., Мәткерім Б.., Кумалаков Б.А., Данаев Н.Т.
                                                                      
                                                                    2013 - г.
                                                                    10 - стр.
                                                                    
                                                                
                                                                2
                                                                    Бектемесов Аманжол Тохтямович
                                                                    
                                                                     Метод BDD для сложных поисковых систем 
                                                                    2015 - г.
                                                                    1 - стр.
                                                                    Академгородок, Новосибирск, Россия
                                                                
                                                                Документы автора
0
Цитирования
0 по 0
документам
h-индекс
0
Design of distributed parallel computing using by MapReduce/MPI technology
Akhmed-Zaki, D., Danaev, N., Matkerim, B., Bektemessov, A.
2013
                                                    
                                                            Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 
                                                            -1, с. 139-148