Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 35, № 1 (2023) Определение уровня способности студентов к системному мышлению с помощью оценки концептуальных карт Аннотация  похожие документы
Хорхе Рафаэль АГИЛАР СИСНЕРОС, Рикардо ВАЛЕРДИ, Брендан Патрик САЛЛИВАН
"... Systems Thinking Competencies have become extremely important and widely studied due to increasing ..."
 
Том 36, № 6 (2024) Определение когнитивных решений в сложных неформально структурированных доменах: эмпирические подходы Аннотация  похожие документы
Алисия Маргарита ХИМЕНЕС-ГАЛИНА, Карла ОЛМОС-САНЧЕС, Аида Арасели МАЛЬДОНАДО-МАЧИАС, Жасмин Георгина ЛИКОНА-ОЛМОС, Хулия Патрисия САНЧЕС-СОЛИС
"... -making by leveraging systems thinking and knowledge management. ..."
 
Том 29, № 4 (2017) Верификация контроллеров 10 гигабитного Ethernet Аннотация  похожие документы
М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд
"... подходов, применяемых при верификации подобных устройств - верификация физического прототипа, системная и ..."
 
Том 30, № 3 (2018) Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU Аннотация  похожие документы
А. В. Иванов, П. М. Довгалюк, В. А. Макаров
"... из таких средств является анализ работы приложения через системные вызовы. При детальном изучении ..."
 
Том 30, № 1 (2018) Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы Аннотация  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... and object models, but it is much closer to the mental model used when humans are thinking. ..."
 
Том 27, № 3 (2015) Удаленное обслуживание системных вызовов в микроядерном гипервизоре Аннотация  PDF (Rus)  похожие документы
К. Маллачиев, Н. Пакулин
"... системные вызовы, связанные с операциями с сетью, и перенаправляет их на обслуживание в выделенную ..."
 
Том 18 (2010) Прозрачный механизм удаленного обслуживания системных вызовов Аннотация  PDF (Rus)  похожие документы
П. Н. Яковенко
"... В статье рассматривается подход к удаленному обслуживанию системных вызовов, не требующий ..."
 
Том 36, № 5 (2024) Идентификация реквизитов сборки через отслеживание системных вызовов Аннотация  PDF (Rus)  похожие документы
Артемий Максимович ГРАНАТ, Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Инна Александровна БАТРАЕВА, Дмитрий Юрьевич ПЕТРОВ
"... системных вызовов. Приводится оценка временных затрат на сборку с использованием разработанного инструмента. ..."
 
Том 27, № 6 (2015) Использование ABI для интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев
"... части двоичного интерфейса приложений, такие как соглашения о вызовах и номера и параметры системных ..."
 
Том 34, № 6 (2022) Оценка языковой способности нейронных моделей на материале предикативного согласования в русском языке Аннотация  PDF (Rus)  похожие документы
Ксения Андреевна СТУДЕНИКИНА
"... Исследование нацелено на то, чтобы изучить способность нейронных сетей моделировать грамматику ..."
 
Том 35, № 6 (2023) Использование переноса стиля как способ улучшения обобщающей способности нейросети в задаче детекции объектов Аннотация  PDF (Rus)  похожие документы
Денис Константинович КАРАЧЕВ, Сергей Евгеньевич ШТЕХИН, Владимир Сергеевич ТАРАСЯН, Илья Юрьевич СМОЛИН, Максим Владимирович ИСАКОВ
"... помощью аугментации - переноса стиля. Данный метод улучшает обобщающую способность нейросети для ..."
 
Том 18 (2010) Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций Аннотация  PDF (Rus)  похожие документы
М. М. Чупилко
"... В данной статье поднята проблема системного тестирования взаимосвязанных модулей аппаратуры, когда ..."
 
Том 30, № 3 (2018) Методы защиты децентрализованных автономных организаций от системных отказов и атак Аннотация  похожие документы
А. А. Андрюхин
 
Том 30, № 3 (2018) Применение методов системного анализа к оцениванию работы учебных ассистентов Аннотация  похожие документы
Е. Н. Береснева, М. К. Горденко
"... В этой статье представлены результаты применения различных методов системного анализа (CATWOE, Rich ..."
 
Том 34, № 2 (2022) Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» Аннотация  похожие документы
Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ
 
Том 33, № 5 (2021) Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой Аннотация  PDF (Rus)  похожие документы
Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ
 
Том 31, № 2 (2019) Сглаживание аномалий производительности сетей Wi-Fi на уровне MAC путем адаптивного выделения каналов Аннотация  похожие документы
Абид Хуссейн, Мухаммад Сафьян, Сохаил Сарвар, Зия Уль Кайум, Муддессар Икбал, Назар Аббас Сакиб
"... передачи данных (медленные узлы) ухудшают пропускную способность узлов с более высокими скоростями передачи ..."
 
Том 31, № 3 (2019) Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Аннотация  похожие документы
Павел Викторович Фролов
"... контроллер в составе полной системы-на-кристалле. Для верификации системного уровня библиотека и тестовая ..."
 
Том 33, № 5 (2021) Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем Аннотация  PDF (Rus)  похожие документы
Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ
"... Разработка безопасного системного программного обеспечения (ПО), на основе которого строятся ..."
 
Том 28, № 1 (2016) Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... В данной статье рассматривается задача максимального увеличения пропускной способности сетевого ..."
 
Том 28, № 2 (2016) Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли Аннотация  похожие документы
И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц
"... использованию процессов программной и системной инженерии при создании сложных систем в целом и воздушных судов ..."
 
