Сортировать по:
| Выпуск | Название | |
| Том 15, № 1 (2008) | Хореография сервисов в семантической сервис-ориентированной архитектуре | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Кашалкин, В. А. Курчидис | ||
| "... problem in the semantic service-oriented architecture are introduse in the article. The decision algorithm ..." | ||
| Том 14, № 1 (2007) | Принципы построения семантической сервис-ориентированной архитектуры | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Кашалкин, В. А. Курчидис | ||
| "... Construction principles of service - oriented architecture as a means of achieving adaptability ..." | ||
| Том 23, № 4 (2016) | Облачный сервис для интерактивного моделирования межтерриториальной торговли | Аннотация PDF (Rus) похожие документы |
| А. С. Величко, В. В. Грибова, Л. А. Федорищев | ||
| "... architectures: the simulation module is made on a highperformance server platform, management and visualization ..." | ||
| Том 27, № 4 (2020) | Архитектура формально-верифицированной системы распределенного реестра InnoChain | Аннотация PDF (Rus) похожие документы |
| Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев | ||
| "... In this paper we consider the software architecture of InnoChain, a distributed ledger system (DLS ..." | ||
| Том 31, № 3 (2024) | Матрично-кубитный алгоритм семантического анализа вероятностных данных | Аннотация PDF (Rus) похожие документы |
| Илья Алексеевич Суров | ||
| "... for development of nature-like computational architectures on novel logical grounds. ..." | ||
| Том 21, № 4 (2014) | Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Бойцов | ||
| "... with the multi-tenant architecture. The cluster is a set of relational database servers with the single entry ..." | ||
| Том 21, № 6 (2014) | Программный комплекс для анализа и визуализации графов | Аннотация PDF (Rus) похожие документы |
| Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский | ||
| "... the overall architecture of application and basic principles of construction and operation of the main modules ..." | ||
| Том 26, № 4 (2019) | Методы специализации онтологии процессов, ориентированной на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин | ||
| "... of verification-oriented domain-specific process ontologies which are used to describe parallel and distributed ..." | ||
| Том 25, № 2 (2018) | Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам | Аннотация PDF (Rus) похожие документы |
| Татьяна Рудольфовна Шмелёва | ||
| Том 20, № 4 (2013) | Проектирование и разработка имитационной модели мультиклиентского кластера баз данных | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Бойцов | ||
| "... -tenant architecture. Besides, the article describes a simulation model of such a cluster, as well ..." | ||
| Том 18, № 3 (2011) | Модульная модель мультимедийного документа и особенности ее программной реализации | Аннотация PDF (Rus) похожие документы |
| Владислав Игоревич Январев | ||
| "... and multimedia document indexing and searching. The paper describes an architecture of a Content Management ..." | ||
| Том 22, № 6 (2015) | Анализ системных исполнений с помощью Process Mining | Аннотация PDF (Rus) похожие документы |
| С. А. Шершаков, В. А. Рубин | ||
| "... (service-oriented architecture) IS, these logs contain details about sequences of process and service calls ..." | ||
| Том 26, № 1 (2019) | Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов | ||
| "... and a visual web-oriented environment (SIVE) for dynamic control of data flows in campus SDN based on OpenFlow ..." | ||
| Том 22, № 6 (2015) | Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight | Аннотация PDF (Rus) похожие документы |
| А. А. Носков, М. А. Никитинский, И. В. Алексеев | ||
| "... Traditional network architecture is inflexible and complicated. This observation has led ..." | ||
| Том 25, № 4 (2018) | Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров | Аннотация PDF (Rus) похожие документы |
| Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов | ||
| "... , so we had to develop an architecture of the system in that way. Since the system contains sensitive ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... The article considers the specifics of a model oriented approach to software development based ..." | ||
| Том 26, № 1 (2019) | Иерархические периферийные вычисления | Аннотация PDF (Rus) похожие документы |
| Руслан Леонидович Смелянский | ||
| "... dictated by these applications, outlines the architecture of this new paradigm which we call Hierarchical ..." | ||
| Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... RAS. Based on the two-level architecture of the system, the C-light input language is translated ..." | ||
| Том 26, № 1 (2019) | Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Василий Николаевич Пашков | ||
| "... The architecture of the high availability distributed control plane for SDN/OpenFlow networks ..." | ||
| Том 26, № 1 (2019) | Об одном подходе к построению сетевого процессорного устройства | Аннотация PDF (Rus) похожие документы |
| Станислав Олегович Беззубцев, Вячеслав Викторович Васин, Дмитрий Юрьевич Волканов, Шынар Рустембековна Жайлауова, Владислав Александрович Мирошник, Юлия Александровна Скобцова, Руслан Леонидович Смелянский | ||
| "... The paper proposes the architecture and basic requirements for a network processor for OpenFlow ..." | ||
| Том 30, № 4 (2023) | Алгоритм определения тональности предложений публицистического стиля на русском языке на основе семантических правил | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук | ||
| "... publisism sentences oriented sentiment detection algorithm. The algorithm recursively applies appropriate ..." | ||
| Том 25, № 6 (2018) | Онтология процессов, ориентированная на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова | ||
| "... properties of these processes. Our ontological representation of the processes is oriented both ..." | ||
| Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
| "... into account the features of both the programming language and the architecture of the system. Currently ..." | ||
| Том 19, № 4 (2012) | Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Никитинский, Дмитрий Юрьевич Чалый | ||
| "... /IP architecture. We have implemented the original model of the Trickles protocol for the ns-2 ..." | ||
| Том 22, № 2 (2015) | Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый | ||
| "... In this paper, a principal architecture of common purpose CPU and its main components are discussed ..." | ||
| Том 17, № 4 (2010) | Интеграция семантических верификаторов в компиляторы языка Java | Аннотация PDF (Rus) похожие документы |
| А. В. Клепинин, А. А. Мелентьев | ||
| "... Рассматривается способ статического семантического анализа исходных кодов программы на стадии ее ..." | ||
| Том 26, № 1 (2019) | Анализ эффективности демультиплексирования транспортных потоков | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Степанов | ||
| Том 25, № 2 (2018) | Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях | Аннотация похожие документы |
| Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский | ||
| "... controller. It was assumed that such an architecture should have an improved network performance ..." | ||
| Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
| Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
| "... of architecture-independent design are proposed. The route of high-level VLSI synthesis is considered ..." | ||
| Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
| Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
| "... библиотеки. В данной работе представлена процедура автоматизированной миграции, основанная на семантическом ..." | ||
| Том 24, № 6 (2017) | Семантические средства обеспечения безопасности в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый | ||
| "... сегмента сети. В статье показано, как эта задача может быть решена с использованием семантических средств. ..." | ||
| Том 25, № 6 (2018) | Векторное представление слов с семантическими отношениями: экспериментальные наблюдения | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Каряева, Павел Исаакович Браславский, Валерий Анатольевич Соколов | ||
| "... Возможность идентификации семантической близости между словами сделала модель word2vec широко ..." | ||
| Том 26, № 1 (2019) | Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции | Аннотация PDF (Rus) похожие документы |
| Виталий Александрович Антоненко, Руслан Леонидович Смелянский, Артем Владимирович Плакунов, Павел Алексеевич Михеев | ||
| "... , гибкого и масштабируемого сервиса для клиентов телекоммуникационных компаний и операторов центров ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... The process-oriented programming is a paradigm based on the process concept where each process ..." | ||
| Том 24, № 4 (2017) | О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Комар | ||
| "... In this paper, a modern CPU architecture with several different cache levels is described ..." | ||
| Том 22, № 6 (2015) | Лингвостатистический анализ терминологии для построения тезауруса предметной области | Аннотация PDF (Rus) похожие документы |
| М. С. Каряева | ||
| "... семантически связанных понятий для автоматизации извлечения семантических отношений между терминами ..." | ||
| Том 23, № 6 (2016) | Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки | Аннотация PDF (Rus) похожие документы |
| Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов | ||
| "... исследование сфокусировано на изучении методов выделения семантических связей, для чего авторами был разработан ..." | ||
| Том 24, № 6 (2017) | Анализ использования различных типов связей между терминами тезауруса, сгенерированного с помощью гибридных методов, в задачах классификации текстов | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Иван Андреевич Щитов, Илья Вячеславович Парамонов | ||
| "... статистических алгоритмах выделения семантических связей и позволяющий создать тезаурус с достаточно большим ..." | ||
| Том 21, № 4 (2014) | Клеточно-локальный алгоритм выделения и оценки изменений на бинарных изображениях | Аннотация PDF (Rus) похожие документы |
| Алексей Абрамович Короткин, Александр Андреевич Максимов | ||
| "... . To calculate this characteristic the authors developed an original architecture of a two-dimensional cellular ..." | ||
| Том 23, № 6 (2016) | Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик | Аннотация PDF (Rus) похожие документы |
| О. Б. Кушнаренко, Ж.-Ф. Вебер | ||
| "... Dynamic reconfigurations can modify the architecture of component-based systems without incurring ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... to this architecture, the toolkit for supporting formal verification was developed. The main functionality of the system ..." | ||
| Том 31, № 2 (2024) | Автоматическое определение семантического сходства ответов учащихся с эталонным с помощью современных моделей | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Владислав Николаевич Копнин | ||
| "... основе семантической близости текстов на английском языке. Задача определения семантического сходства ..." | ||
| Том 20, № 4 (2013) | Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 | Аннотация PDF (Rus) похожие документы |
| Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов | ||
| "... гарантируется целостность информационных потоков, то есть функционирование всех зависимых сервисов не нарушается ..." | ||
| Том 26, № 3 (2019) | GRID-система на основе европейских стандартов EGI для крупномасштабных расчетов по оригинальному ускоренному методу квантовой химии | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Аникин, Александр Юрьевич Мускатин, Михаил Борисович Кузьминский, Александр Ильич Русаков | ||
| Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
| "... manipulations with computer memory. Almost all application and domain-oriented programming languages disable ..." | ||
| Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... Process-oriented programming is an approach to developing control software in which a program ..." | ||
| Том 26, № 1 (2019) | Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе | Аннотация PDF (Rus) похожие документы |
| Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин | ||
| "... architecture, which produces finite optimization by ranking and deriving the most common exceptions from large ..." | ||
| Том 26, № 1 (2019) | Алгоритм минимизации количества правил маршрутизации в ПКС | Аннотация PDF (Rus) похожие документы |
| Иван Сергеевич Петров | ||
| "... Software-Defined Networking (SDN) is a network architecture that introduces a physical separation ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... Process-oriented programming is one of the approaches to developing control software. A process ..." | ||
| Том 25, № 4 (2018) | Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Алексей Сергеевич Адрианов, Илья Вячеславович Парамонов | ||
| "... частности, рассматривались алгоритмы выделения ключевых терминов из текстов и семантических тезаурусных ..." | ||
| Том 29, № 2 (2022) | Рекурсивный алгоритм определения тональности предложений на русском языке | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов | ||
| "... семантических правилах. В основе алгоритма лежит предположение о том, что тональность фразы может быть ..." | ||
| Том 26, № 2 (2019) | Об обнаружении атак типа повторного использования исполнимого кода | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... based on the x86/64 architecture, experiments have been conducted showing the importance of this feature ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... of the constructed scheme - a block for obtaining program characteristics compiled for the x86/x86 64 architecture ..." | ||
| Том 27, № 2 (2020) | “VTMine for Visio”: инструмент графического моделирования в области Process Mining | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич Шершаков | ||
| "... application for business intelligence Microsoft Visio. There are presented features of the architecture design ..." | ||
| Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
| "... of parallel programs on processors with different architectures. ..." | ||
| Том 31, № 2 (2024) | Детекция БПЛА при помощи нейронных сетей | Аннотация PDF (Rus) похожие документы |
| Мария Дмитриевна Аверина, Ольга Александровна Леванова, Дарья Грушевская, Кирилл Александрович Кухарев, Дмитрий Михайлович Мурин, Максим Александрович Калинин | ||
| "... of $4times4$ and even $3times3$ pixels. The work investigates architectures SSD (VGG16) and YOLOv3 ..." | ||
| Том 28, № 3 (2021) | Векторизация текстов на основе word-embedding моделей с использованием кластеризации | Аннотация PDF (Rus) похожие документы |
| Виталий Иванович Юферев, Николай Алексеевич Разин | ||
| "... заключается в объединении семантически близких элементов словаря имеющегося корпуса текстов путем ..." | ||
| Том 31, № 4 (2024) | Методы определения тональности по отношению к аспектам социально-экономического развития в предложениях на русском языке | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов, Елена Игоревна Бойчук | ||
| "... семантических правилах, реализованных с использованием деревьев синтаксических единиц. Тональность по отношению ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... are present in the systems with ordinary architectures. The proof of programs correctness is based ..." | ||
| Том 22, № 2 (2015) | МП-автоматы с независимыми счётчиками | Аннотация PDF (Rus) похожие документы |
| Михаил Иосифович Дехтярь, Борис Николаевич Карлов | ||
| "... Grammars (CDGs). CDGs are classical categorial grammars extended by oriented polarized valencies ..." | ||
| Том 21, № 5 (2014) | Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Фарков, Александр Иванович Легалов | ||
| "... performed. Some additional requirements for optimization methods according to GPU architecture features were ..." | ||
| Том 22, № 4 (2015) | Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| А. Н. Носков, И. А. Манов | ||
| "... , опираясь на текущие требования к качеству предоставления сервисов. Программное конфигурирование сети – это ..." | ||
| Том 21, № 6 (2014) | О работе семинара «Нелинейная динамика» | Аннотация PDF (Rus) похожие документы |
| Статья Редакционная | ||
| "... heat distribution problem using heterogeneous computing architectures. In a number of talks normal ..." | ||
| Том 17, № 1 (2010) | Тезаурус как инструмент поэтологии | Аннотация PDF (Rus) похожие документы |
| В. Н. Бойков, В. Е. Захаров, И. А. Пильщиков, . М. Сысоев | ||
| "... is conceived of as a subject-oriented reference system, as an information search tool, and an analytical ..." | ||
| Том 19, № 5 (2012) | О теории алгебраических моделей программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..." | ||
| Том 21, № 4 (2014) | Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Андрей Эрикович Молчанов | ||
| "... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..." | ||
| Том 21, № 2 (2014) | Разрешимость эквивалентности в перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..." | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| "... . Метод семантических меток, предложенный ранее, теперь может быть безопасно исполь- зован в условиях ..." | ||
| Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
| "... flow graph which is supposed to be architecture-independent and applicable to the description of any ..." | ||
| Том 23, № 5 (2016) | О числовых характеристиках симплекса и их оценках | Аннотация PDF (Rus) похожие документы |
| М. В. Невский, А. Ю. Ухалов | ||
| "... inequality has a strong form is equal to 4. %, a principal architecture of common purpose CPU and its main ..." | ||
| Том 24, № 6 (2017) | К критериям оценки безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
| Александр Валентинович Когтенков | ||
| "... Null pointer dereferencing remains one of the major issues in modern object-oriented languages ..." | ||
| Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
| "... , полученных на предварительной стадии анализа. Агенты параллельно осуществляют проверку семантической и ..." | ||
| Том 21, № 4 (2014) | Исследование примитивных схем программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко | ||
| "... изучения семантических свойств программ на их схемах. Так возникают проблемы эквивалентности схем программ ..." | ||
| Том 19, № 6 (2012) | Наследcтвенные свойства модульных сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... — фундаментальные семантические свойства моделей, основанных на сетях Петри. Показано, что ограниченность и живость ..." | ||
| Том 19, № 6 (2012) | Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Владимир Михайлович Ицыксон | ||
| "... , но большинство из них не рассматривают семантические свойства исходного кода ПО. В данной работе ..." | ||
| 1 - 75 из 90 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
