Сортировать по:
| Выпуск | Название | |
| Том 20 (2011) | Использование аппаратной виртуализации в контексте информационной безопасности | Аннотация PDF (Rus) похожие документы |
| Д. В. Силаков | ||
| Том 29, № 6 (2017) | Формальная верификация библиотечных функций ядра Linux | Аннотация PDF (Rus) похожие документы |
| Д. В. Ефремов, М. У. Мандрыкин | ||
| "... функций ядра ОС Linux с помощью стека инструментов AstraVer. В набор включены преимущественно функции ..." | ||
| Том 29, № 6 (2017) | Исследование максимального размера плотного подграфа случайного графа | Аннотация PDF (Rus) похожие документы |
| Н. Н. Кузюрин, Д. О. Лазарев | ||
| "... при получена оценка сверху на размер максимального с-плотного подграфа асимптотически почти наверно ..." | ||
| Том 29, № 6 (2017) | Алгоритм упаковки прямоугольников в несколько полос и анализ его точности в среднем | Аннотация PDF (Rus) похожие документы |
| Д. О. Лазарев, Н. Н. Кузюрин | ||
| "... упаковки прямоугольников в полос, , с сохранением оценки . ..." | ||
| Том 29, № 6 (2017) | Задачи оптимизации размещения контейнеров MPI-приложений на вычислительных кластерах | Аннотация PDF (Rus) похожие документы |
| Д. А. Грушин, Н. Н. Кузюрин | ||
| "... оптимизации размещения задач по узлам кластера по сравнению с классической схемой работы планировщика. В ..." | ||
| Том 30, № 2 (2018) | Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных | Аннотация PDF (Rus) похожие документы |
| Р. А. Гилязев, Д. Ю. Турдаков | ||
| Том 30, № 2 (2018) | Преобразование типизированных функций в реляционную форму | Аннотация PDF (Rus) похожие документы |
| П. А. Лозов, Д. Ю. Булычев | ||
| Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация похожие документы |
| Д. А. Лебедев, И. А. Стотланд | ||
| "... современных микропроцессорных системах существует множество контроллеров, работающих с собственными типами ..." | ||
| Том 30, № 5 (2018) | Численное моделирование качки судна с шахтным устройством на встречном волнении | Аннотация PDF (Rus) похожие документы |
| К. Д. Овчинников | ||
| "... гидромеханики для определения характеристик качки судна с шахтным устройством и колебаний жидкости в шахте на ..." | ||
| Том 27, № 5 (2015) | Современные методы аспектно-ориентированного анализа эмоциональной окраски | Аннотация PDF (Rus) похожие документы |
| И. А. Андрианов, В. Д. Майоров, Д. Ю. Турдаков | ||
| Том 26, № 4 (2014) | Автоматическое распознавание предметно-специфичных терминов: экспериментальная проверка | Аннотация PDF (Rus) похожие документы |
| Д. Г. Федоренко, Н. А. Астраханцев, Д. Ю. Турдаков | ||
| Том 30, № 2 (2018) | Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» | Аннотация PDF (Rus) похожие документы |
| Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров | ||
| "... Рассматривается задача синтеза самопроверяемой схемы встроенного контроля с оптимизацией ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... основе проверки моделей и результаты его сравнения с существующими решениями. В методе используется ..." | ||
| Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков, А. С. Камкин | ||
| "... шаге полученная абстрактная модель верифицируется с помощью инструмента Spin обычным образом. Помимо ..." | ||
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
| С. В. Козин, В. С. Мутилин | ||
| "... связи уже существующих программах для проверки кода и конфигурационного файла с метрикой покрытия. Такой ..." | ||
| Том 29, № 5 (2017) | Моделирование программно-аппаратных систем и анализ их безопасности | Аннотация PDF (Rus) похожие документы |
| С. В. Зеленов, С. А. Зеленова | ||
| Том 29, № 6 (2017) | Критерий существования бесконфликтного расписания для системы строго периодических задач | Аннотация PDF (Rus) похожие документы |
| С. А. Зеленова, С. В. Зеленов | ||
| "... . При планировании строго периодических задач с прерываниями наиболее трудным этапом является выбор ..." | ||
| Том 30, № 4 (2018) | Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение | Аннотация похожие документы |
| А. В. Головешкин, С. С. Михалкович | ||
| "... безопасной для использования и менее ограничительной по сравнению с ближайшими аналогами в генераторах Coco/R ..." | ||
| Том 28, № 1 (2016) | Оптимизация динамической загрузки библиотек на архитектуре ARM | Аннотация PDF (Rus) похожие документы |
| Е. А. Кудряшов, Д. М. Мельник, А. В. Монаков | ||
| Том 29, № 5 (2017) | Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем | Аннотация PDF (Rus) похожие документы |
| В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов | ||
| "... Предложен способ построения модифицированных кодов с суммированием взвешенных переходов между ..." | ||
| Том 29, № 4 (2017) | Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ | Аннотация похожие документы |
| Д. Р. Башкирова, Ш. Йошидзава, Р. Х. Латыпов, Х. Йокота | ||
| "... ), необходимы эффективные и быстрые методы его аппроксимации, обладающие большей точностью по сравнению с ..." | ||
| Том 27, № 3 (2015) | Эффективное использование ресурсов распределенной платформы облачных вычислений для обеспечения качества мультимедийных услуг | Аннотация PDF (Rus) похожие документы |
| И. П. Болодурина, Д. И. Парфёнов | ||
| "... основные особенности обслуживания потоков с учетом топологий системы, сетевых сервисов и существующих ..." | ||
| Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Д. Бейер, А. К. Петренко | ||
| Том 29, № 2 (2017) | Турбулентная конвекция термоэлектричеством в охладительно-нагревательном устройстве | Аннотация похожие документы |
| Х. М. Редондо, Дж. Д. Теллес-Альварес, Х. М. Санчес | ||
| "... чисел Прандтля с использованием пластовой и пресной воды, чтобы сформировать градиенты плотности и ..." | ||
| Том 30, № 3 (2018) | Верификация контроллеров связи в системах на кристалле | Аннотация похожие документы |
| М. В. Петроченков, Р. Е. Муштаков, Д. И. Шпагилев | ||
| "... тестовой системы, основанная на общих свойствах устройств. Она включает компоненты для работы с интерфейсом ..." | ||
| Том 30, № 3 (2018) | Статический анализ зависимостей для семантической валидации данных | Аннотация похожие документы |
| Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов | ||
| "... валидации и обеспечения возможности управления данными в соответствии с принципами ACID. ..." | ||
| Том 30, № 6 (2018) | Методы анализа информационных потоков в сети Интернет | Аннотация PDF (Rus) похожие документы |
| А. А. Аветисян, М. Д. Дробышевский, Д. Ю. Турдаков | ||
| Том 28, № 2 (2016) | Подход к обнаружению анти-паттернов в сервис-ориентированных системах | Аннотация похожие документы |
| А. С. Югов | ||
| "... любые другие программные системы, развиваются с течением времени, независимо от того, какими были ..." | ||
| Том 30, № 3 (2018) | Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR | Аннотация похожие документы |
| С. Л. Лесовой | ||
| "... подход позволяет избежать построения новой системы с нуля. Для создания архитектурных моделей могут ..." | ||
| Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
| С. А. Смолов | ||
| "... для решения многих задач, связанных с процессом проектирования и обеспечения качества программных и ..." | ||
| Том 29, № 4 (2017) | Методика параметризованной верификации протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков | ||
| "... когерентности памяти системы Эльбрус-4С. Результирующие формальные модели отражают представление протоколов ..." | ||
| Том 29, № 4 (2017) | Программа для мониторинга общественных настроений в России на основе сообщений из Twitter | Аннотация похожие документы |
| С. И. Сметанин | ||
| "... проанализированы и использованы для оценки общего состояния большой популяции пользователей с целью решения научных ..." | ||
| Том 29, № 1 (2017) | Обзор состояния области потоковой обработки данных | Аннотация PDF (Rus) похожие документы |
| Р. С. Самарев | ||
| "... потоковой обработки данных. Уделяется внимание архитектурным аспектам фреймворков, а также связанными с ними ..." | ||
| Том 30, № 1 (2018) | Математическое моделирование эволюции завихренности при пространственном обтекании тел методом вихревых петель | Аннотация PDF (Rus) похожие документы |
| С. А. Дергачев | ||
| "... Моделирование гидродинамических явлений, связанных с обтеканием подвижных деформируемых тел ..." | ||
| Том 30, № 1 (2018) | Методы анализа вредоносного программного обеспечения под ОС Android | Аннотация похожие документы |
| С. М. Старолетов | ||
| "... В статье рассматривается проблема анализа приложений под ОС Андроид с целью выявления вредоносного ..." | ||
| Том 30, № 3 (2018) | Нотация криптографической стековой машины версии один | Аннотация похожие документы |
| С. Е. Прокопьев | ||
| "... значений цифровой подписи и т.д. Текущая реализация языка включает функции трансляции спецификаций в ..." | ||
| Том 30, № 3 (2018) | Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения | Аннотация PDF (Rus) похожие документы |
| С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян | ||
| "... символьное исполнение программы с применением решателей SMT (Satisfiability Modulo Theories) [12]. Это ..." | ||
| Том 28, № 2 (2016) | Верификация преобразования грамматики в нормальную форму Хомского в F | Аннотация похожие документы |
| М. И. Полубелова, С. Н. Божко, С. В. Григорьев | ||
| "... других алгоритмов для работы с грамматиками. В данной статье рассматривается верификация реализации ..." | ||
| Том 28, № 6 (2016) | Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций | Аннотация PDF (Rus) похожие документы |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| 79 - 117 из 281 результатов | << < 1 2 3 4 5 6 7 8 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
