Поиск


Сортировать по:     
 
Выпуск Название
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
"... set of programming libraries. Code migration is a common task in modern software projects. For example ..."
 
Том 23, № 6 (2016) Формализм и языковые инструменты для описания семантики программных библиотек Аннотация  PDF (Rus)  похожие документы
В. М. Ицыксон
"... libraries. It describes the existing problems of libraries specifications. A brief overview of the research ..."
 
Том 21, № 6 (2014) Поддержка эволюции визуальных языков в платформе QReal Аннотация  PDF (Rus)  похожие документы
Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин
"... , a need for models migration to a new version of metamodel arises. Today, various approaches ..."
 
Том 18, № 4 (2011) Верификация Си-программ: объяснение условий корректности и стандартная библиотека Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Промский
"... of the C standard library was specified. The specifications written in ACSL correspond to the C-light ..."
 
Том 15, № 1 (2008) Библиотека параллельного исполнения rpC-программ для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков, А. В. Шубин
"... The new version of the library for parallel execution of rpC-programs under Win32 is reviewed ..."
 
Том 21, № 2 (2014) О поддержке рекурсивно-параллельного программирования в .NET Framework Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... Framework. They are dynamic link libraries providing the necessary functionality for developing ..."
 
Том 20, № 4 (2013) Программно-конфигурируемые сети как этап эволюции сетевых технологий Аннотация  PDF (Rus)  похожие документы
Артем Александрович Красотин, Игорь Вадимович Алексеев
"... of the article. The authors further discuss various kinds of existing libraries realizing programmable management ..."
 
Том 19, № 5 (2012) О теории алгебраических моделей программ с процедурами Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко, Андрей Эрикович Молчанов
"... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..."
 
Том 21, № 4 (2014) Исследование примитивных схем программ с процедурами Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко
"... В статье рассматриваются алгебраические модели программ с процедурами, предназначенные для ..."
 
Том 18, № 4 (2011) Оптимизационные процедуры в аффинной проверке моделей Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
 
Том 25, № 2 (2018) О рекурсивно-параллельном алгоритме решения задачи о рюкзаке Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... the RPM ParLib library, developed by the author, as the main tool to program the algorithm. This library ..."
 
Том 23, № 4 (2016) Компьютерное моделирование "Интеллектуального здания" Аннотация  PDF (Rus)  похожие документы
О. Ю. Марьясин, А. С. Колодкина, А. А. Огарков
"... ” library Simscape and Stateflow library. The peculiarity of this model is the use of specialized management ..."
 
Том 19, № 2 (2012) Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло Аннотация  PDF (Rus)  похожие документы
Лев Юрьевич Бараш, Лев Николаевич Щур
"... Modern methods and libraries for high quality pseudorandom number generation and for generation ..."
 
Том 20, № 2 (2013) Технологии и алгоритмы для создания дополненной реальности Аннотация  PDF (Rus)  похожие документы
Иван Александрович Благовещенский, Николай Андреевич Демьянков
"... . For a programmatic implementation of those algorithms one can use special libraries like OpenCV and AForge.NET, also ..."
 
Том 25, № 6 (2018) Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин
"... is implemented by using the open library TensorFlow. To this purpose each selected (picked out) area ..."
 
Том 23, № 4 (2016) Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков
"... . In our case the use of the library RPM ParLib developed by the author was a good choice. It allows us ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... and theorems library management system” and “Errors analysis and output of information about errors”. According ..."
 
Том 26, № 1 (2019) Об одном подходе к построению сетевого процессорного устройства Аннотация  PDF (Rus)  похожие документы
Станислав Олегович Беззубцев, Вячеслав Викторович Васин, Дмитрий Юрьевич Волканов, Шынар Рустембековна Жайлауова, Владислав Александрович Мирошник, Юлия Александровна Скобцова, Руслан Леонидович Смелянский
"... of the network processor is implemented in C ++ languages using SystemC, the open-source C++ library ..."
 
Том 21, № 4 (2014) Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ Аннотация  PDF (Rus)  похожие документы
Андрей Эрикович Молчанов
"... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..."
 
Том 21, № 2 (2014) Разрешимость эквивалентности в перегородчатых моделях программ Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко, Андрей Эрикович Молчанов
"... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..."
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... , это позволяет анализировать проекты, использующие сторонние библиотеки без исход- ного кода, за счет ..."
 
