Сортировать по:
Выпуск | Название | |
Том 30, № 6 (2018) | О задаче эффективного управления вычислительной инфраструктурой | Аннотация PDF (Rus) похожие документы |
Д. А. Грушин, Н. Н. Кузюрин | ||
Том 27, № 4 (2015) | Метод поиска уязвимости форматной строки | Аннотация PDF (Rus) похожие документы |
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов | ||
Том 30, № 2 (2018) | Анализ баллистокардиограммы на граничных вычислительных узлах | Аннотация PDF (Rus) похожие документы |
А. С. Нужный, А. А. Прозоров, В. И. Бугаев, Н. Д. Шувалов, В. В. Подымов | ||
Том 30, № 1 (2018) | Тесты на константные неисправности как веб-сервис | Аннотация похожие документы |
Н. А. Шаляпина, А. А. Зайцев, С. В. Батрацкий, М. Л. Громов | ||
"... реализациями новых методов подразумевает, что часть функций (а именно, реализации методов) должны быть ..." | ||
Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
Том 28, № 2 (2016) | Устройство и архитектура операционной системы реального времени | Аннотация похожие документы |
К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов | ||
Том 27, № 1 (2015) | Сервисные средства интернет для решения бизнес-задач | Аннотация PDF (Rus) похожие документы |
Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин | ||
Том 29, № 4 (2017) | Минимизация автоматов с таймаутами и временными ограничениями | Аннотация PDF (Rus) похожие документы |
А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов | ||
Том 27, № 3 (2015) | Редактор моделей процессов «Carassius» | Аннотация PDF (Rus) похожие документы |
Н. Никитина, А. Мицюк | ||
Том 26, № 6 (2014) | Предисловие | Аннотация PDF (Rus) похожие документы |
Н. В. Евтушенко, Ана Р. Кавалли, А. К. Петренко | ||
Том 29, № 3 (2017) | Эксперименты по построению параллельной композиции временных автоматов | Аннотация похожие документы |
А. П. Сотников, Н. В. Шабалдина, М. Л. Громов | ||
"... тематике, мы описываем бесконечные множества задержек выходных символов конечным образом, а именно, при ..." | ||
Том 30, № 4 (2018) | Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности | Аннотация похожие документы |
Н. К. Горелиц, А. С. Гукова, Е. В. Песков | ||
"... цикла разработки авиационного ПО в соответствии с КТ-178С, а также к инструментам, отвечающим за ..." | ||
Том 30, № 3 (2018) | Статический анализ зависимостей для семантической валидации данных | Аннотация похожие документы |
Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов | ||
Том 26, № 3 (2014) | Современное состояние исследований в области обфускации программ: определения стойкости обфускации | Аннотация PDF (Rus) похожие документы |
Н. П. Варновский, В. А. Захаров, Н. Н. Кузюрин, А. В. Шокуров | ||
Том 28, № 5 (2016) | Оценка критичности программных дефектов в условиях работы современных защитных механизмов | Аннотация PDF (Rus) похожие документы |
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов | ||
Том 29, № 4 (2017) | Использование модульного подхода во встраиваемых операционных системах | Аннотация похожие документы |
К. А. Маллачиев, Н. В. Пакулин, А. В. Хорошилов, Д. В. Буздалов | ||
"... разработку. А системному интегратору позволяет независимо от разработчиков конфигурировать ОС, выбирая какие ..." | ||
Том 23 (2012) | Комбинирование признаков для извлечения тематических цепочек в новостном кластере | Аннотация PDF (Rus) похожие документы |
А. А. Алексеев, Н. В. Лукашевич | ||
Том 30, № 1 (2018) | Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах | Аннотация похожие документы |
И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман | ||
Том 28, № 6 (2016) | Автоматический анализ, декомпозиция и параллельная оптимизация больших однородных сетей | Аннотация похожие документы |
Д. Ю. Игнатов, А. Н. Филиппов, А. Д. Игнатов, С. . Чжан | ||
Том 27, № 6 (2015) | Облачный сервис ОИЯИ: статус и перспективы | Аннотация PDF (Rus) похожие документы |
Н. А. Балашов, А. В. Баранов, В. В. Кореньков, Н. А. Кутовский, А. В. Нечаевский, Р. Н. Семенов | ||
"... , отказоустойчивости и надежности, а также подходы к интеграции с другими ОВС. ..." | ||
Том 26, № 1 (2014) | Проблемы двумерной упаковки и задачи оптимизации в распределенных вычислительных системах | Аннотация PDF (Rus) похожие документы |
Н. Н. Кузюрин, Д. А. Грушин, C. A. Фомин | ||
Том 27, № 3 (2015) | Подход к верификации модуля прямого доступа к памяти | Аннотация PDF (Rus) похожие документы |
В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов | ||
Том 26, № 6 (2014) | Расширенные конечные автоматы с таймаутами для оценки удовлетворенности пользователя ОТТ сервисом | Аннотация PDF (Rus) похожие документы |
Д. Ривера, Н. Кушик, К. Фьюензалида, А. Кавалли, Н. Евтушенко | ||
Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) похожие документы |
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
Том 30, № 3 (2018) | Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения | Аннотация PDF (Rus) похожие документы |
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян | ||
"... создания и доступа, а также освобождения динамической памяти. Поскольку применяется динамический анализ ..." | ||
Том 26, № 3 (2014) | Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке | Аннотация PDF (Rus) похожие документы |
В. А. Падарян, В. В. Каушан, А. Н. Федотов | ||
Том 28, № 2 (2016) | Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли | Аннотация похожие документы |
И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц | ||
Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
"... особенности протоколов, затрудняющие тестирование реализаций с помощью технологии UniTESK, а также особенности ..." | ||
Том 26, № 4 (2014) | Автоматическое распознавание предметно-специфичных терминов: экспериментальная проверка | Аннотация PDF (Rus) похожие документы |
Д. Г. Федоренко, Н. А. Астраханцев, Д. Ю. Турдаков | ||
31 - 60 из 416 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)