Preview

Моделирование и анализ информационных систем

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... представлено расширение данного подхода, которое включает наш метод верификации для финитной итерации над ..."
 
Том 25, № 5 (2018) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
"... верификации итераций над изменяемыми массивами с возможным выходом из тела цикла в C-light программах. Метод ..."
 
Том 26, № 4 (2019) Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
"... известной проблемы задания инвариантов циклов выбран подход финитных итераций. Тело цикла финитной итерации ..."
 
Том 24, № 6 (2017) Элиминация инвариантов финитных итераций над массивами при верификации Си программ Аннотация  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев
"... Данная работа представляет дальнейшее развитие метода верификации финитной итерации [7]. Он ..."
 
Том 20, № 1 (2013) О финитной аппроксимируемости некоторых обобщенных свободных произведений разрешимых групп конечного ранга Аннотация  PDF (Rus)  похожие документы
Алексей Вячеславович Розов
"... Пусть G — свободное произведение финитно аппроксимируемых почти раз- решимых групп A и B конечного ..."
 
Том 22, № 4 (2015) О финитной отделимости подгрупп в расщепляемых расширениях Аннотация  PDF (Rus)  похожие документы
А. А. Кряжева
"... подгруппы) финитно отделимы, то и в группе G все подгруппы (все циклические подгруппы) финитно отделимы; 2 ..."
 
Том 24, № 1 (2017) О комбинировании различных методов ускорения при итерационном решении уравнений с частными производными методом коллокаций и наименьших невязок Аннотация  PDF (Rus)  похожие документы
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
"... : предобуславливатель, многосеточный алгоритм и коррекцию решения PDE на промежуточных итерациях в подпространстве ..."
 
1 - 7 из 7 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)