Том 21, № 6 (2014) Разработка самоприменимой системы верификации. Теория и практика Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
"... некоторые шаги. Во- первых, спецификации на языке ACSL были разработаны для части стандартной библиотеки [9 ..."
 
Том 18, № 4 (2011) Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем Аннотация  PDF (Rus)  похожие документы
Андрей Валентинович Климов
"... итеративной процедуры применения суперкомпилятора (специализатора программ, основанного на методе ..."
 
Том 20, № 1 (2013) Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. I Аннотация  PDF (Rus)  похожие документы
Мария Валентиновна Бутузова
"... построена асимптотика произвольного порядка по малому параметру без использования процедуры согласования ..."
 
Том 21, № 6 (2014) О некоторых задачах реконфигурирования программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий
"... эффективного администри- рования SDN, особенно важно для создания развитых программных библиотек вы ..."
 
Том 22, № 1 (2015) Использование информационных технологий и инфраструктур для агрегации научной информации. Опыт Канады, Нидерландов, Германии Аннотация  PDF (Rus)  похожие документы
Марат Рамилевич Биктимиров, Владимир Леонидович Глебский, Борис Вячеславович Долгов, Сергей Алексеевич Поликарпов
"... наличие в Канаде достаточно большого количества исследовательских библиотек (Research Data Library, начали ..."
 
Том 20, № 2 (2013) Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей Аннотация  PDF (Rus)  похожие документы
Анна Шмилевна Непомнящая
"... представляется в виде главной процедуры DeleteArcSPT, использующей группу вспомогательных процедур для выполнения ..."
 
Том 20, № 6 (2013) Сегментация клинических эндоскопических изображений, основанная на классификации векторных топологических признаков Аннотация  PDF (Rus)  похожие документы
Ольга Александровна Дунаева, Дарья Борисовна Малкова, Михаил Леонидович Мячин, Херберт Эдельсбруннер
"... дескрипторов. Процедура предобработки изображения включает выделение артефактов и выравнивание яркости ..."
 
Том 22, № 2 (2015) Полнота динамики значений свойств данных в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Петров, Вадим Сергеевич Рублев
"... расширение статической OD-модели путем включения в неё множеств алгоритмических процедур, описывающих ..."
 
Том 18, № 3 (2011) Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры Аннотация  PDF (Rus)  похожие документы
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов
"... Беллмана, использующая параллельные вычисления и не проигрывающая в качестве. Предлагаемая процедура ..."
 
Том 21, № 4 (2014) Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... ://msdn.microsoft.com/en-us/library/aa479069.aspx. 2. Chong F., Carraro G., Wolter R. Multi-tenant data ..."
 
Том 22, № 1 (2015) Особенности формирования диссипативных структур, описываемых уравнением Курамото–Сивашинского Аннотация  PDF (Rus)  похожие документы
Николай Алексеевич Кудряшов, Павел Николаевич Рябов, Богдан Александрович Петров
"... вычислительной процедуры. Исследован процесс формирования диссипативных структур в зависимости от параметров ..."
 
Том 17, № 4 (2010) Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени Аннотация  PDF (Rus)  похожие документы
И. В. Коннов, В. А. Захаров
"... Бюхи, решаемой при помощи комбинированного алгоритма, в котором процедура двойного поиска в глубину ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... -видовых отношений между понятиями при помощи краудсорсинга. Процедура «добавить–удалить–подтвердить ..."
 
Том 23, № 6 (2016) Построение каскадной параллельной композиции временных автоматов с использованием BALM-II Аннотация  PDF (Rus)  похожие документы
М. Л. Громов, Н. В. Шабалдина
"... предлагаем свою процедуру построения полуавтомата, которая, в отличие от известной процедуры, не требует ..."
 
Том 22, № 2 (2015) Об одной задаче маршрутизации перемещений инструмента при листовой резке деталей Аннотация  PDF (Rus)  похожие документы
Александр Александрович Петунин, Александр Георгиевич Ченцов, Павел Александрович Ченцов
"... ). Предлагается оптимальная процедура на основе динамического программирования, а также эффективный эвристический ..."
 
