Сортировать по:
Выпуск | Название | |
Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация похожие документы |
Д. А. Лебедев, И. А. Стотланд | ||
"... данных. Контроллеры сопряжения интерфейсов учувствуют в передаче и преобразовании данных между блоками ..." | ||
Том 29, № 5 (2017) | Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем | Аннотация PDF (Rus) похожие документы |
В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов | ||
"... разрядами в информационных векторах, занимающими соседние позиции в информационных векторах. Новые коды с ..." | ||
Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) похожие документы |
А. И. Аветисян, А. И. Гетьман | ||
"... восстановления сетевых сообщений и файлов, входящих и исходящих потоков бинарных данных. Помимо того, в работе ..." | ||
Том 30, № 2 (2018) | Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» | Аннотация PDF (Rus) похожие документы |
Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров | ||
"... ». Разработан способ доопределения значений контрольных функций, позволяющий пошагово устанавливать их вид и при ..." | ||
Том 29, № 5 (2017) | Модифицированный метод оценки Story Points в методологии разработки Scrum, основанный на теории нечеткой логики | Аннотация похожие документы |
С. А. Семенкович, О. И. Колеконова, К. Ю. Дегтярев | ||
"... такой подход более удобным и простым, по сравнению с обычным методом оценивания в story points. Также, с ..." | ||
Том 29, № 1 (2017) | Моделирование перемещения клиновидного виброробота в вязкой жидкости при различных законах движения внутренней массы в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
А. Н. Нуриев, А. И. Юнусова, О. Н. Зайцева | ||
"... виброробота и вязкой среды применяется специальная итерационная схема, встраиваемая в стандартный решатель ..." | ||
Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) похожие документы |
И. Шугуров, А. Мицюк | ||
"... В данной работе представлено приложение для проведения экспериментов в области Process mining и ..." | ||
Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... testing), которые выполнялись в ИСП РАН c 1994-го года и по настоящее время. Развитие теории конформности ..." | ||
Том 28, № 6 (2016) | Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа | Аннотация PDF (Rus) похожие документы |
Ю. С. Трофимович, И. С. Козлов, Д. Ю. Турдаков | ||
"... В статье рассматриваются подходы к определению основного места проживания пользователей социальных ..." | ||
Том 30, № 3 (2018) | Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами | Аннотация похожие документы |
Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова | ||
"... В работе предложен подход для моделирования и симуляции поведения мультиагентных систем (МАС) с ..." | ||
Том 28, № 2 (2016) | Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики | Аннотация похожие документы |
Д. В. Пузырьков, В. О. Подрыга, С. В. Поляков | ||
"... программ на этом языке. Также были изучены возможности данного языка в отношении параллельных вычислений и ..." | ||
Том 30, № 3 (2018) | Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе | Аннотация PDF (Rus) похожие документы |
В. В. Зосимов, А. В. Христодоров, А. С. Булгакова | ||
"... В статье описываются функциональные возможности и структура программного модуля для ..." | ||
Том 27, № 6 (2015) | Использование ABI для интроспекции виртуальных машин | Аннотация PDF (Rus) похожие документы |
Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев | ||
"... внутреннем устройстве. Наша система основана на эмуляторе QEMU и имеет модульное строение, единицей в котором ..." | ||
Том 28, № 1 (2016) | Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения | Аннотация PDF (Rus) похожие документы |
А. В. Дергачёв, А. В. Сидорин | ||
"... построении и применении резюме в процессе анализа исходного кода (по сравнению с анализом низкоуровневого ..." | ||
Том 28, № 1 (2016) | Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU | Аннотация PDF (Rus) похожие документы |
В. А. Платонов, А. В. Монаков | ||
"... станадартных задач пакета OpenFOAM с расчётными сетками в 2 и 4 миллиона ячеек c использованием нескольких ..." | ||
Том 28, № 1 (2016) | Свободное программное обеспечение для моделирования жидкости со свободной поверхностью | Аннотация PDF (Rus) похожие документы |
Е. В. Давыдова, В. Н. Корчагова | ||
"... выбраны следующие примеры: обрушение колонны жидкости и падение капли в слой жидкости. Решения, полученные ..." | ||
Том 28, № 4 (2016) | Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC | Аннотация PDF (Rus) похожие документы |
А. В. Монаков, В. А. Иванишин | ||
"... , позволяющие организовать общий для синхронной группы стек в глобальной памяти и передавать адреса на данные в ..." | ||
Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
С. В. Козин, В. С. Мутилин | ||
"... Ядро операционной системы Linux - это частый пример современных инженерных решений в области ..." | ||
Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
В. В. Никифоров, С. Н. Баранов | ||
"... представление теста, в котором исходная строковая форма преобразуется в форму регулярного массива и, таким ..." | ||
Том 29, № 4 (2017) | Инструмент для анализа поведения вполне структурированных систем переходов | Аннотация похожие документы |
Л. В. Дворянский, В. Е. Михайлов | ||
"... . Это удобно, когда новый формализм находится в стадии изучения и разработки. Были реализованы два самых ..." | ||
Том 29, № 5 (2017) | Обещающая компиляция в ARMv8.3 | Аннотация PDF (Rus) похожие документы |
А. В. Подкопаев, О. Лахав, В. Вафеядис | ||
"... исполнением различных потоков на одном вычислительном узле. На данный момент полное и корректное описание ..." | ||
Том 23 (2012) | Комбинаторная генерация программных конфигураций ОС | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин | ||
"... параметров, который вносит коррективы как в учет покрываемых комбинаций, так и в построение отдельных тестов ..." | ||
Том 21 (2011) | Риски проектирования и производства мобильных программных продуктов | Аннотация PDF (Rus) похожие документы |
В. В. Липаев | ||
"... and approving acceptable integral risk of software products are considered. водятся основные понятия и свойства ..." | ||
Том 20 (2011) | Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени | Аннотация PDF (Rus) похожие документы |
В. В. Липаев | ||
"... Рассмотрены особенности и проблемы эффективного создания в 70-е годы сложных комплексов программ ..." | ||
Том 18 (2010) | Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин | ||
"... независимо разработанных компонентов в сложную систему и переконфигурировать ее, не изменяя кода компонентов ..." | ||
Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
"... В настоящей статье представлено описание технической реализации системы верифицированного ..." | ||
Том 30, № 2 (2018) | Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении | Аннотация PDF (Rus) похожие документы |
А. Н. Авдеева, В. В. Пузикова | ||
"... крови в артериях, а также изучение комплексного воздействия разнообразных факторов на характеристики ..." | ||
Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
"... В настоящей статье представлен комплекс алгоритмов, составляющих основу функционирования системы ..." | ||
Том 30, № 2 (2018) | Обзор расширяемого протокола аутентификации и его методов | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, В. З. Шнитман | ||
"... Authentication Protocol, EAP), специфицированного комитетом Internet Engineering Task Force, IETF, и ..." | ||
Том 30, № 3 (2018) | Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем | Аннотация похожие документы |
В. Ю. Чепцов, А. В. Хорошилов | ||
"... виртуальных машин, состоит в том, чтобы поместить всю операционную систему под гипервизор и создать внешний ..." | ||
121 - 150 из 381 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)