Поиск


Сортировать по:     
 
Выпуск Название
 
Том 21, № 6 (2014) Поддержка эволюции визуальных языков в платформе QReal Аннотация  PDF (Rus)  похожие документы
Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин
"... migration implemented in DSM platform QReal, which is being developed by the research group of Software ..."
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
"... The purpose of the study is to demonstrate the feasibility of automated code migration to a new ..."
 
Том 23, № 6 (2016) Формализм и языковые инструменты для описания семантики программных библиотек Аннотация  PDF (Rus)  похожие документы
В. М. Ицыксон
"...  of problems: defects detection in the software, migration of applications into a new environment, gen-eration ..."
 
Том 21, № 6 (2014) Инструментальная поддержка встроенных языков в интегрированных средах разработки Аннотация  PDF (Rus)  похожие документы
Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун
"... language. We present a platform which allows to easily create tools for string-embedded language processing. ..."
 
Том 20, № 4 (2013) Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 Аннотация  PDF (Rus)  похожие документы
Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов
"... -M3 platform. Such a substitution allows to transfer control and computational context from ..."
 
Том 25, № 4 (2018) Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Алексей Сергеевич Адрианов, Илья Вячеславович Парамонов
"... обработке естественного языка. Были исследованы статистические и лингвистические методы построения ..."
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация  PDF (Rus)  похожие документы
А. С. Величко, В. В. Грибова, Л. А. Федорищев
"... architectures: the simulation module is made on a highperformance server platform, management and visualization ..."
 
Том 19, № 5 (2012) Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Кропачева, Александр Иванович Легалов
"... подхода. Описана формальная система для функционально-потокового языка параллельного программирования ..."
 
Том 21, № 5 (2014) Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
"... актуальной задачей в области извлечения процессов. В данной работе представлен язык DPMine, разработанный ..."
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
"... The project “Platform-independent approach to formal specification and verification of standard ..."
 
Том 19, № 4 (2012) Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева
"... , преобразование программ, язык программирования Пифагор Анализируются особенности преобразования функционально ..."
 
Том 26, № 1 (2019) Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе Аннотация  PDF (Rus)  похожие документы
Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин
"... of the multi-cloud platform were considered. It is established that the most acute problem is the effective ..."
 
Том 19, № 5 (2012) Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей Аннотация  PDF (Rus)  похожие документы
Сергей Игоревич Баландин, Андрей Михайлович Васильев, Никита Ильич Кожемякин, Денис Александрович Лаурэ, Илья Вячеславович Парамонов
"... The paper describes implementation of dataflow networks based on Smart-M3 platform for use cases ..."
 
Том 17, № 2 (2010) О языках автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... Изучается класс формальных языков (ЯАСМ), которые допускаются автоматными счетчиковыми машинами ..."
 
Том 18, № 4 (2011) Типовые примеры использования языка Atoment Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... Язык Atoment - предметно-ориентированный язык выполнимых спецификаций, применяемый для описания ..."
 
Том 20, № 4 (2013) Проектирование и разработка имитационной модели мультиклиентского кластера баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... рядом иссле- дователей. В частности, рассматривались вопросы миграции данных в кластерах с ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... для произвольных языков программирования и допускает частичную автоматизацию процесса. Однако ..."
 
Том 17, № 3 (2010) Язык объектных запросов динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
В. С. Рублев
"... Рассматривается задача разработки объектного языка манипулирования данными для новой объектной ..."
 
Том 17, № 4 (2010) Интеграция семантических верификаторов в компиляторы языка Java Аннотация  PDF (Rus)  похожие документы
А. В. Клепинин, А. А. Мелентьев
"... анализа предлагается унифицированная интеграция в компиляторы языка Java для получения полного доступа к ..."
 
Том 25, № 4 (2018) Оптимизация инварианта цикла в языке Пифагор Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов
"... цикла, применительно к функционально-потоковой модели параллельных вычислений, реализованной в языке ..."
 
Том 20, № 6 (2013) Автоматическая верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев
"... , язык C, язык C-light, язык C-kernel, частичная корректность, ACSL, LLVM, Simplify Развитие проекта C ..."
 
Том 17, № 3 (2010) Верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий
"... Описывается смешанная аксиоматическая семантика языка C-kernel, являющегося ядром представительного ..."
 
