Results 1 to 10 of about 3,778 (87)
Двусторонняя унификация программ и ее применение для задач рефакторинга
Труды Института системного программирования РАН, 2018 It is generally accepted that to unify a pair of substitutions θ_1 and θ_2 means to find out a pair of substitutions η' and η'' such that the compositions θ_1 η' and θ_2 η'' are the same.
T. A. Novikova, V. A. Zakharov
doaj +1 more source
Труды Института системного программирования РАН, 2018 Inline expansion is very important for high performance VLIW, especially for microprocessors with static scheduling. Optimizations in optimizing compilers for VLIW duplicate code aggressively and lead to long compile time. Our inlining algorithm is based
A. . Ermolitckii +4 more
doaj +1 more source
Применение криптографических методов шифрования информации [PDF]
, 2008 Необходимость технических средств защиты диктуется тем, что Интернет – это источник информации, за который никто не несет ответственности, и вероятность получения из него недостоверной, оскорбительной, пиратской или запрещенной по другим причинам ...
A. Oowada +10 more
core +2 more sources
Применение вероятностных методов к исследованию экзотических опционов купли европейского типа на основе экстремальных значений цены рискового актива [PDF]
, 2006 Рассматриваются два вида экзотических опционов купли Европейского типа в диффузионной модели (B,S)-финансового рынка, основанных на экстремальных значениях цены рискового актива, по которому выплачиваются дивиденды.
Андреева, Ульяна Викторовна +4 more
core +1 more source
Нелинейные волны в полуограниченной среде [PDF]
, 2018 Рассмотрены вопросы существования периодических стационарных возбуждений в полуограниченных ангармонических кристаллах с различными знаками ...
Савотченко, С. Е.
core +2 more sources
Polynomial time algorithm for checking strong equivalence of program
Труды Института системного программирования РАН, 2018 To unify a pair of algebraic expressions t1 and t2 is to find out such a substitution θ that both terms t1θ and t2θ have the same meaning. Unification problem can be extended to computational programs.
T. A. Novikova, V. A. Zakharov
doaj +2 more sources
Задача формирования портфеля ценных бумаг [PDF]
, 2010 Работа посвящена нахождению математического ожидания и дисперсии капитала портфеля, состоящего из рискового и безрискового активов, как основных характеристик в задаче оптимального управления портфелем ценных ...
Дёмин, Николай Серапионович +2 more
core
Исследование эффективности дискретного канала наблюдения с памятью в задаче экстраполяции [PDF]
, 2009 Решена задача исследования эффективности оценки экстраполяции стационарного гауссовского марковского процесса диффузионного типа (процесс Орнстейна-Уленбека) для случая дискретного канала наблюдения с фиксированной памятью единичной кратности ...
Дёмин, Н. С. +1 more
core
Унификационная проблема в предтабличной модальной логике PM2 [PDF]
, 2018 Унификационная проблема в предтабличной модальной логике ...
Башмаков, С. И.
core +1 more source
ГЕНЕРАЦИЯ ВЫПОЛНИМЫХ СПЕЦИФИКАЦИЙ ЦИФРОВЫХ СИСТЕМ ИЗ СТРУКТУРНЫХ ОПИСАНИЙ FPGA-ПРОЕКТОВ
Informatika, 2018 Описывается алгоритм конвертации формата XDL в промежуточный формат описания реализованного на FPGA проекта. Моделью промежуточного представления служит двудольный граф.
doaj