?
A Dynamic Editor of Typed Data Transformations
P. 961–967.
В книге
Vol. 96. , Amsterdam: Elsevier, 2016.
Добавлено: 17 января 2023 г.
Рзаев Э. Р., Романов А. Ю., , in: 2021 International Russian Automation Conference (RusAutoCon).: IEEE, 2021. P. 421–425.
Добавлено: 25 сентября 2021 г.
В работе исследуются типичные сценарии, при которых возникает потребность совместного использования ограниченных общесистемных ресурсов несколькими виртуальными машинами. Разработаны правила балансировки нагрузки в зависимости от информационных процессов, выполняемых виртуальными машинами. Вычисление производительности рассмотренных операций основано на типизированной модели, что дает возможность оценки общей производительности. ...
Добавлено: 3 ноября 2019 г.
Рассматриваются типичные сценарии, при которых возникает потребность совместного использования ограниченных общесистемных ресурсов несколькими виртуальными машинами. Разработаны правила балансировки нагрузки в зависимости от информационных процессов, выполняемых виртуальными машинами. Вычисление производительности рассмотренных операций основано на типизированной модели, что дает возможность оценки общей производительности. ...
Добавлено: 30 января 2019 г.
Лабутин И. Н., Москвин Д. Н., Омельченко А. В. и др., Записки научных семинаров ПОМИ РАН 2018 Т. 475 С. 99–121
В статье рассматриваются комбинаторные задачи, связанные с перечислением лямбда-термов в бестиповом лямбда-исчислении, а также в просто типизированных системах с одним атомом в стиле Черча. Для случая бестипового лямбда-исчисления строится система уравнений на производящие функции, описывающие количество лямбда-термов. В случае типизированного лямбда-исчисления перечисляются как населенные типы, так и простейшие обитатели в них. ...
Добавлено: 30 октября 2018 г.
Долгоруков В. В., Копылова А. О., Логические исследования 2018 Т. 24 № 2 С. 36–58
Настоящая статья посвящена конкретному эпизоду в большой дискуссии о соотношении семантики и онтологии: а именно, поиску адекватной семантической интерпретации для набора сущностей, постулируемых так называемым «онтологическим квадратом» или «четырех-категорными онтологиями». Онтологическим квадратом называется теория, восходящая к работам Аристотеля (в частности, ко второй главе трактата «Категории») и утверждающая необходимость различения между четырьмя типами сущностей: субстанциальными универсалиями, ...
Добавлено: 26 сентября 2018 г.
Родин А. В., Logique et Analyse 2018 Vol. 242 No. 2 P. 201–231
Добавлено: 26 мая 2018 г.