Offloading support for OpenMP in Clang and LLVM SF Antao, A Bataev, AC Jacob, GT Bercea, AE Eichenberger, G Rokos, ... 2016 Third Workshop on the LLVM Compiler Infrastructure in HPC (LLVM-HPC), 1-11, 2016 | 84 | 2016 |
Операционные системы СВ Синицын, АВ Батаев, НЮ Налютин Академия, 2012 | 32 | 2012 |
Efficient fork-join on GPUs through warp specialization AC Jacob, AE Eichenberger, H Sung, SF Antao, GT Bercea, C Bertolli, ... 2017 IEEE 24th International Conference on High Performance Computing (HiPC …, 2017 | 19 | 2017 |
Towards OpenMP support in LLVM ABA Bataev, A Bokhanko, J Cownie 2013 European LLVM Conference, 2013 | 9 | 2013 |
Implementing implicit OpenMP data sharing on GPUs GT Bercea, C Bertolli, AC Jacob, A Eichenberger, A Bataev, G Rokos, ... Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in …, 2017 | 6 | 2017 |
Операционные системы: учебник для студ. учреждений высш. проф. образования-3-е изд., стер. СВ Синицын, АВ Батаев, НЮ Налютин | 6 | 2013 |
Clang-YKT source-code repository AC Jacob, AE Eichenberger, H Sung, SF Antao, GT Bercea, C Bertolli, ... | 2 | |
Hybrid CPU/GPU tasks optimized for concurrency in OpenMP AE Eichenberger, GT Bercea, A Bataev, L Grinberg, JK O'Brien IBM Journal of Research and Development 64 (3/4), 13: 1-13: 14, 2019 | 1 | 2019 |
An open-source solution to performance portability for Summit and Sierra supercomputers GT Bercea, A Bataev, AE Eichenberger, C Bertolli, JK O'Brien IBM Journal of Research and Development 64 (3/4), 12: 1-12: 23, 2019 | 1 | 2019 |
Операционные системы и среды: учебник для учрежд. СПО АВ Батаев М.: Академия, 2017 | | 2017 |
Test data generation based on a formal analysis of the project configuration data AV Bataev, AA Davydov, NY Nalutin, SV Sinitsyn Automatic Control and Computer Sciences 45, 373-379, 2011 | | 2011 |
Генерация тестовых данных на основе формального анализа данных конфигурации проекта АВ Батаев, АА Давыдов, НЮ Налютин, СВ Синицын Моделирование и анализ информационных систем 17 (4), 17-26, 2010 | | 2010 |
МЕТОД ГЕНЕРАЦИИ ТЕСТОВЫХ ДАННЫХ НА ОСНОВЕ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ АВ Батаев, АА Давыдов, НЮ Налютин, СВ Синицын Сборник научных трудов по материалам международной научно-практической …, 2010 | | 2010 |
Оценка состояния программного проекта с детерминированной структурой технологического цикла НЮ Налютин, СВ Синицын, АА Давыдов, АВ Батаев Программные продукты и системы, 62-65, 2010 | | 2010 |
Операционные системы: Учебник для студ. высш. учеб. заведений/,–М СВ Синицын, АВ Батаев, НЮ Налютин Издательский центр «Академия, 2010 | | 2010 |
Test data generation based on a formal analysis of the project configuration AV Bataev, AA Davydov, NY Nalyutin, SV Sinitsyn Modelirovanie i Analiz Informatsionnykh Sistem 17 (4), 17-26, 2010 | | 2010 |
Методы и средства генерации данных для тестирования встроенного бортового программного обеспечения АВ Батаев Московский государственный инженерно-физический институт, 2008 | | 2008 |
МАТЕМАТИЧЕСКИЕ МЕТОДЫ ДОКАЗАТЕЛЬСТВА ПРАВИЛЬНОСТИ ВСТРОЕННОГО БОРТОВОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ АВ Батаев, СВ Синицын Безопасность информационных технологий, 57-60, 2007 | | 2007 |
Offloading Support for OpenMP in Clang and LLVM C Bertolli, AEE Bercea, G Rokos, M Martineau, T Jin, G Ozen, Z Sura, ... | | |
LLVM-HPC 2016 SF Antao, A Bataev, AC Jacob, GT Bercea, AE Eichenberger, G Rokos, ... | | |