Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 36, № 2 (2024) Пространственное POD-разложение эпидемиологических данных COVID-19 Аннотация  PDF (Rus)  похожие документы
Степан Алексеевич ЕЛИСТРАТОВ
"... are investigated as a temporary-spatial dependencies. Proper Orthogonal Decomposition is applied for the first time ..."
 
Том 29, № 1 (2017) Численное исследование характеристических мод и частот течения в высокоскоростных компрессорах Аннотация  похожие документы
М. Д. Калугин, И. Е. Евдокимов
"... and investigate an application of the Proper Orthogonal Decomposition (POD) algorithms for industrial ..."
 
Том 27, № 3 (2015) Программа статистической обработки данных анализатора wireshark и исследование входящего трафика Аннотация  PDF (Rus)  похожие документы
Вениамин Тарасов, Сергей Малахов
"... of Lindley’s integral equation using the method of spectral decomposition. It is shown that in this case ..."
 
Том 23 (2012) Зависимости между ошибками на классах тестируемых реализаций Аннотация  PDF (Rus)  похожие документы
Александр Косачев
"... The paper discusses the problem of dependency between errors defined by specification ..."
 
Том 30, № 3 (2018) Статический анализ зависимостей для семантической валидации данных Аннотация  похожие документы
Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов
"... validation, a bipartite data-rule dependency graph is formed. To automatically build the dependency graph ..."
 
Том 22 (2012) О построении аппроксимирующих функций характеристик малого числа систем Аннотация  PDF (Rus)  похожие документы
Я. А. Хетагуров
 
Том 28, № 6 (2016) Автоматический анализ, декомпозиция и параллельная оптимизация больших однородных сетей Аннотация  похожие документы
Д. Ю. Игнатов, А. Н. Филиппов, А. Д. Игнатов, С. . Чжан
"... homogeneous network analysis, its decomposition into alternative sets of loosely connected subnets ..."
 
Том 33, № 2 (2021) Оценка пользовательских историй на основе декомпозиции сложности с использованием байесовских сетей Аннотация  PDF (Rus)  похожие документы
Майра ДУРАН, Рейес ХУАРЕС-РАМИРЕС, Саманта ХИМЕНЕС, Клаудия ТОНА
"... decomposition in a coarse grain level, in order to consider important factors for complexity estimation. We use ..."
 
Том 25 (2013) Исследование и развитие метода декомпозиции для анализа больших пространственных данных Аннотация  PDF (Rus)  похожие документы
В. А. Золотов, В. А. Семенов
"... of decomposition technique. Special attention is given to decomposition based on regular octrees, which is known ..."
 
Том 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 ..."
 
Том 36, № 4 (2024) Экспериментальное сравнение методов синтеза логических схем Аннотация  похожие документы
Максим Дмитриевич ВЕРШКОВ, Алексей Александрович ЯГЖОВ, Никита Сергеевич РОМАНОВ, Анна Алексеевна ФЕДОТОВА, Егор Павлович ЗНАТНОВ
"... : the method of Akers, bi-decomposition, the methods of cascades, Minato-Morreale, Reed-Muller and DSD ..."
 
Том 35, № 5 (2023) Использование метода декомпозиции области для распараллеливания моделирования течения вязкой несжимаемой среды методом LS-STAG и дополнительного предобуславливания Аннотация  PDF (Rus)  похожие документы
Илья Константинович МАРЧЕВСКИЙ, Валерия Валентиновна ПУЗИКОВА
"... the simulation process as a whole. Therefore, domain decomposition methods are preferable. These methods involve ..."
 
Том 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 и кластеризации Аннотация  похожие документы
Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ
 
Том 29, № 6 (2017) Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, Е. М. Новиков
 
Том 29, № 2 (2017) Возможности статической верификации монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... monolithic kernels a method is proposed for decomposition of kernels into subsystems. ..."
 
Том 30, № 5 (2018) Подход к анализу исполняемого кода на основе восстановления программной архитектуры Аннотация  PDF (Rus)  похожие документы
Д. С. Кононов
 
Том 30, № 2 (2018) Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении Аннотация  PDF (Rus)  похожие документы
А. Н. Авдеева, В. В. Пузикова
"... decomposition method was applied. In each subdomain, the problem at each time step splits into a hyperbolic ..."
 
Том 36, № 6 (2024) Предметно-ориентированное проектирование в микросервисной архитектуре Аннотация  похожие документы
Хосуэ САНГАБРИЭЛЬ-АЛАРКОН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, М. Карен КОРТЕС-ВЕРДИН
"... projects with different architectural styles. Although some studies have explored the decomposition ..."
 
Том 33, № 5 (2021) Особенности реализации эффективного алгоритма параллельных вычислений для моделирования обледенения стреловидного крыла с профилем GLC-305 Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК
 
Том 36, № 6 (2024) Прогнозирование случаев заражения COVID-19 в Мексике на основе моделей временных рядов Аннотация  похожие документы
Кейла Басти КОРТЕС-МАРТИНЕС, Хуго ЭСТРАДА-ЭСКИВЕЛ, Алисия МАРТИНЕС-РЕБОЯР
"... The COVID-19 pandemic was the first health crisis to affect the entire world in this century ..."
 