Том 20, № 4 (2013) Проектирование и разработка имитационной модели мультиклиентского кластера баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... рядом иссле- дователей. В частности, рассматривались вопросы миграции данных в кластерах с ..."
 
Том 21, № 5 (2014) Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
"... языка DPMine, ре- ализованного в виде библиотеки DPMine/C на языке С++ [16], интегрированной в ..."
 
Том 22, № 6 (2015) Лингвостатистический анализ терминологии для построения тезауруса предметной области Аннотация  PDF (Rus)  похожие документы
М. С. Каряева
"... процедур анализа текста на естественном языке: • графематический анализ с разделением входного текста на ..."
 
Том 21, № 6 (2014) Инструментальная поддержка встроенных языков в интегрированных средах разработки Аннотация  PDF (Rus)  похожие документы
Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун
"... основного языка посредством конкатенации в циклах, ветках условных операторов или рекурсивных процедурах ..."
 
Том 21, № 3 (2014) Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. I Аннотация  PDF (Rus)  похожие документы
Павел Николаевич Нестеров
"... реализации этой процедуры вспомогательных алгебраических задач. ..."
 
Том 21, № 3 (2014) Приближенное решение точечной подвижной задачи оптимального управления для нелинейного гиперболического уравнения Аннотация  PDF (Rus)  похожие документы
Турсун Камалдинович Юлдашев
"... уравнений (ССНИУ). Для облегчения вычислительных процедур вместо ССНИУ рассматривается соответствующая ..."
 
Том 19, № 6 (2012) Наследcтвенные свойства модульных сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... , подвергнутых достаточно простому и не нарушающему их поведение преобразованию интерфейсов модулей — процедуре Р ..."
 
Том 20, № 4 (2013) Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 Аннотация  PDF (Rus)  похожие документы
Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов
"... замещения агентов для платформы Smart-M3. Дано детальное описание алгоритма замещения, включающее процедуры ..."
 
Том 23, № 4 (2016) Вероятностный анализ систем организации турниров Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин, Ал. А. Ахременков
"... парных сравнений, позволяющая во многих случаях избежать трудоемкую процедуру перебора допустимых ..."
 
Том 20, № 2 (2013) Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. II Аннотация  PDF (Rus)  похожие документы
Мария Валентиновна Бутузова
"... , обоснована асимптотика произвольного порядка по малому параметру без использования процедуры согласования ..."
 
Том 14, № 4 (2007) Формальная модель семантики художественного текста (на материале русских пословиц) Аннотация  PDF (Rus)  похожие документы
А. C. Малкова, В. И. Январев
"... .н. "мифологическое" тождество и конфигурацию связи. Модель позволяет применять процедуры интеллектуальной обработки ..."
 
Том 23, № 2 (2016) Об эффективности минимизирующего подхода к оптимизации запросов Аннотация  PDF (Rus)  похожие документы
Н. А. Мендкович
"... системе Oracle, подобная процедура производится над под- запросами на основании «свойства включения ..."
 
Том 24, № 6 (2017) Анализ использования различных типов связей между терминами тезауруса, сгенерированного с помощью гибридных методов, в задачах классификации текстов Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Иван Андреевич Щитов, Илья Вячеславович Парамонов
"... использованы два подхода, каждый из которых дополняет стандартные алгоритмы процедурой, применяющей связи ..."
 
Том 25, № 2 (2018) Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов
"... наложения ограничений и процедуры отбора вариантов из подмножества бинарных переменных, соответствующих ..."
 
Том 23, № 5 (2016) Метод конечных разностей во временной области для кусочно-однородных диэлектрических сред Аннотация  PDF (Rus)  похожие документы
Ж. О. Домбровская
"... ближайшего к ней узла. Од- нако при большой величине скачка ε такая процедура является ненадежной. Шаг ..."
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... and calling external libraries. We also provide some details on how we deal with code contracts. 2 ..."
 
Том 24, № 6 (2017) Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Макаров
"... матрицы коэффициентов обратной связи, и использование численно-аналитических процедур для определения этих ..."
 
Том 23, № 5 (2016) Взаимодействие двух волн в модели Ферми – Паста – Улама Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, С. А. Кащенко, А. О. Толбей
"... некоторых дополнительных предположениях к полученным краевым задачам применена процедура повторной ..."
 
