Сортировать по:
Выпуск | Название | |
Том 29, № 1 (2017) | Особенности построения расчетной схемы для моделирования динамики стабилизатора расхода в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
В. Г. Мельникова, О. С. Коцур, Г. А. Щеглов | ||
"... расчетной схемы для моделирования задачи об установлении золотника в положение равновесия под действием ..." | ||
Том 27, № 3 (2015) | Проблемы обобщений C# и способы их решения с помощью концептов | Аннотация PDF (Rus) похожие документы |
Ю. В. Белякова, С. С. Михалкович | ||
"... основе F-ограниченного полиморфизма. В этой статье рассматриваются основные подводные камни обобщений C ..." | ||
Том 26, № 6 (2014) | Предисловие | Аннотация PDF (Rus) похожие документы |
Н. В. Евтушенко, Ана Р. Кавалли, А. К. Петренко | ||
"... 24-25 ноября 2014 года в Париже в Институте Мин-Телеком (Institut Mines-Télécom) состоялся ..." | ||
Том 26, № 6 (2014) | Исследование отказоустойчивой маршрутизации в беспроводных сенсорных сетях | Аннотация PDF (Rus) похожие документы |
В. Х. Ла, А. Кавалли | ||
"... протоколов их взаимодействия. Так как сенсорные узлы работают, как правило, в неконтролируемой или даже ..." | ||
Том 25 (2013) | Оптимальное упорядочение конфликтующих объектов и задача коммивояжера | Аннотация PDF (Rus) похожие документы |
А. В. Воеводин, С. А. Косяченко | ||
"... В работе представлена постановка задачи оптимального упорядочения конфликтующих объектов и ее связь ..." | ||
Том 27, № 6 (2015) | Концепция наследования в современных языках программирования | Аннотация PDF (Rus) похожие документы |
А. В. Канатов, Е. А. Зуев | ||
"... Статья содержит обзор и анализ реализаций понятия наследования в современных промышленных языках ..." | ||
Том 27, № 6 (2015) | Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев | Аннотация PDF (Rus) похожие документы |
Л. В. Иваничкина, А. П. Непорада | ||
"... В настоящей работе рассматривается подход к расчёту надёжности хранилища данных, учитывающий как ..." | ||
Том 27, № 6 (2015) | Облачный сервис ОИЯИ: статус и перспективы | Аннотация PDF (Rus) похожие документы |
Н. А. Балашов, А. В. Баранов, В. В. Кореньков, Н. А. Кутовский, А. В. Нечаевский, Р. Н. Семенов | ||
"... научными лабораториями. Описаны работы, проводимые в Объединенном институте ядерных исследований (ОИЯИ) и ..." | ||
Том 24 (2013) | Инструментальные средства оценки качества научно-технических документов | Аннотация PDF (Rus) похожие документы |
С. В. Герасимов, Р. В. Курынин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв, А. А. Шестимеров | ||
"... В статье предлагается комбинированный подход к оценке качества научно-технических документов ..." | ||
Том 22 (2012) | Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, Д. В. Сидоров | ||
"... В статье предложена оптимизация алгоритма проверки выполнимости булевых формул DPLL (Davis - Putnam ..." | ||
Том 22 (2012) | Интерполяция формул с кванторами в CSIsat на основе инстанцирования | Аннотация PDF (Rus) похожие документы |
В. С. Мутилин, М. У. Мандрыкин | ||
"... В статье рассказывается о том, как на основе инструмента CSIsat реализована интерполяция Крейга для ..." | ||
Том 29, № 6 (2017) | Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем | Аннотация похожие документы |
А. И. Ряховский, А. А. Шмидт, В. И. Антонов | ||
"... течения в среде численного моделирования OpenFOAM. Модификация создается для моделирования взаимодействия ..." | ||
Том 29, № 3 (2017) | Эксперименты по построению параллельной композиции временных автоматов | Аннотация похожие документы |
А. П. Сотников, Н. В. Шабалдина, М. Л. Громов | ||
"... В данной работе мы продолжаем наши исследования параллельной композиции временных конечных ..." | ||
Том 30, № 2 (2018) | Чистая компиляция как парадигма программирования | Аннотация PDF (Rus) похожие документы |
А. В. Столяров, О. Г. Французов, А. С. Аникина | ||
"... В научной литературе широко представлено исследование возможностей интерпретируемого выполнения ..." | ||
Том 28, № 6 (2016) | Сравнительный анализ мер сходства, основанных на преобразовании скользящих аппроксимаций, в задачах классификации временных рядов | Аннотация PDF (Rus) похожие документы |
И. С. Алимова, В. Д. Соловьев, И. З. Батыршин | ||
"... сходства рядов. В данной статье представлен сравнительный анализ меры сходства временных рядов, основанной ..." | ||
Том 30, № 4 (2018) | Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности | Аннотация похожие документы |
Н. К. Горелиц, А. С. Гукова, Е. В. Песков | ||
"... На сегодняшний день в авиационной отрасли существует актуальная проблема - как инструментально ..." | ||
Том 30, № 3 (2018) | Верификация контроллеров связи в системах на кристалле | Аннотация похожие документы |
М. В. Петроченков, Р. Е. Муштаков, Д. И. Шпагилев | ||
"... В статье описаны подходы, которые использовались для верификации контроллеров связи в системах на ..." | ||
Том 28, № 6 (2016) | Динамическая компиляция SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
Р. А. Бучацкий, Е. Ю. Шарыгин, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник, Р. В. Баев | ||
"... В последние годы по мере увеличения производительности и роста объема оперативной и внешней памяти ..." | ||
Том 27, № 3 (2015) | Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных | Аннотация PDF (Rus) похожие документы |
А. Н. Коварцев, В. С. Смирнов, С. В. Смирнов | ||
"... Рассматривается формальный метод, обеспечивающий поддержку критически важного шага в объектно ..." | ||
Том 27, № 3 (2015) | Подход к верификации модуля прямого доступа к памяти | Аннотация PDF (Rus) похожие документы |
В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов | ||
"... В статье описан метод верификации подсистемы прямого доступа к памяти, примененный к семейству ..." | ||
Том 27, № 5 (2015) | Метод легковесного статического анализа для поиска состояний гонок | Аннотация PDF (Rus) похожие документы |
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
"... В этой статье представлен подход легковесного статического анализа к поиску состояний гонок ..." | ||
Том 27, № 5 (2015) | Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов | ||
"... В данной работе рассматривается вопрос построения масштабируемого чувствительного к путям анализа ..." | ||
Том 24 (2013) | Введение в метод CEGAR - уточнение абстракции по контрпримерам | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин, А. В. Хорошилов | ||
"... значительно возросла за последнее десятилетие. В частности, успешный автоматизированный анализ программных ..." | ||
Том 22 (2012) | Анализ типовых ошибок в драйверах операционной системы Linux | Аннотация PDF (Rus) похожие документы |
В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... соответствующие типовые ошибки автоматизированным образом. В данной статье предлагается методика выявления и ..." | ||
Том 29, № 6 (2017) | Моделирование смазочной системы главной передачи | Аннотация PDF (Rus) похожие документы |
Е. В. Авдеев, К. А. Волкова, В. А. Овчинников | ||
"... В этой статье мы описываем метод, который представляет собой композицию метода конечных объемов ..." | ||
Том 30, № 6 (2018) | Система операторов для пространственно-временного анализа динамических сцен | Аннотация PDF (Rus) похожие документы |
К. С. Петрищев, В. А. Золотов, В. А. Семенов | ||
"... В работе предлагается развитая система топологических, метрических, ориентационных и временных ..." | ||
Том 30, № 6 (2018) | О представлении модельного времени при помощи механизмов функционального программирования | Аннотация PDF (Rus) похожие документы |
Д. В. Буздалов, А. К. Петренко, А. В. Хорошилов | ||
"... Функциональное программирования играет все большую роль в современном компьютеризированном мире ..." | ||
Том 26, № 1 (2014) | Инструментальные средства проектирования систем интегрированной модульной авионики | Аннотация PDF (Rus) похожие документы |
Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов | ||
"... становится невозможным без привлечения средств автоматизации. В настоящее время в мире в этой области имеются ..." | ||
Том 26, № 1 (2014) | Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений | Аннотация PDF (Rus) похожие документы |
В. А. Семенов, А. С. Аничкин, С. В. Морозов, О. А. Тарлапан, В. А. Золотов | ||
"... для завершения проекта за минимальное время в рамках отведённых ресурсов. Традиционные методы поиска ..." | ||
Том 26, № 3 (2014) | Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования | Аннотация PDF (Rus) похожие документы |
М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов | ||
"... моделирования в различных прикладных и фундаментальных областях. Она предоставляет возможности подготовки ..." | ||
211 - 240 из 314 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)