Главная / Информационных технологий / Компьютерные науки / Бектемесов Аманжол Тохтямович
Бектемесов Аманжол Тохтямович
Должность: Ассистент-профессор
Кафедра компьютерных наук
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