Том 23, № 5 (2016) Расслоенное произведение коммутативных алгебр: образующие и соотношения Аннотация  похожие документы
Н. В. Тимофеева
"... коммутативных ассоциативных алгебр составляет алгебраическую сторону процедуры склеивания алгебраических схем по ..."
 
Том 25, № 5 (2018) О безопасности одно- и многоместных IFP-операторов Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Дудаков
"... универсума, например, сложения, может оказаться так, что процедура вычисления результата запроса зациклится ..."
 
Том 25, № 1 (2018) О минимальном коэффициенте поглощения для n-мерного симплекса Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"... , построенных с использованием специальной процедуры из известных максимальных (-1/1)-определителей. Для ряда ..."
 
Том 19, № 3 (2012) Асимптотика решений обобщённого уравнения Хатчинсона Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... ареал происходит миграция с малой постоянной скоростью. Сформулированные ниже результаты о динамике про ..."
 
Том 20, № 4 (2013) Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов
"... : 1. Термин (term) 2. Понятие (concept) 3. Понятие из Библиотеки Авторов (concept of Authors ..."
 
Том 23, № 5 (2016) О числовых характеристиках симплекса и их оценках Аннотация  PDF (Rus)  похожие документы
М. В. Невский, А. Ю. Ухалов
"... . В следующем пункте мы опишем соответствующие вычислительные процедуры. 3. Оценка константы κ2 ..."
 
Том 22, № 4 (2015) Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов Аннотация  PDF (Rus)  похожие документы
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
"... ПКС подвижных объектов 557 Полная реализация проактивного режима заключается в реализации процедуры ..."
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... specification, variables usage, libraries and external scripts (includes) usage, splitting UCM signal or action ..."
 
Том 21, № 6 (2014) PolarDB – система создания специализированных NoSQL баз данных и СУБД Аннотация  PDF (Rus)  похожие документы
Александр Гурьевич Марчук
"... реализации электронных архивов дан- ных и документов // Электронные библиотеки: перспективные методы и тех ..."
 
Том 20, № 6 (2013) Автоматизация создания верифицированных тестовых сценариев на основе гидов Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Александр Адольфович Летичевский
"... процедур, характеризуется как задача огромной сложности и трудоемкости. Применимость формальных методов в ..."
 
Том 21, № 6 (2014) Программный комплекс для анализа и визуализации графов Аннотация  PDF (Rus)  похожие документы
Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский
"... Software представляет собой набор библиотек для создания инструментов визуали- зации и анализа сетей из ..."
 
Том 20, № 4 (2013) Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах Аннотация  PDF (Rus)  похожие документы
Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый
"... процедуру аутентифика- ции независимо в каждой из ИС, с которыми он взаимодействует, что требует су ..."
 
Том 19, № 3 (2012) О порядке роста числа инъективных и сверхрастущих рюкзачных векторов Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин
"... применении преобразования (P nk )−1 ak уменьшается ровно на 1. Рассмотрим следующую процедуру. Процедура ..."
 
Том 23, № 6 (2016) Разработка и анализ защищенности фрагмента информационно-телекоммуникационной системы, реализующей концепцию Интернета вещей Аннотация  PDF (Rus)  похожие документы
В. А. Александров, В. А. Десницкий, Д. Ю. Чалый
"... аутентификации сообщений – для целостности сообщений. Для подключения протокола SSL воспользуемся библиотекой ..."
 
Том 19, № 6 (2012) О некоторых задачах локализации в триангуляциях Делоне Аннотация  PDF (Rus)  похожие документы
Наталья Федоровна Дышкант
"... ; ПРОЦЕДУРА Локализовать_узел(Node M,Node A,Node B,Node C, Node Q, bool flag) 1: если (flag = ИСТИНА) и ([MQ ..."
 
Том 21, № 4 (2014) Разработка алгоритма измерения частоты пульса человека с помощью камеры мобильного телефона Аннотация  PDF (Rus)  похожие документы
Денис Александрович Лаурэ, Надеджа Станиславовна Лагутина, Илья Вячеславович Парамонов
"... ). 4http://msdn.microsoft.com/en-us/library/ms893078.aspx Разработка алгоритма измерения частоты ..."
 
1 - 75 из 142 результатов 1 2 > >> 

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

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