Сортировать по:
Выпуск | Название | |
Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, М. К. Ермаков | ||
Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, А. В. Хорошилов | ||
Том 27, № 1 (2015) | Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, С. П. Вартанов | ||
Том 28, № 6 (2016) | Моделирование семейств программных систем | Аннотация PDF (Rus) похожие документы |
Е. М. Лаврищева, А. К. Петренко | ||
Том 29, № 4 (2017) | Метрическая задача коммивояжера: экспериментальное исследование Парето-оптимальных алгоритмов | Аннотация похожие документы |
С. М. Авдошин, Е. Н. Береснева | ||
Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
А. Р. Волков, М. У. Мандрыкин | ||
Том 29, № 1 (2017) | Численное исследование характеристических мод и частот течения в высокоскоростных компрессорах | Аннотация похожие документы |
М. Д. Калугин, И. Е. Евдокимов | ||
Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин | ||
Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков | ||
Том 24 (2013) | Вероятностный анализ нового алгоритма упаковки прямоугольников в полосу | Аннотация PDF (Rus) похожие документы |
М. А. Трушников | ||
Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
М. С. Акопян | ||
Том 22 (2012) | Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу | Аннотация PDF (Rus) похожие документы |
М. А. Трушников | ||
Том 21 (2011) | Обзор моделей данных объектно-ориентированных СУБД | Аннотация PDF (Rus) похожие документы |
А. М. Эльдарханов | ||
Том 21 (2011) | Интеграция алгоритма кластеризации Fuzzy c-Means в PostgreSQL | Аннотация PDF (Rus) похожие документы |
Р. М. Миниахметов | ||
Том 27, № 2 (2015) | Использование многопоточных процессов в среде ParJava | Аннотация PDF (Rus) похожие документы |
М. С. Акопян | ||
Том 30, № 6 (2018) | Многомасштабный подход к моделированию сложных переходных процессов движения жидкостей в технических системах | Аннотация PDF (Rus) похожие документы |
М. В. Крапошин | ||
Том 29, № 6 (2017) | Технология обработки изображений для гидравлических приложений | Аннотация похожие документы |
Дж. Теллез-Альварез, М. Гомез, Б. Руссо | ||
Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, Е. М. Новиков | ||
Том 29, № 6 (2017) | Формальная верификация библиотечных функций ядра Linux | Аннотация PDF (Rus) похожие документы |
Д. В. Ефремов, М. У. Мандрыкин | ||
Том 29, № 6 (2017) | Трехмерный численный анализ прорыва плотины с использованием OpenFOAM | Аннотация похожие документы |
Э. Санчес-Кордеро, М. Гомез, Э. Блейд | ||
Том 30, № 1 (2018) | Методы деанонимизации пользователей биткоин | Аннотация похожие документы |
С. М. Авдошин, А. В. Лазаренко | ||
Том 30, № 2 (2018) | Автоматизированная генерация декодеров машинных команд | Аннотация PDF (Rus) похожие документы |
Н. Ю. Фокина, М. А. Соловьев | ||
Том 30, № 3 (2018) | К проверке строго детерминированного поведения временных конечных автоматов | Аннотация похожие документы |
Е. М. Винарский, В. А. Захаров | ||
Том 30, № 3 (2018) | Анализ математических постановок задачи маршрутизации с ограничением по грузоподъемности и методов их решения | Аннотация похожие документы |
Е. Н. Береснева, С. М. Авдошин | ||
Том 30, № 3 (2018) | Применение методов системного анализа к оцениванию работы учебных ассистентов | Аннотация похожие документы |
Е. Н. Береснева, М. К. Горденко | ||
Том 30, № 5 (2018) | Численное моделирование двухфазных течений через существенно гетерогенную пористую среду схемой квазихарактеристик высокого порядка | Аннотация PDF (Rus) похожие документы |
М. П. Левин | ||
Том 22 (2012) | Случайные графы, модели и генераторы безмасштабных графов | Аннотация PDF (Rus) похожие документы |
М. М. Берновски, Н. Н. Кузюрин | ||
Том 27, № 2 (2015) | Методы повышения производительности обратной отладки | Аннотация PDF (Rus) похожие документы |
М. А. Климушенкова, П. М. Довгалюк | ||
Том 29, № 4 (2017) | Контрактный метод спецификации реактивных требований | Аннотация похожие документы |
А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль | ||
Том 30, № 4 (2018) | Способы сегментации медицинских изображений | Аннотация похожие документы |
С. А. Мусатян, А. В. Ломакин, С. Ю. Сартасов, Л. К. Попыванов, И. Б. Монахов, А. С. Чижова | ||
61 - 90 из 163 результатов | << < 1 2 3 4 5 6 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)