Сортировать по:
Выпуск | Название | |
Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) похожие документы |
М. С. Форостьянова | ||
Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) похожие документы |
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
Том 18 (2010) | Создание модулей поддержки архитектур для среды TrEx с помощью специализированного языка описания процессоров | Аннотация PDF (Rus) похожие документы |
П. М. Довгалюк, М. А. Климушенкова, А. М. Мухина | ||
Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
Том 29, № 4 (2017) | Использование модульного подхода во встраиваемых операционных системах | Аннотация похожие документы |
К. А. Маллачиев, Н. В. Пакулин, А. В. Хорошилов, Д. В. Буздалов | ||
"... процессора, составом каналов связи, поддерживаемыми протоколами связи и т. д. Обычно встраиваемые ОС ..." | ||
Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
Том 27, № 3 (2015) | Эффективное взаимодействие с СУБД DIM | Аннотация PDF (Rus) похожие документы |
Д. В. Антонов, В. С. Рублев | ||
Том 27, № 5 (2015) | Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей | Аннотация PDF (Rus) похожие документы |
Д. А. Грушин, Н. Н. Кузюрин | ||
Том 25 (2013) | Оценка эффективности минимизации ограничений запросов к СУБД | Аннотация PDF (Rus) похожие документы |
Н. А. Мендкович, С. Д. Кузнецов | ||
Том 24 (2013) | Распределенные горизонтально масштабируемые решения для управления данными | Аннотация PDF (Rus) похожие документы |
С. Д. Кузнецов, А. В. Посконин | ||
Том 23 (2012) | «Ленивый» анализ исходного кода на языках С и С++ | Аннотация PDF (Rus) похожие документы |
В. О. Савицкий, Д. В. Сидоров | ||
Том 23 (2012) | Алгоритмы управления буферным пулом СУБД при работе с флэш-накопителями | Аннотация PDF (Rus) похожие документы |
С. Д. Кузнецов, А. А. Прохоров | ||
Том 23 (2012) | Обзор развития методов лексической оптимизации запросов | Аннотация PDF (Rus) похожие документы |
Н. А. Мендкович, С. Д. Кузнецов | ||
Том 22 (2012) | Инкрементальный анализ исходного кода на языках C/C++ | Аннотация PDF (Rus) похожие документы |
В. О. Савицкий, Д. В. Сидоров | ||
Том 23 (2012) | Энергоэффективные вычисления для группы кластеров | Аннотация PDF (Rus) похожие документы |
Д. А. Грушин, Н. Н. Кузюрин | ||
Том 21 (2011) | WikifyMe: создание модели сравнения для викификаторов | Аннотация PDF (Rus) похожие документы |
С. О. Бартунов, А. А. Болдаков, Д. Ю. Турдаков | ||
Том 18 (2010) | Система моделирования Grid: реализация и возможности применения | Аннотация PDF (Rus) похожие документы |
Д. А. Грушин, А. И. Поспелов | ||
Том 18 (2010) | Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов | Аннотация PDF (Rus) похожие документы |
Д. Н. Воробьев, А. С. Камкин | ||
Том 30, № 6 (2018) | Алгоритм построения расписаний выполнения параллельных задач на группах кластеров с процессорами различной производительности и его анализ в среднем | Аннотация PDF (Rus) похожие документы |
Д. О. Лазарев, Н. Н. Кузюрин | ||
Том 30, № 6 (2018) | О задаче эффективного управления вычислительной инфраструктурой | Аннотация PDF (Rus) похожие документы |
Д. А. Грушин, Н. Н. Кузюрин | ||
Том 30, № 6 (2018) | Исследовательский поиск научных статей | Аннотация PDF (Rus) похожие документы |
Я. Р. Недумов, С. Д. Кузнецов | ||
Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
Том 29, № 6 (2017) | Реализация сервиса для замены Keystone в качестве центрального сервиса идентификации облачной платформы Openstack | Аннотация PDF (Rus) похожие документы |
Е. Л. Аксенова, В. В. Швецова, О. Д. Борисенко, И. В. Богомолов | ||
Том 30, № 2 (2018) | Анализ баллистокардиограммы на граничных вычислительных узлах | Аннотация PDF (Rus) похожие документы |
А. С. Нужный, А. А. Прозоров, В. И. Бугаев, Н. Д. Шувалов, В. В. Подымов | ||
Том 28, № 6 (2016) | Подходы к представлению результатов анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов | ||
Том 30, № 5 (2018) | Формализация метамодели системы управления требованиями | Аннотация PDF (Rus) похожие документы |
Д. С. Кильдишев, А. В. Хорошилов | ||
Том 28, № 1 (2016) | Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne | Аннотация PDF (Rus) похожие документы |
А. А. Цынаева, М. Н. Никитин | ||
Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
М. С. Малеванный, С. С. Михалкович | ||
91 - 120 из 223 результатов | << < 1 2 3 4 5 6 7 8 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)