Том 35, № 1 (2023) Систематический обзор литературы по стандарту ISO/IEC 29110 и образованию в области программной инженерии Аннотация  похожие документы
Луис ВИВЕС, Карин МЕЛЕНДЕC, Авраам ДАВИЛА
 
Том 32, № 6 (2020) Формальная модель партицированной операционной системы реального времени на Promela Аннотация  похожие документы
Сергей Михайлович СТАРОЛЕТОВ
"... разделов и процессов; системных вызовов через программное прерывание; библиотеки ядра для работы с ..."
 
Том 30, № 5 (2018) Информатика: становление программного обеспечения и технологий программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
"... обеспечения, в том числе системных и прикладных программных систем, начиная от периода появления первых ЭВМ ..."
 
Том 37, № 2 (2025) Какой статус васюганского варианта хантыйcкого языка подтверждают вычисления на платформе ЛингвоДок с точки зрения его системных морфологических характеристик? Аннотация  похожие документы
Виктория Владимировна ВОРОБЬЕВА, Ирина Владимировна НОВИЦКАЯ
 
Том 33, № 3 (2021) Транскрипция исторических записей актов гражданского состояния с использованием экстремального модельно-управляемого подхода Аннотация  похожие документы
Раффлезия ХАН, Александр ШИВЕК, Сиара БРЕТНАХ, Тициана МАРГАРИА
"... помощью соответствующей абстракции. Системная инженерия, управляемая моделями, определяет и объединяет ..."
 
Том 30, № 4 (2018) Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Аннотация  похожие документы
Н. К. Горелиц, А. С. Гукова, Е. В. Песков
 
Том 32, № 4 (2020) Методика выявления центров компетенций авиационной науки на основе публикационной и патентной активности Аннотация  PDF (Rus)  похожие документы
Виктор Геннадьевич БЕЛЕНКОВ, Владимир Игоревич БУДЗКО, Дмитрий Алексеевич ДЕВЯТКИН, Анна Владимировна КАН, Иван Сергеевич МИХАЙЛИН, Илья Владимирович СОЧЕНКОВ, Илья Александрович ТИХОМИРОВ, Василий Сергеевич ШАПКИН
"... organization. The analysis of competencies provides a detailed understanding of the available resources when ..."
 
Том 34, № 4 (2022) Алгоритм поиска специалистов с уникальными навыками на основе цифрового следа Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич ЛЕОНОВ, Андрей Александрович ЛАПТЕВ, Анастасия Александровна ЛАУШКИНА, Михаил Витальевич СИНЬКО, Олег Олегович БАСОВ
"... set of competencies and fully evaluate his experience, skills, achievements and personal ..."
 
Том 34, № 4 (2022) Большие трансформеры для генерации кода Аннотация  похожие документы
Герман Аренович АРУТЮНОВ, Сергей Михайлович АВДОШИН
"... следует выделить способность обучаться за счет использования моделей машинного и глубинного обучения. В ..."
 
Том 26, № 2 (2014) Внесение неисправностей в программу с использованием детерминированного воспроизведения Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, Ю. В. Маркин
"... кода тестами, способности системы реагировать на некорректные данные или механизма обработки исключений ..."
 
Том 30, № 3 (2018) К построению модульной модели распределенного интеллекта Аннотация  PDF (Rus)  похожие документы
Ю. Л. Словохотов, И. С. Неретин
"... взаимодействующих автономных агентов: способность воспринимать, обрабатывать и использовать внешнюю информацию ..."
 
Том 27, № 6 (2015) Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... ++. Приведены примеры алгоритмов написания кода для системных программ и рассмотрены оптимизированные ..."
 
Том 21 (2011) Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты Аннотация  PDF (Rus)  похожие документы
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков
"... перехват и обработка системных вызовов, используемых при работе с сокетами. Рассматривается применение ..."
 
Том 18 (2010) Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам Аннотация  PDF (Rus)  похожие документы
Е. В. Корныхин
"... Статья относится к области системного функционального (core-level) тестирования микропроцессоров ..."
 
Том 27, № 1 (2015) Сервисные средства интернет для решения бизнес-задач Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин
"... системных и функциональных сервисов. Рассмотрены модели сервисной, сервисно-компонентной архитектур и ..."
 
Том 30, № 1 (2018) Принципы построения системы обеспечения жизненного цикла ответственных систем Аннотация  похожие документы
Б. А. Позин
"... ). Целью системы является снижение уровня рисков от проявления критических ошибок в системном и прикладном ..."
 
Том 30, № 2 (2018) Чистая компиляция как парадигма программирования Аннотация  PDF (Rus)  похожие документы
А. В. Столяров, О. Г. Французов, А. С. Аникина
"... системных, так и для прикладных задач) языка программирования. ..."
 
Том 33, № 1 (2021) Смягчение неопределенности при разработке научных приложений в интегрированной среде Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич ЧЕРНЫХ, Игорь Вячеславович БЫЧКОВ, Александр Геннадьевич ФЕОКТИСТОВ, Сергей Алексеевич ГОРСКИЙ, Иван Александрович СИДОРОВ, Роман Олегович КОСТРОМИН, Алексей Владимирович ЕДЕЛЕВ, Валерий Иванович ЗОРКАЛЬЦЕВ, Арутюн Ишханович АВЕТИСЯН
"... интеграцию, доставку и развертывание прикладного и системного программного обеспечения пакетов. Это помогает ..."
 
1 - 39 из 99 результатов 1 2 3 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)