Том 24, № 6 (2017) Прототип статического тайп-чекера для языка программирования Jolie Аннотация  похожие документы
Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков
"... . Во многих языках программирования используется как статическая, так и динамическая проверка типов ..."
 
Том 23, № 6 (2016) Имитационное моделирование для анализа выполнимости приложений реального времени Аннотация  PDF (Rus)  похожие документы
С. Н. Баранов, В. В. Никифоров
"... on a multi-core platform is described. The application structure is specified through a simple formalized ..."
 
Том 19, № 6 (2012) Дедуктивная верификация телекоммуникационных систем, представленных на языке Си Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... Предложен дедуктивный подход к верификации телекоммуникационных систем, представленных на языке C ..."
 
Том 25, № 4 (2018) Верификация программ со взаимной рекурсией на языке Пифагор Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Ушакова, Александр Иванович Легалов
"... В работе рассматривается верификация программ со взаимной рекурсией для языка функционально ..."
 
Том 21, № 6 (2014) Разработка самоприменимой системы верификации. Теория и практика Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
"... , спецификация, аксиоматическая семантика, язык C-light, условие корректности, метагенерация По сравнению с ..."
 
Том 18, № 4 (2011) Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока
 
Том 22, № 2 (2015) Кэширование запросов к реляционной базе данных с использованием областей истинности Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Мосин, Сергей Владимирович Зыкин
"... (natural join). Следует отметить, что такая форма запроса наиболее близка к естественному языку и ..."
 
Том 25, № 5 (2018) Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae Аннотация  похожие документы
Томас Баар, Сергей Михайлович Старолетов
"... контрактов к состояниям гибридной программы. В нашем подходе пользователь может использовать графический язык ..."
 
Том 21, № 4 (2014) Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый
"... Рассматриваются программы, написанные на while-языке, с переменными двух типов безопасности ..."
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация  PDF (Rus)  похожие документы
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
"... описания алгоритмов трансляции UCM в РСП и РСП во входной язык Promela системы SPIN. Впервые представлены ..."
 
Том 15, № 1 (2008) Объектное расширение PL/ODQL языка запросов ODQL для Динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
Д. С. Писаренко
"... Рассматривается задача создания вычислительно полного расширения объектно-динамического языка ..."
 
Том 18, № 4 (2011) Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев
"... Модели систем на языке SystemC, как правило, являются параллельными программами и поэтому могут ..."
 
Том 22, № 2 (2015) Эффективность доступа к данным в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Антонов, В. С. Рублев
"... -модели) и обосновывается полнота СУБД DIM для произвольной OD-модели. Описывается объектный язык запросов ..."
 
Том 19, № 4 (2012) Контекстно-свободная грамматика одной ритмической модели русского стиха Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков
"... сегмент, стих, поэтология, стиховеде- ние, формальный язык, КС-грамматика, распознавание Предложена и ..."
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
"... специализированного языка выполнимых спецификаций Atoment для разработки средств верификации программ, который ..."
 
Том 18, № 2 (2011) Организация выполнения объектных запросов в динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич Рублев
 
Том 18, № 4 (2011) Верификация Си-программ: объяснение условий корректности и стандартная библиотека Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Промский
"... РАН. Во-первых, аксиоматическая семантика языка C-kernel была расширена семантической разметкой. Метки ..."
 
Том 26, № 4 (2019) Операционная семантика аннотированных Reflex программ Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... Reflex — процесс-ориентированный язык, который обеспечивает разработку простого в обслуживании ..."
 
Том 24, № 4 (2017) Использование журналов событий для локальной корректировки моделей процессов Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст
"... построена и полностью заново, например, с помощью одного из известных алгоритмов автоматического синтеза ..."
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
"... подхода в качестве языка спецификации программного поведения используется язык темпоральной логики LTL ..."
 
Том 21, № 6 (2014) О некоторых задачах реконфигурирования программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий
"... , направленных на создание языков высокого уровня и инструментальных средств для программирования SDN: NetCore [2 ..."
 
Том 25, № 5 (2018) О методах верификации и разработки программ развития сельскохозяйственных территорий Аннотация  PDF (Rus)  похожие документы
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов
"... модели предметной области с использованием языков описания моделей семейства PDDL. Описание конкретной ..."
 
