Сортировать по:
Выпуск | Название | |
Том 31, № 6 (2019) | Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ | Аннотация PDF (Rus) похожие документы |
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков | ||
"... направления применения комбинированных методов анализа программ, совмещающих динамическое символьное ..." | ||
Том 32, № 5 (2020) | Динамическая компиляция пользовательских функций на языке PL/pgSQL | Аннотация PDF (Rus) похожие документы |
Владислав Муратович ДЖИДЖОЕВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Александр Николаевич ТОМИЛИН | ||
"... решений этой проблемы – динамическая компиляция. В рамках данной работы рассматривается метод динамической ..." | ||
Том 32, № 1 (2020) | Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков | ||
"... проверок. Одно из решений — динамическая компиляция запросов, которая оправдана только в том случае, когда ..." | ||
Том 31, № 6 (2019) | Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями | Аннотация PDF (Rus) похожие документы |
Антон Александрович Васильев, Вадим Сергеевич Мутилин | ||
Том 31, № 6 (2019) | Анализ полного сопротивления корпуса судна на различных скоростях хода | Аннотация PDF (Rus) похожие документы |
Кирилл Дмитриевич Овчинников | ||
Том 31, № 6 (2019) | Влияние численной диссипации на расчетную точность метода моделирования крупных вихрей с пристенным моделированием | Аннотация похожие документы |
Тимофей Дмитриевич Муха | ||
"... метода моделирования крупных вихрей с пристенным моделированием. С этой целью в свободном программном ..." | ||
Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
Том 32, № 4 (2020) | Общие подходы к проектированию подсистемы доступа высокопроизводительных вычислительных систем | Аннотация PDF (Rus) похожие документы |
Сергей Юрьевич МОКШИН | ||
"... численного моделирования различных физических процессов, является сложной и трудоемкой задачей. В статье ..." | ||
Том 32, № 5 (2020) | Моделирование инфразвукового пистонфона | Аннотация PDF (Rus) похожие документы |
Дмитрий Витальевич ГОЛОВИН | ||
"... Представлены результаты численного моделирования прикладной акустической задачи – моделирования ..." | ||
Том 31, № 6 (2019) | Исследование условий возникновения эолова микрорельефа | Аннотация PDF (Rus) похожие документы |
Елена Александровна Малиновская | ||
"... Возможности численного моделирования движения гидродинамических потоков около объектов сложной ..." | ||
Том 32, № 4 (2020) | Разработка решателя iceFoam для моделирования процесса обледенения | Аннотация PDF (Rus) похожие документы |
Константин Борисович КОШЕЛЕВ, Валерия Геннадиевна МЕЛЬНИКОВА, Сергей Владимирович СТРИЖАК | ||
"... разработке нового решателя iceFoam в составе открытого пакета OpenFOAM v1912 для моделирования процесса ..." | ||
Том 32, № 4 (2020) | Модели процессов, сопровождающих кристаллизацию переохлажденных капель | Аннотация PDF (Rus) похожие документы |
Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Альберт Леонидович СТАСЕНКО, Андрей Сергеевич ЩЕГЛОВ | ||
"... результатов молекулярного моделирования физической реальности. Получены численные оценки параметров рельефа ..." | ||
Том 31, № 6 (2019) | Моделирование динамики частиц в планетарном пограничном слое и в модельном ветропарке | Аннотация PDF (Rus) похожие документы |
Константин Борисович Кошелев, Сергей Владимирович Стрижак | ||
"... базе библиотеки SOWFA в составе открытого пакета OpenFOAM 2.4.0 для изучения моделирования динамики ..." | ||
Том 32, № 1 (2020) | Технологии автоматического тестирования программных комплексов реалистичной компьютерной графики | Аннотация PDF (Rus) похожие документы |
Евгений Юрьевич Денисов, Алексей Геннадьевич Волобой, Елисей Дмитриевич Бирюков, Михаил Сергеевич Копылов, Ирина Александровна Калугина | ||
"... промышленным системам компьютерной графики и оптического моделирования. Автоматизация тестирования становится ..." | ||
Том 31, № 6 (2019) | Моделирование метеоусловий в районе порта и в прибрежной зоне залива Тикси | Аннотация PDF (Rus) похожие документы |
Александр Владимирович Иванов, Сергей Владимирович Стрижак, Моисей Иванович Захаров | ||
Том 32, № 1 (2020) | Эффективные реализации алгоритмов тематического моделирования | Аннотация PDF (Rus) похожие документы |
Мурат Азаматович Апишев | ||
"... Представлен обзор эффективных алгоритмов вероятностного тематического моделирования больших ..." | ||
1 - 16 из 16 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)