Сортировать по:
Выпуск | Название | |
Том 19 (2010) | Теоретические и экспериментальные оценки сложности методов локального распространения в задачах программирования в ограничениях | Аннотация PDF (Rus) похожие документы |
В. А. Семенов, О. В. Сидяка | ||
"... Обсуждаются вопросы универсальности и эффективности методов локального распространения значений и ..." | ||
Том 30, № 6 (2018) | Алгоритм построения расписаний выполнения параллельных задач на группах кластеров с процессорами различной производительности и его анализ в среднем | Аннотация PDF (Rus) похожие документы |
Д. О. Лазарев, Н. Н. Кузюрин | ||
Том 29, № 5 (2017) | Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса | Аннотация PDF (Rus) похожие документы |
А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан | ||
"... классов и интерфейсов, предназначенных для программной реализации моделей, методов и приложений теории ..." | ||
Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
"... Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки ..." | ||
Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
"... состояний, транзакций, протоколов и сигналов. Поскольку характерной особенностью рассматриваемых абстрактных ..." | ||
Том 27, № 1 (2015) | Применение временных рядов в задаче фоновой идентификации пользователей на основе анализа их работы с текстовыми данными | Аннотация PDF (Rus) похожие документы |
В. Ю. Королёв, А. Ю. Корчагин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв | ||
"... работе исследовались два различных подхода оценки отклонений: абсолютная оценка и оценка p-значения ..." | ||
Том 29, № 5 (2017) | Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений | Аннотация похожие документы |
А. В. Барабанов, А. И. Лавров, А. С. Марков, И. А. Полотнянщиков, В. Л. Цирлов | ||
"... данные о типовых уязвимостях и атаках, включая инструментальные средства проведения атак, в большом ..." | ||
Том 29, № 5 (2017) | Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ | Аннотация PDF (Rus) похожие документы |
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова | ||
"... В работе рассмотрен нетрадиционный подход к созданию параллельных программ, их анализу и ..." | ||
Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) похожие документы |
А. И. Аветисян, А. И. Гетьман | ||
"... восстановления сетевых сообщений и файлов, входящих и исходящих потоков бинарных данных. Помимо того, в работе ..." | ||
Том 19 (2010) | Энергосберегающая оптимизация кода за счет использования отключаемых компонентов процессора | Аннотация PDF (Rus) похожие документы |
И. И. Каретин, В. А. Макаров | ||
"... бинарного кода. Метод позволяет восстановить иерархическую структуру изучаемых данных и выявлять ..." | ||
Том 26, № 4 (2014) | Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии | Аннотация PDF (Rus) похожие документы |
О. Д. Борисенко, А. В. Лагута, Д. Ю. Турдаков, С. Д. Кузнецов | ||
"... В работе кратко описывается масштабируемая программная инфраструктура для хранения и обработки ..." | ||
Том 30, № 5 (2018) | Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки | Аннотация PDF (Rus) похожие документы |
О. С. Сороковикова, Д. В. Дзама, Д. Г. Асфандияров | ||
"... применение универсальных инженерных кодов общего назначения требует изрядных вычислительных мощностей и ..." | ||
Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
"... анализа: построение графа вызовов и графа потока управления, проведение анализа потоков данных и ..." | ||
Том 28, № 2 (2016) | Верификация преобразования грамматики в нормальную форму Хомского в F | Аннотация похожие документы |
М. И. Полубелова, С. Н. Божко, С. В. Григорьев | ||
"... назначения и автоматизирует доказательство их корректности. Последнее означает, что инструмент F ..." | ||
Том 28, № 3 (2016) | Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров | Аннотация похожие документы |
М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков | ||
"... свойства, специфичные для кэш-памятей, и метод поддержки согласованности состояния памяти в системе на ..." | ||
Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
"... доступа к буферу. Алгоритм использует символьное исполнение с объединением состояний и является ..." | ||
Том 28, № 5 (2016) | Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов | ||
"... , использующие интерпретатор FlexT и некоторые новые возможности поиска информации в бинарных файлах, которые ..." | ||
Том 29, № 4 (2017) | Верификация контроллеров 10 гигабитного Ethernet | Аннотация похожие документы |
М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд | ||
"... подходов, применяемых при верификации подобных устройств - верификация физического прототипа, системная и ..." | ||
Том 29, № 4 (2017) | Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков | Аннотация похожие документы |
А. В. Корнилова, Я. А. Кириленко, Н. И. Забелина | ||
"... , для улучшения качества управления малыми летательными аппаратами и снижения усталости оператора. В ..." | ||
Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) похожие документы |
И. Шугуров, А. Мицюк | ||
"... В данной работе представлено приложение для проведения экспериментов в области Process mining и ..." | ||
Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... Статья посвящена теоретическим и практическим работам по тестированию конформности (conformance ..." | ||
Том 27, № 6 (2015) | Расширение референтной модели облачной вычислительной среды в концепции крупномасштабных научных исследований | Аннотация PDF (Rus) похожие документы |
А. В. Скатков, В. И. Шевченко | ||
"... фундаментальных подходов и проработки методов прикладной реализации сервис-ориентированных облачных сред ..." | ||
Том 29, № 6 (2017) | Программный пакет для расчета аэродинамических характеристик летательных аппаратов | Аннотация похожие документы |
В. Н. Котеров, В. М. Кривцов, В. И. Зубов | ||
"... Представлен программный пакет для расчета параметров трехмерных стационарных и нестационарных ..." | ||
Том 28, № 6 (2016) | Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа | Аннотация PDF (Rus) похожие документы |
Ю. С. Трофимович, И. С. Козлов, Д. Ю. Турдаков | ||
"... , базирующийся на векторном представлении вершин графа и последующем применении алгоритма классификации на основе ..." | ||
Том 30, № 3 (2018) | Верификация контроллеров связи в системах на кристалле | Аннотация похожие документы |
М. В. Петроченков, Р. Е. Муштаков, Д. И. Шпагилев | ||
"... . Приведены принципы работы контроллеров на уровне транзакций, канальном и физическом, и отмечен их общий ..." | ||
Том 30, № 3 (2018) | Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами | Аннотация похожие документы |
Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова | ||
"... В работе предложен подход для моделирования и симуляции поведения мультиагентных систем (МАС) с ..." | ||
Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) похожие документы |
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
"... уровне абстракций бинарного и исходного кода и сложности переноса на другие процессорные архитектуры и ОС ..." | ||
Том 27, № 6 (2015) | Использование ABI для интроспекции виртуальных машин | Аннотация PDF (Rus) похожие документы |
Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев | ||
"... части двоичного интерфейса приложений, такие как соглашения о вызовах и номера и параметры системных ..." | ||
Том 27, № 5 (2015) | Реализация сервиса для выполнения Apache Spark задач и создания Apache Spark кластеров на основе Openstack Sahara | Аннотация PDF (Rus) похожие документы |
А. В. Алексиянц, О. Д. Борисенко, Д. Ю. Турдаков, А. В. Шер, С. Д. Кузнецов | ||
"... В работе рассматривается задача создания виртуальных Apache Spark и Apache Hadoop кластеров для ..." | ||
Том 19 (2010) | Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных | Аннотация PDF (Rus) похожие документы |
В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка | ||
"... комплементарные парадигмы программирования, а именно: объектно-ориентированное программирование (OOP) и логическое ..." | ||
91 - 120 из 161 результатов | << < 1 2 3 4 5 6 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)