Сортировать по:
Выпуск | Название | |
Том 27, № 6 (2015) | Спектрально-аналитический метод распознавания неточных повторов в символьных последовательностях | Аннотация PDF (Rus) похожие документы |
А. Н. Панкратов, Р. К. Тетуев, М. И. Пятков, В. П. Тойгильдин, Н. Н. Попова | ||
Том 27, № 6 (2015) | Облачный сервис ОИЯИ: статус и перспективы | Аннотация PDF (Rus) похожие документы |
Н. А. Балашов, А. В. Баранов, В. В. Кореньков, Н. А. Кутовский, А. В. Нечаевский, Р. Н. Семенов | ||
Том 27, № 6 (2015) | Облачный фреймворк для интеграции сетевых экспертных и аналитических средств | Аннотация PDF (Rus) похожие документы |
А. Н. Ермаков, С. В. Клименко, А. А. Меркулов, С. А. Панфилов, А. Н. Райков | ||
Том 28, № 2 (2016) | Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли | Аннотация похожие документы |
И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц | ||
"... управления сообщениями о проблемах, технологическая среда подготовки методик и учета результатов испытаний ..." | ||
Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
Том 27, № 4 (2015) | Метод поиска уязвимости форматной строки | Аннотация PDF (Rus) похожие документы |
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов | ||
Том 29, № 4 (2017) | Использование модульного подхода во встраиваемых операционных системах | Аннотация похожие документы |
К. А. Маллачиев, Н. В. Пакулин, А. В. Хорошилов, Д. В. Буздалов | ||
Том 26, № 2 (2014) | Снижение неоднозначности в оценке состояния объекта при управлении по прецедентам | Аннотация PDF (Rus) похожие документы |
Л. Е. Карпов, В. Н. Юдин | ||
"... мы можем опираться только на доступную информацию о состояниях объекта, управляющих воздействиях на ..." | ||
Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
Том 26, № 4 (2014) | Автоматическое распознавание предметно-специфичных терминов: экспериментальная проверка | Аннотация PDF (Rus) похожие документы |
Д. Г. Федоренко, Н. А. Астраханцев, Д. Ю. Турдаков | ||
Том 26, № 5 (2014) | Численное моделирование стратифицированных течений с использованием OpenFOAM | Аннотация PDF (Rus) похожие документы |
Н. Ф. Димитриева, Я. В. Загуменный | ||
Том 25 (2013) | Оценка эффективности минимизации ограничений запросов к СУБД | Аннотация PDF (Rus) похожие документы |
Н. А. Мендкович, С. Д. Кузнецов | ||
Том 25 (2013) | Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов | Аннотация PDF (Rus) похожие документы |
Н. Л. Луговской, С. В. Сыромятников | ||
Том 24 (2013) | Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях | Аннотация PDF (Rus) похожие документы |
М. С. Акопян, Н. Е. Андреев | ||
Том 24 (2013) | Роль предыстории при оценке сложного объекта в управлении по прецедентам | Аннотация PDF (Rus) похожие документы |
Л. Е. Карпов, В. Н. Юдин | ||
Том 24 (2013) | Гибридный подход к построению систем поддержки решений | Аннотация PDF (Rus) похожие документы |
В. Н. Юдин, Л. Е. Карпов | ||
"... представление о возможной принадлежности случая тому или иному классу (так называемый дифференциальный ряд ..." | ||
Том 23 (2012) | Обзор развития методов лексической оптимизации запросов | Аннотация PDF (Rus) похожие документы |
Н. А. Мендкович, С. Д. Кузнецов | ||
Том 23 (2012) | Комбинирование признаков для извлечения тематических цепочек в новостном кластере | Аннотация PDF (Rus) похожие документы |
А. А. Алексеев, Н. В. Лукашевич | ||
Том 22 (2012) | Подход к восстановлению потока управления запутанной программы | Аннотация PDF (Rus) похожие документы |
И. Н. Ледовских, М. Г. Бакулин | ||
Том 19 (2010) | Многопараметрическое управление на основе прецедентов | Аннотация PDF (Rus) похожие документы |
Л. Е. Карпов, В. Н. Юдин | ||
Том 18 (2010) | Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов | Аннотация PDF (Rus) похожие документы |
Д. Н. Воробьев, А. С. Камкин | ||
Том 19 (2010) | Обмен данными в распределенной системе поддержки решений | Аннотация PDF (Rus) похожие документы |
Л. Е. Карпов, В. Н. Юдин | ||
Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) похожие документы |
А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
Том 30, № 2 (2018) | Анализ баллистокардиограммы на граничных вычислительных узлах | Аннотация PDF (Rus) похожие документы |
А. С. Нужный, А. А. Прозоров, В. И. Бугаев, Н. Д. Шувалов, В. В. Подымов | ||
Том 30, № 1 (2018) | Тесты на константные неисправности как веб-сервис | Аннотация похожие документы |
Н. А. Шаляпина, А. А. Зайцев, С. В. Батрацкий, М. Л. Громов | ||
"... В этой статье рассказывается о разрабатываемом нами веб-сервисе. Разрабатывая этот сервис, мы ..." | ||
Том 30, № 1 (2018) | Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах | Аннотация похожие документы |
И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман | ||
"... мониторинга динамического графа, который доставляет в корень информацию о каждом изменении в графе за время O ..." | ||
Том 28, № 6 (2016) | Автоматический анализ, декомпозиция и параллельная оптимизация больших однородных сетей | Аннотация похожие документы |
Д. Ю. Игнатов, А. Н. Филиппов, А. Д. Игнатов, С. . Чжан | ||
Том 30, № 3 (2018) | Анализ методов оценки надежности оборудования и систем. Практика применения методов | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов | ||
Том 30, № 5 (2018) | Об одном подходе к анализу строк в языке Си для поиска переполнения буфера | Аннотация PDF (Rus) похожие документы |
И. А. Дудина, Н. Е. Малышев | ||
Том 30, № 5 (2018) | Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем | Аннотация PDF (Rus) похожие документы |
А. В. Самонов, Г. Н. Самонова | ||
121 - 150 из 171 результатов | << < 1 2 3 4 5 6 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)