Сортировать по:
Выпуск | Название | |
Том 30, № 3 (2018) | Статический анализ зависимостей для семантической валидации данных | Аннотация похожие документы |
Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов | ||
"... validation, a bipartite data-rule dependency graph is formed. To automatically build the dependency graph ..." | ||
Том 35, № 5 (2023) | Проблема валидации современных систем исправления грамматических ошибок: случай ошибок на уровне символов | Аннотация похожие документы |
Владимир Миронович СТАРЧЕНКО, Алексей Миронович СТАРЧЕНКО | ||
"... several datasets. In addition to CoNLL-2014 validation dataset, we contribute a synthetic dataset ..." | ||
Том 35, № 6 (2023) | Валидация требований и ее влияние на качество при использовании программного обеспечения: тематическое исследование | Аннотация PDF (Rus) похожие документы |
Луис КАНЧАРИ, Паула Мария АНГЕЛЕРИ, Авраам Элисео ДАВИЛА РАМОН | ||
"... . The results show that the validation activities introduced in the software requirements stage have a positive ..." | ||
Том 22 (2012) | О построении аппроксимирующих функций характеристик малого числа систем | Аннотация PDF (Rus) похожие документы |
Я. А. Хетагуров | ||
"... to linear equations MM using performance data close to the destination and use of the systems, parts ..." | ||
Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
Том 33, № 6 (2021) | Обзор методов функционального онлайн-тестирования микропроцессоров | Аннотация PDF (Rus) похожие документы |
Никита Дмитриевич ЧЕРТОК, Михаил Михайлович ЧУПИЛКО | ||
Том 31, № 5 (2019) | Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» | Аннотация PDF (Rus) похожие документы |
Александр Валерьянович Самонов | ||
"... logics. In order to execute of validation and verification for complex of requirements and design ..." | ||
Том 26, № 4 (2014) | Автоматическое создание виртуальных кластеров Apache Spark в облачной среде Openstack | Аннотация PDF (Rus) похожие документы |
О. Д. Борисенко, Д. Ю. Турдаков, С. Д. Кузнецов | ||
"... clusters without any dependencies for prepared operating system image. Current article doesn't use Ansible ..." | ||
Том 30, № 5 (2018) | Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем | Аннотация PDF (Rus) похожие документы |
А. В. Самонов, Г. Н. Самонова | ||
Том 22 (2012) | Инкрементальный анализ исходного кода на языках C/C++ | Аннотация PDF (Rus) похожие документы |
В. О. Савицкий, Д. В. Сидоров | ||
Том 32, № 4 (2020) | Использование Big Data в международном бизнесе | Аннотация PDF (Rus) похожие документы |
Константин Анатольевич АЛЕКСЕЕВ | ||
"... means the volumes of accumulated data, but do not forget about the technical side, the considered ..." | ||
Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, Е. М. Новиков | ||
"... инкрементального построения спецификаций моделей окружения и требований для подсистем монолитного ядра операционных ..." | ||
Том 23 (2012) | Зависимости между ошибками на классах тестируемых реализаций | Аннотация PDF (Rus) похожие документы |
Александр Косачев | ||
"... The paper discusses the problem of dependency between errors defined by specification ..." | ||
Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация похожие документы |
Д. А. Лебедев, И. А. Стотланд | ||
"... microprocessor systems there are a lots of controllers operating with their own data types. Communication ..." | ||
Том 35, № 2 (2023) | Реальное применение методов интерпретации свёрточных нейронных сетей: обнаружение и объяснение ошибок классификатора изображений документов | Аннотация похожие документы |
Александр Олегович ГОЛОДКОВ, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ | ||
"... was made as to why the neural network shows low metrics on data that differs from training images ..." | ||
Том 33, № 4 (2021) | Автоматизация проверки UML диаграмм, созданных студентами | Аннотация похожие документы |
Татьяна Сергеевна ГАШЕВА, Дмитрий Игоревич ВЛАСОВ, Андрей Валерьевич ОТИНОВ, Наталья Николаевна ДАЦУН | ||
"... presents software for validation activity, class and use-case diagrams by XMI representation. To achieve ..." | ||
Том 37, № 3 (2025) | Оптимизации генерации иерархических уровней детализации для масштабных полигональных сцен | Аннотация PDF (Rus) похожие документы |
Василий Николаевич ШУТКИН, Никита Константинович МОРОЗКИН, Виталий Адольфович СЕМЕНОВ, Олег Анатольевич ТАРЛАПАН | ||
Том 29, № 4 (2017) | Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения | Аннотация похожие документы |
О. Москалёва, А. Громова | ||
"... market surveillance systems are based on data mining methods, which build their own dependencies between ..." | ||
Том 27, № 6 (2015) | Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев | Аннотация PDF (Rus) похожие документы |
Л. В. Иваничкина, А. П. Непорада | ||
"... This work examines the approach to the estimation of the data storage reliability that accounts ..." | ||
Том 26, № 1 (2014) | Инструментальные средства проектирования систем интегрированной модульной авионики | Аннотация PDF (Rus) похожие документы |
Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов | ||
Том 26, № 4 (2014) | Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии | Аннотация PDF (Rus) похожие документы |
О. Д. Борисенко, А. В. Лагута, Д. Ю. Турдаков, С. Д. Кузнецов | ||
"... This article is an overview of scalable infrastructure for storage and processing of genome data ..." | ||
Том 23 (2012) | Система интеграции данных на основе наборов RDF-связей пространства Linked Open Data | Аннотация PDF (Rus) похожие документы |
Кузнецов Константин | ||
"... This paper describes research-in-progress work on data integration system in Linked Open Data space ..." | ||
Том 28, № 2 (2016) | Способ статической оценки времени работы компонентов AADL-моделей | Аннотация похожие документы |
А. М. Троицкий, Д. В. Буздалов | ||
"... is vitally used. Models can be used for checking and validation of developed system, including early ..." | ||
Том 18 (2010) | Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин | ||
Том 31, № 5 (2019) | DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей | Аннотация PDF (Rus) похожие документы |
Ахмед Хан | ||
"... , a graph of class dependencies is created, in which nodes represent classes, and relations between nodes ..." | ||
Том 22 (2012) | Автоматизация построения расписаний для периодических систем реального времени | Аннотация PDF (Rus) похожие документы |
Андрей Третьяков | ||
"... visualization of generated schedule, provides GUI to edit schedule, and supports validation of built schedules ..." | ||
Том 28, № 3 (2016) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация похожие документы |
И. С. Шугуров, А. А. Мицюк | ||
Том 27, № 4 (2015) | Модель представления данных при проведении глубокого анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов | ||
"... The article suggests a new object model of data for in-depth analysis of network traffic ..." | ||
Том 32, № 5 (2020) | Распределенная модульная платформа «Цифровая Лаборатория» как среда для проведения научных исследований и разработок НИЦ «Курчатовский Институт» | Аннотация PDF (Rus) похожие документы |
Андрей Николаевич ПОЛЯКОВ, Ирина Михайловна ЕНЯГИНА, Дмитрий Сергеевич КОКОВИН | ||
"... experiments. The processing and storage of the obtained experimental data is carried out on the supercomputer ..." | ||
Том 32, № 1 (2020) | Большие данные: аналитические решения, исследовательские задачи и тенденции | Аннотация похожие документы |
Ноаман Мухаммед Али, Борис Асенович Новиков | ||
"... The term Big Data refers to an extensive collections of digital data generating every second ..." | ||
Том 29, № 1 (2017) | Тестирование возможностей открытого кода BEM++ по решению задач акустики | Аннотация PDF (Rus) похожие документы |
П. С. Лукашин, С. В. Стрижак, Г. А. Щеглов | ||
Том 21 (2011) | Эвристическое моделирование данных в информационных системах | Аннотация PDF (Rus) похожие документы |
Мартин Давтян | ||
"... data and use heuristics to make hypotheses about possible data structure. Such systems are intended ..." | ||
Том 36, № 2 (2024) | Подход к исследованию учебных планов, основанный на данных | Аннотация похожие документы |
Юри НАСУ, Михаил Сергеевич ДРОБИНИН, Марк Станиславович ЕФАНОВ, Вячеслав Владимирович ЛАНИН | ||
"... the algorithm to data-driven curriculum analysis based on natural language processing of course names ..." | ||
Том 35, № 2 (2023) | Ферма данных: информационная система сбора, хранения и обработки неструктурированных данных из разнородных источников | Аннотация PDF (Rus) похожие документы |
Сергей Павлович ЛЕВАШКИН, Константин Николаевич ИВАНОВ, Сергей Владимирович КУШУКОВ | ||
"... The original information system «data farm» is presented. Today, the successful application ..." | ||
Том 36, № 2 (2024) | Пространственное POD-разложение эпидемиологических данных COVID-19 | Аннотация PDF (Rus) похожие документы |
Степан Алексеевич ЕЛИСТРАТОВ | ||
"... dependencies, it requires rows of simultaneous data, which in fact may not be so. In the article the correction ..." | ||
Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
С. А. Смолов | ||
"... verification. The model categories that are mostly described here are flow or dependency graph models ..." | ||
Том 34, № 2 (2022) | Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации | Аннотация похожие документы |
Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ | ||
Том 28, № 3 (2016) | Поддержка выполнения проектов, ориентированных на данные, в современных предприятиях | Аннотация похожие документы |
А. Р. Топчян | ||
"... With the growing volume and demand for data a major concern for an Organization trying to implement ..." | ||
Том 28, № 6 (2016) | Применение облачных вычислений для анализа данных большого объема в умных городах | Аннотация PDF (Rus) похожие документы |
Рензо Массобрио, Серхио Несмачнов, Андрей Черных, Арутюн Аветисян, Глеб Радченко | ||
"... In this paper, we present a Big Data analysis paradigm related to smart cities using cloud ..." | ||
1 - 39 из 501 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)