Сортировать по:
| Выпуск | Название | |
| Том 33, № 1 (2021) | Смягчение неопределенности при разработке научных приложений в интегрированной среде | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич ЧЕРНЫХ, Игорь Вячеславович БЫЧКОВ, Александр Геннадьевич ФЕОКТИСТОВ, Сергей Алексеевич ГОРСКИЙ, Иван Александрович СИДОРОВ, Роман Олегович КОСТРОМИН, Алексей Владимирович ЕДЕЛЕВ, Валерий Иванович ЗОРКАЛЬЦЕВ, Арутюн Ишханович АВЕТИСЯН | ||
| "... The paper represents new means of the Orlando Tools framework. This framework is used as the basis ..." | ||
| Том 31, № 2 (2019) | Непрерывная интеграция функционального наполнения распределенных пакетов прикладных программ в Orlando Tools | Аннотация PDF (Rus) похожие документы |
| Александр Геннадьевич Феоктистов, Сергей Алексеевич Горский, Иван Александрович Сидоров, Роман Олегович Костромин, Евгений Сергеевич Фереферов, Игорь Вячеславович Бычков | ||
| "... solved. Our contribution is multifold. We expanded the capabilities of continuous integration tools ..." | ||
| Том 36, № 4 (2024) | Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ | ||
| "... analysis tool prototype. ..." | ||
| Том 37, № 2 (2025) | Оценка неопределенности в задаче регрессии при байесовской регуляризации решения | Аннотация PDF (Rus) похожие документы |
| Антон Сергеевич НУЖНЫЙ, Елена Александровна САВЕЛЬЕВА | ||
| "... The work considers the estimation of uncertainty of the regression model. The regression model ..." | ||
| Том 34, № 1 (2022) | Алгоритмы планирования вычислений с учетом избыточности и неопределенности | Аннотация PDF (Rus) похожие документы |
| Александр Геннадьевич ФЕОКТИСТОВ, Роман Олегович КОСТРОМИН, Сергей Алексеевич ГОРСКИЙ, Игорь Вячеславович БЫЧКОВ, Андрей Николаевич ЧЕРНЫХ, Ольга Юрьевна БАШАРИНА | ||
| "... into account redundancy and uncertainty in such distributed applied software packages. Compared to other ..." | ||
| Том 26, № 1 (2014) | Инструментальные средства проектирования систем интегрированной модульной авионики | Аннотация PDF (Rus) похожие документы |
| Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов | ||
| "... of automation. Nowadays an area of such tools is represented by both the proprietary tools developed ..." | ||
| Том 34, № 3 (2022) | Инструмент для сравнения .NET сборок в интегрированной среде разработки Rider | Аннотация похожие документы |
| Владислав Игоревич МИРОШНИКОВ | ||
| "... , the existing tools have some significant drawbacks, for example they don't support comparison of .NET Core ..." | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| "... This paper presents methods and tools for binary code analysis that have been developed in ISP RAS ..." | ||
| Том 31, № 2 (2019) | Полуавтоматический подход к параллельному решению задач с использованием модели Multi-BSP | Аннотация PDF (Rus) похожие документы |
| Марсело Орландо Аланис, Серджо Энрике Несмачнов Кановас | ||
| Том 30, № 3 (2018) | Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR | Аннотация похожие документы |
| С. Л. Лесовой | ||
| "... a counterexample and it means a path to the error state. In CPAchecker tool the basic predicate-based CEGAR ..." | ||
| Том 26, № 3 (2014) | Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования | Аннотация PDF (Rus) похожие документы |
| М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов | ||
| "... is the integrated graphical tool environment for the study of mathematical models of physical processes ..." | ||
| Том 28, № 3 (2016) | Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере | Аннотация PDF (Rus) похожие документы |
| Е. А. Ильченко | ||
| "... , такими как разреженные матрицы. В статье показаны примеры использования DDP-программ, интегрированных в ..." | ||
| Том 30, № 4 (2018) | Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем | Аннотация похожие документы |
| Х. С. Карраскель, А. Моралес, М. Е. Виллаполь | ||
| "... Tools for supporting automata-based analysis and verification. The tool implements several operations ..." | ||
| Том 22 (2012) | Автоматизация построения расписаний для периодических систем реального времени | Аннотация PDF (Rus) похожие документы |
| Андрей Третьяков | ||
| "... . Finally, we present developed tool set that provides automated scheduling of given tasks, allows ..." | ||
| Том 29, № 4 (2017) | Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа | Аннотация похожие документы |
| А. Р. Гималетдинова, К. Ю. Дегтярев | ||
| "... использует лингвистические переменные для выражения имеющейся нечеткости (неопределенности) в понимании ..." | ||
| Том 29, № 3 (2017) | Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов | Аннотация PDF (Rus) похожие документы |
| Ю. А. Солоделов, Н. К. Горелиц | ||
| "... of the tools necessary for functional software development, especially aircraft systems. ..." | ||
| Том 35, № 1 (2023) | Разработка и реализация средства тестирования на устойчивость хранимых данных для приложений, основанных на файловых системах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Кириллович РОДИОНОВ, Сергей Дмитриевич КУЗНЕЦОВ | ||
| "... for correct use that does not lead to loss of user data. As part of this work, a tool was developed ..." | ||
| Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
| "... problem. To deal with it, various tools for functional verification are used. Unlike bugs in software ..." | ||
| Том 27, № 3 (2015) | Облачный PaaS-сервис визуального параллельного программирования в технологии графо-символического программирования | Аннотация PDF (Rus) похожие документы |
| Дарья Егорова, Виктор Жидченко | ||
| "... the tools for creation, validation and execution of parallel programs on cluster systems. The current state ..." | ||
| Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) похожие документы |
| И. Шугуров, А. Мицюк | ||
| "... This paper is dedicated to a tool whose aim is to facilitate process mining experiments ..." | ||
| Том 32, № 5 (2020) | Экспертная оценка результатов верификации инструментов верификации моделей программ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич ГРАТИНСКИЙ, Евгений Михайлович НОВИКОВ, Илья Сергеевич ЗАХАРОВ | ||
| "... Verification tools can produce various kinds of results while checking programs against ..." | ||
| Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
| "... of semaphores, mutexes, and other synchronization tools, as well as the queue of control flows waiting ..." | ||
| Том 37, № 2 (2025) | TSAR: инструмент для оценки статических анализаторов | Аннотация PDF (Rus) похожие документы |
| Кирилл Алексеевич ЧИБИСОВ, Рубен Артурович БУЧАЦКИЙ, Андрей Дмитриевич ТИМОНИН, Владислав Игоревич ЛАЗАРЬ, Дмитрий Михайлович ЖУРИХИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... The article presents a new tool, TSAR, designed for evaluating the effectiveness of static ..." | ||
| Том 31, № 3 (2019) | Репутационные системы в электронной коммерции: Сравнительный анализ и перспективы моделирования присущей им нечеткости | Аннотация похожие документы |
| Михаил Михайлович Носовский, Константин Юрьевич Дегтярев | ||
| Том 26, № 5 (2014) | Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде | Аннотация PDF (Rus) похожие документы |
| И. В. Бычков, Г. А. Опарин, А. Г. Феоктистов, В. Г. Богданова, А. А. Пашинин | ||
| "... the multiagent methods and tools of the new generation, to ensure effective management of the combined job flow ..." | ||
| Том 30, № 2 (2018) | Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» | Аннотация PDF (Rus) похожие документы |
| Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров | ||
| "... of addition by modulo two and the tester circuit. In this case, uncertainties are introduced into the values ..." | ||
| Том 28, № 3 (2016) | Метод представления мнений экспертов в виде Z-чисел | Аннотация похожие документы |
| Е. А. Глуходед, С. И. Сметанин | ||
| "... to it aptitude to deal with nonlinearities and uncertainties whose are common in real life. It was a large step ..." | ||
| Том 29, № 4 (2017) | Инструмент для анализа поведения вполне структурированных систем переходов | Аннотация похожие документы |
| Л. В. Дворянский, В. Е. Михайлов | ||
| "... Well-structured transition systems (WSTS) became a well-known tool in the study of concurrency ..." | ||
| Том 35, № 2 (2023) | Разработка и реализация средства диагностики сетей Ethernet | Аннотация PDF (Rus) похожие документы |
| Григорий Павлович ОХРИМЕНКО, Сергей Юрьевич МОКШИН, Алексей Олегович ИГНАТЬЕВ | ||
| "... This paper describes the tools developed by the authors for analyzing the topology of Ethernet ..." | ||
| Том 34, № 5 (2022) | Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Михаил Михайлович ЧУПИЛКО, Михаил Сергеевич ЛЕБЕДЕВ, Сергей Александрович СМОЛОВ, Георги ГАЙДАДЖИЕВ | ||
| "... or hardware construction tools. Nowadays, there are many frameworks available, both open-source and commercial ..." | ||
| Том 32, № 4 (2020) | CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич ФЕДОТОВ, Шамиль Фаимович КУРМАНГАЛЕЕВ | ||
| "... of a bug fix from the software developer. The article introduces CASR: a tool for analyzing a memory image ..." | ||
| Том 33, № 3 (2021) | Power Fx: Low-code язык для инструментов совместной работы | Аннотация похожие документы |
| Илья Александрович ВОРОНКОВ, Сергей Эрикович САРАДЖИШВИЛИ | ||
| Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. Д. Татарников | ||
| "... This paper gives a survey of existing methods and tools for test program generation ..." | ||
| Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| "... and Bounded Quantification (LISBQ) earlier implemented in the HAVOC deductive verification tool. ..." | ||
| Том 26, № 1 (2014) | Инструменты анализа и разработки эффективного кода для параллельных архитектур | Аннотация PDF (Rus) похожие документы |
| Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич | ||
| Том 27, № 6 (2015) | Облачный фреймворк для интеграции сетевых экспертных и аналитических средств | Аннотация PDF (Rus) похожие документы |
| А. Н. Ермаков, С. В. Клименко, А. А. Меркулов, С. А. Панфилов, А. Н. Райков | ||
| "... the cloud framework for integrates the heterogeneous information, experts and analytical tools in the cloud ..." | ||
| Том 24 (2013) | Инструментальные средства оценки качества научно-технических документов | Аннотация PDF (Rus) похожие документы |
| С. В. Герасимов, Р. В. Курынин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв, А. А. Шестимеров | ||
| Том 23 (2012) | Виртуальная ГИС-лаборатория как инструмент анализа пространственных данных | Аннотация PDF (Rus) похожие документы |
| А. В. Кошкарев, А. А. Медведев, Ю. С. Вишняков, С. А. Поликарпов, А. Н. Сотников | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| 1 - 39 из 361 результатов | 1 2 3 4 5 6 7 8 9 10 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
