Сортировать по:
Выпуск | Название | |
Том 28, № 5 (2016) | Поиск ошибок выхода за границы буфера в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
В. В. Каушан | ||
"... В статье рассматривается метод поиска ошибок выхода за границы буфера в рамках метода ..." | ||
Том 26, № 5 (2014) | Прямое численное моделирование аттракторов внутренних волн стратифицированной жидкости в трапециедальной области с колеблющейся вертикальной стенкой | Аннотация PDF (Rus) похожие документы |
К. Брузе, Т. Доксуа, Е. Ерманюк, С. Жубо, М. Крапошин, И. Сибгатуллин | ||
"... Проведено прямое численное моделирование формирования аттрактора внутренних гравитационных волн в ..." | ||
Том 29, № 5 (2017) | Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем | Аннотация PDF (Rus) похожие документы |
В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов | ||
"... разрядами в информационных векторах, занимающими соседние позиции в информационных векторах. Новые коды с ..." | ||
Том 30, № 2 (2018) | Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» | Аннотация PDF (Rus) похожие документы |
Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров | ||
"... тестера. При этом в значения функций вводятся неопределенности, что позволяет минимизировать сами функции ..." | ||
Том 28, № 2 (2016) | Параллельная обработка и визуализация для результатов моделирования методом молекулярной динамики | Аннотация похожие документы |
Д. В. Пузырьков, В. О. Подрыга, С. В. Поляков | ||
"... В этой работе авторами представляется библиотека "mmdlab" для интерпретируемого языка ..." | ||
Том 29, № 6 (2017) | Программный пакет для расчета аэродинамических характеристик летательных аппаратов | Аннотация похожие документы |
В. Н. Котеров, В. М. Кривцов, В. И. Зубов | ||
"... потоков газа в сложных устройствах. Модель математического потока, используемая в пакете, основана на ..." | ||
Том 30, № 3 (2018) | Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе | Аннотация PDF (Rus) похожие документы |
В. В. Зосимов, А. В. Христодоров, А. С. Булгакова | ||
"... В статье описываются функциональные возможности и структура программного модуля для ..." | ||
Том 30, № 6 (2018) | Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга | Аннотация похожие документы |
А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков | ||
"... В этой статье описывается новый подход для динамического анализа программ. Он совмещает ..." | ||
Том 28, № 1 (2016) | Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения | Аннотация PDF (Rus) похожие документы |
А. В. Дергачёв, А. В. Сидорин | ||
"... построении и применении резюме в процессе анализа исходного кода (по сравнению с анализом низкоуровневого ..." | ||
Том 28, № 1 (2016) | Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU | Аннотация PDF (Rus) похожие документы |
В. А. Платонов, А. В. Монаков | ||
"... это может привести к деградации производительности. В статье рассматривается использование ..." | ||
Том 28, № 1 (2016) | Свободное программное обеспечение для моделирования жидкости со свободной поверхностью | Аннотация PDF (Rus) похожие документы |
Е. В. Давыдова, В. Н. Корчагова | ||
"... методов, которые можно применить к решению задач течения жидкости со свободной поверхностью, и программных ..." | ||
Том 28, № 4 (2016) | Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC | Аннотация PDF (Rus) похожие документы |
А. В. Монаков, В. А. Иванишин | ||
"... В статье описывается реализация стандарта OpenMP версии 4.0 для акселераторов NVIDIA PTX в ..." | ||
Том 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) похожие документы |
В. В. Липаев | ||
"... в комплексах программ. Рассматриваются методы сокращения и ликвидации опасных рисков, регистрации и ..." | ||
Том 20 (2011) | Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени | Аннотация PDF (Rus) похожие документы |
В. В. Липаев | ||
"... Рассмотрены особенности и проблемы эффективного создания в 70-е годы сложных комплексов программ ..." | ||
Том 18 (2010) | Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин | ||
"... В статье представлен подход к построению архитектуры инструментария для тестирования на основе ..." | ||
Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
"... В настоящей статье представлено описание технической реализации системы верифицированного ..." | ||
Том 30, № 2 (2018) | Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении | Аннотация PDF (Rus) похожие документы |
А. Н. Авдеева, В. В. Пузикова | ||
"... крови в артериях, а также изучение комплексного воздействия разнообразных факторов на характеристики ..." | ||
Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) похожие документы |
А. В. Хорошилов, И. В. Щепетков | ||
"... В статье рассматривается семейство требований доверия к безопасности ADV_SPM «Моделирование ..." | ||
Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
"... В настоящей статье представлен комплекс алгоритмов, составляющих основу функционирования системы ..." | ||
Том 30, № 2 (2018) | Обзор расширяемого протокола аутентификации и его методов | Аннотация PDF (Rus) похожие документы |
А. В. Никешин, В. З. Шнитман | ||
"... предоставляющего эффективный механизм встраивания в него различных методов аутентификации, а также обзор собственно ..." | ||
Том 30, № 3 (2018) | Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем | Аннотация похожие документы |
В. Ю. Чепцов, А. В. Хорошилов | ||
"... , дополнительных требований к аппаратному обеспечению и пр. В данной статье такой подход распространяется на ядро ..." | ||
Том 28, № 1 (2016) | Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы | Аннотация PDF (Rus) похожие документы |
В. Г. Варданян | ||
"... Язык JavaScript является одним из самых популярных языков для разработки веб-приложений. В связи с ..." | ||
Том 28, № 2 (2016) | Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения | Аннотация похожие документы |
Ю. В. Белякова | ||
"... придерживается в точности одного из двух подходов к ограничению типовых параметров обобщённого кода. Таким ..." | ||
Том 28, № 3 (2016) | Возможности гибридного метода аппроксимации конвективных потоков при моделировании течений сжимаемых сред | Аннотация PDF (Rus) похожие документы |
М. В. Крапошин | ||
"... Для моделирования течений в широком диапазоне чисел Маха предложен гибридный метод аппроксимации ..." | ||
Том 30, № 3 (2018) | Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах | Аннотация PDF (Rus) похожие документы |
В. Ю. Трифанов | ||
"... Состояния гонки (data race) возникает в многопоточной программе при одновременном обращении ..." | ||
91 - 120 из 349 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)