Том 35, № 1 (2023) Влияние пандемии COVID-19 на психофизическое состояние разработчиков программного обеспечения и новые тенденции в области гибких навыков при работе из дома Аннотация  похожие документы
Рейес ХУАРЕС-РАМИРЕС, Кристиан НАВАРРО-КОТА, Гильермо ЛИСЕА, Саманта ХИМЕНЕС, Вероника ТАПИА-ИБАРРА, Сезар Артуро ГЕРРА ГАРСИА, Гектор Херардо ПЕРЕС-ГОНСАЛЕС
"... The coronavirus COVID-19 swept the world in early 2020, working from home was a necessity ..."
 
Том 26, № 5 (2014) Стохастическая модель процесса идентификации сервисов информационной системы Аннотация  PDF (Rus)  похожие документы
Г. Н. Циперман
"... and interrelations amount using minimal initial data. This model is based on automated business-process decomposition ..."
 
Том 27, № 6 (2015) Спектрально-аналитический метод распознавания неточных повторов в символьных последовательностях Аннотация  PDF (Rus)  похожие документы
А. Н. Панкратов, Р. К. Тетуев, М. И. Пятков, В. П. Тойгильдин, Н. Н. Попова
"... коэффициентов разложения рядов Фурье по ортогональным многочленам. Существенным свойством данного подхода ..."
 
Том 22 (2012) Программная конвейеризация циклов на платформе ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий
"... dependency graph to generate correct code. When dependency graph is built we create additional anti ..."
 
Том 27, № 3 (2015) Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. С. Проценко, А. Д. Татарников
"... , situations (instruction execution paths) and dependencies (sets of conflicts between instructions ..."
 
Том 33, № 3 (2021) Механизированная теория структур событий: случай параллельной регистровой машины Аннотация  похожие документы
Владимир Петрович ГЛАДШТЕЙН, Дмитрий Владимирович МИХАЙЛОВСКИЙ, Евгений Александрович МОИСЕЕНКО, Антон Александрович ТРУНОВ
"... . Event structures represent the causal dependency and conflict between the individual atomic actions ..."
 
Том 21 (2011) Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели Аннотация  PDF (Rus)  похожие документы
Андрей Белеванцев, Алексей Кравец, Александр Монаков
"... with no dependencies in C/C++/Fortran programs. We use GCC compiler’s GRAPHITE infrastructure that represents loop ..."
 
Том 33, № 4 (2021) Синтаксический анализ текстов предметной области при помощи онтологии Аннотация  PDF (Rus)  похожие документы
Борис Израйльевич ГЕЛЬЦЕР, Татьяна Александровна ГОРБАЧ, Валерия Викторовна ГРИБОВА, Олеся Владимировна КАРПИК, Эдуард Станиславович КЛЫШИНСКИЙ, Наталия Александровна КОЧЕТКОВА, Дмитрий Борисович ОКУНЬ, Маргарита Вячеславовна ПЕТРЯЕВА, Карина Иосифовна ШАХГЕЛЬДЯН
"... for correction of mistake made by a parser, or for constructing syntactical dependencies according ..."
 
Том 24 (2013) Современные методы поиска и индексации многомерных данных в приложениях моделирования больших динамических сцен Аннотация  PDF (Rus)  похожие документы
В. А. Золотов, В. А. Семенов
"... of multidimensional data, namely object aggregation and spatial decomposition, have been outlined. In the context ..."
 
Том 34, № 5 (2022) Библиотека для разработки компиляторов Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович МИРОНОВ, Инна Александровна БАТРАЕВА, Павел Дмитриевич ДУНАЕВ
"... , semantic analysis, and executable file generation. This library does not have external dependencies, except ..."
 
Том 30, № 6 (2018) Компонентная верификация операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко, А. В. Хорошилов
"... and complete verification of industrial OS is still unreachable, we consider its decomposition into tasks ..."
 
Том 27, № 6 (2015) Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев Аннотация  PDF (Rus)  похожие документы
Л. В. Иваничкина, А. П. Непорада
"... the recoverability threshold defined by the redundant encoding parameters. New analytical dependencies between ..."
 
Том 30, № 5 (2018) Онтологический репозиторий для CFD-расчетов Аннотация  PDF (Rus)  похожие документы
В. А. Зенкин
"... dependencies, the search for similar calculations, etc. The article gives examples of data processing results ..."
 
Том 34, № 6 (2022) Система метрик для языков программирования Аннотация  похожие документы
Тимур Расимович ФАЙЗРАХМАНОВ
"... встречающиеся в продвижении и спорах о том какой язык лучше, могут быть разложены на четкие и измеримые части ..."
 
Том 22 (2012) Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала Аннотация  PDF (Rus)  похожие документы
А. В. Шокуров
"... of variables and the maximum degree of incoming task description polynomials of degree of decomposition element ..."
 
Том 28, № 4 (2016) Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций Аннотация  похожие документы
А. С. Камкин, А. М. Коцыняк
"... dependencies. The extracted information is used to systematically enumerate test programs for a given user ..."
 
Том 29, № 4 (2017) Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения Аннотация  похожие документы
О. Москалёва, А. Громова
"... market surveillance systems are based on data mining methods, which build their own dependencies between ..."
 
Том 29, № 4 (2017) Cтохастические методы анализа комплексных программно-аппаратных систем Аннотация  похожие документы
А. А. Карнов, С. В. Зеленов
"... analysis, unlike other approaches, such as fault tree analysis and dependency diagram analysis ..."
 
1 - 40 из 59 результатов 1 2 > >> 

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

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