Том 26, № 1 (2019) Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции Аннотация  PDF (Rus)  похожие документы
Виталий Александрович Антоненко, Руслан Леонидович Смелянский, Артем Владимирович Плакунов, Павел Алексеевич Михеев
"... an NFV platform and present a solution implemented in C2 MANO-platform. ..."
 
Том 26, № 2 (2019) На пути к SD-WAN решению Аннотация  похожие документы
Станислав Валентинович Корсаков, Валерий Анатольевич Соколов
"... управляемой ячеистой оверлейной сети поверх полностью или частично неуправляемой опорной сети. Оверлейная сеть ..."
 
Том 22, № 2 (2015) МП-автоматы с независимыми счётчиками Аннотация  PDF (Rus)  похожие документы
Михаил Иосифович Дехтярь, Борис Николаевич Карлов
"... Петри. Они были предложены в работах [21, 15] как средство для распознавания языков, порождаемых ..."
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... оригинальный подход к решению двух задач в рамках BMC для языков C/C++. Построение модели ПО для BMC В данной ..."
 
Том 26, № 2 (2019) eT-сводимость множеств Аннотация  PDF (Rus)  похожие документы
Роман Ревович Яруллин
"... или содержится полностью в некоторой Т - или е-степени, или полностью совпадает с ней, следует, что ..."
 
Том 19, № 3 (2012) Асимптотика решений обобщённого уравнения Хатчинсона Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... ареал происходит миграция с малой постоянной скоростью. Сформулированные ниже результаты о динамике про ..."
 
Том 19, № 6 (2012) Дедуктивная верификация протокола скользящего окна Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий
"... кадров. На языке системы верификации PVS описаны спецификация этого протокола с помощью машины состояний ..."
 
Том 21, № 1 (2014) Влияние запаздывающей обратной связи на устойчивость периодических орбит Аннотация  PDF (Rus)  похожие документы
Виктория Григорьевна Богаевская, Илья Сергеевич Кащенко
"... стабилизации разрешима. Как следствие, полностью решена задача об устойчивости цикла уравнения Стюарта–Ландау. ..."
 
Том 24, № 4 (2017) Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко
"... метод построения проверяющих тестов с гарантированной полнотой для полностью определенного, возможно ..."
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... «дискретных» задач. Спецификация программного поведения проводится на языке темпоральной логики линейного ..."
 
Том 20, № 4 (2013) Программно-конфигурируемые сети как этап эволюции сетевых технологий Аннотация  PDF (Rus)  похожие документы
Артем Александрович Красотин, Игорь Вадимович Алексеев
"... парадигме SDN функции управления и контроля поведения сетевых устройств полностью отделены от процессов ..."
 
Том 21, № 2 (2014) Построение IL-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... «дискретных» задач. Спецификация программного поведения проводится на языке темпоральной логики линейного ..."
 
Том 20, № 2 (2013) Моделирование, спецификация и построение программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... язык темпоральной логики LTL. Программирование осуществляется на языке ST по LTL-спецификации ..."
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... «дискретных» задач. Спецификация программного поведения проводится на языке темпоральной логики линейного ..."
 
Том 23, № 2 (2016) Построение хранилища данных с динамической структурой Аннотация  PDF (Rus)  похожие документы
Ю. Н. Артамонов
"... подходе следуют принципу хранить данные, как они приходят, пере- нося полностью или частично задачу ..."
 
Том 17, № 4 (2010) Об исчислении позитивно-образованных формул для автоматического доказательства теорем Аннотация  PDF (Rus)  похожие документы
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин
"... Рассматривается выразительный логический язык LF и основанное на нем исчисление. Формулы этого ..."
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... данной работе рассматривается метод генерации модульных тестов для языка C, основанный на методе ..."
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
"... модель ПКС, введен прототип формального языка спецификаций, поставлены задачи верификации моделей ПКС и ..."
 
Том 18, № 4 (2011) Атрибутные аннотации и их применение в дедуктивной верификации C-программ Аннотация  PDF (Rus)  похожие документы
Михаил Михайлович Атучин, Игорь Сергеевич Ануреев
"... дедуктивной верификации программ. Описана коллекция аннотирующих атрибутов для подмножества C-kernel языка C и ..."
 
1 - 75 из 215 результатов 1 2 3 > >> 

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

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