АНАЛИТИК-2007
В работе описаны система компьютерной алгебры АНАЛИТИК-2007 и ее входной язык, который является новейшей версиейязыков семейства АНАЛИТИК, разрабатываемых в Институте проблем математических машин и систем НАН Украины.Работы над языками семейства АНАЛИТИК были начаты под руководством академика Глушко...
Saved in:
| Date: | 2007 |
|---|---|
| Main Authors: | Морозов, А.А., Клименко, В.П., Фишман, Ю.С., Швалюк, Т.Н. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2007
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/771 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | АНАЛИТИК-2007 / Морозов А.А., Клименко В.П., Фишман Ю.С., Швалюк Т.Н. // Математические машины и системы. –-2007. – № 3, 4. – С. 8 – 52. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Реинжиниринг системы компьютерной алгебры АНАЛИТИК
by: Клименко, В.П., et al.
Published: (2010)
by: Клименко, В.П., et al.
Published: (2010)
Особенности структуры данных и их преобразования в системе компьютерной алгебры АНАЛИТИК
by: Клименко, В.П., et al.
Published: (2004)
by: Клименко, В.П., et al.
Published: (2004)
Распределенная технология глобального управления
by: Сапатый, П.С., et al.
Published: (2010)
by: Сапатый, П.С., et al.
Published: (2010)
Розробка енергозберігаючої системи світлодіодного освітлення для вагонів метро
by: Морозов, А.О., et al.
Published: (2018)
by: Морозов, А.О., et al.
Published: (2018)
Енергозберігаючі системи світлодіодного освітлення
by: Морозов, А.О., et al.
Published: (2017)
by: Морозов, А.О., et al.
Published: (2017)
Бортовой мобильный аудио и медиа комплекс информационно-психологического влияния
by: Морозов, А.А., et al.
Published: (2008)
by: Морозов, А.А., et al.
Published: (2008)
Интеллектуальная распределенная система памяти с иерархическими кольцевыми шинами
by: Боюн, В.П., et al.
Published: (2016)
by: Боюн, В.П., et al.
Published: (2016)
Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби)
by: Асельдеров, З.М., et al.
Published: (2003)
by: Асельдеров, З.М., et al.
Published: (2003)
О представлении арифметических функций в системе обратимых преобразований абстрактного регистра
by: Беляев, А.К., et al.
Published: (2011)
by: Беляев, А.К., et al.
Published: (2011)
Дифференциальный оператор в системе преобразований абстрактного регистра
by: Беляев, А.К., et al.
Published: (2013)
by: Беляев, А.К., et al.
Published: (2013)
О представлении эписемионов в системе обратимых преобразований
by: Беляев, А.К., et al.
Published: (2010)
by: Беляев, А.К., et al.
Published: (2010)
Анализ модели квантовых вычислений
by: Беляев, А.К., et al.
Published: (2009)
by: Беляев, А.К., et al.
Published: (2009)
Создание единой системы социальной информации (ЕССИ) – Болгарской ОГАС
by: Морозов, А.А., et al.
Published: (2013)
by: Морозов, А.А., et al.
Published: (2013)
Стелс-технологии в кораблестроении и методы противодействия радиолокационных станций берегового (морского, воздушного) базирования
by: Бондаренко, Е.А., et al.
Published: (2006)
by: Бондаренко, Е.А., et al.
Published: (2006)
О применении компьютерных систем с кольцевыми шинами для полунатурного моделирования в реальном масштабе времени
by: Яковлев, Ю.С., et al.
Published: (2018)
by: Яковлев, Ю.С., et al.
Published: (2018)
15 років служіння українській науці
by: Клименко, В.П., et al.
Published: (2007)
by: Клименко, В.П., et al.
Published: (2007)
Суперкомп'ютери: особливості сучасної модернізації
by: Клименко, В.П., et al.
Published: (2010)
by: Клименко, В.П., et al.
Published: (2010)
Застосування ближньопольового методу в надроздільних оптичних системах
by: Морозов, Є.М.
Published: (2015)
by: Морозов, Є.М.
Published: (2015)
Реконфигурируемые PIM-системы: методология построения, примеры моделей
by: Яковлев, Ю.С.
Published: (2007)
by: Яковлев, Ю.С.
Published: (2007)
О концепции построения распределенных баз данных информационно-поисковых систем
by: Яковлев, Ю.С.
Published: (2003)
by: Яковлев, Ю.С.
Published: (2003)
Моделирование процесса ранжирования альтернатив методом анализа иерархий средствами конструкционно-продукционных структур
by: Шинкаренко, В.И., et al.
Published: (2016)
by: Шинкаренко, В.И., et al.
Published: (2016)
Математическая модель функциональной среды РІМ-системы на основе теории нечетких множеств и теории гранулирования
by: Елисеева, Е.В., et al.
Published: (2009)
by: Елисеева, Е.В., et al.
Published: (2009)
Применение ПЛИС для создания высокопроизводительных вычислительных систем и их компонентов
by: Яковлев, Ю.С., et al.
Published: (2014)
by: Яковлев, Ю.С., et al.
Published: (2014)
Применение ПЛИС для схемной реализации модулей программы распределения приложений для PIM-системы
by: Яковлев, Ю.С., et al.
Published: (2015)
by: Яковлев, Ю.С., et al.
Published: (2015)
Математическая модель и стратегия распределения приложений для интеллектуальной памяти распределенных компьютерных систем
by: Яковлев, Ю.С., et al.
Published: (2009)
by: Яковлев, Ю.С., et al.
Published: (2009)
Особенности подхода к выбору ПЛИС для проектирования PIM-систем
by: Палагин, А.В., et al.
Published: (2012)
by: Палагин, А.В., et al.
Published: (2012)
Применение ПЛИС для построения вычислительных систем и их компонентов
by: Нестеренко, Н.В., et al.
Published: (2016)
by: Нестеренко, Н.В., et al.
Published: (2016)
Об оптимизации размещения данных в PIM-системе
by: Яковлев, Ю.С., et al.
Published: (2006)
by: Яковлев, Ю.С., et al.
Published: (2006)
"Рада-3" – система підтримки прийняття рішень для законотворчого процесу Верховної Ради України та рад інших рівнів
by: Морозов, А.О., et al.
Published: (2008)
by: Морозов, А.О., et al.
Published: (2008)
Про підвищення швидкості алгоритмів формування мінімального вкриваючого дерева
by: Погорілий, С.Д., et al.
Published: (2005)
by: Погорілий, С.Д., et al.
Published: (2005)
Виктор Михайлович Глушков и его школа
by: Гринченко, Т.А., et al.
Published: (2006)
by: Гринченко, Т.А., et al.
Published: (2006)
Объединение преимуществ пассивной и активной балансировки нагрузки в рамках комплексной системы планирования для динамически распараллеливаемых программ
by: Левченко, Р.И., et al.
Published: (2010)
by: Левченко, Р.И., et al.
Published: (2010)
О некоторых свойствах теоретико-множественных моделей теории лямбда
by: Лялецкий, А.А.
Published: (2008)
by: Лялецкий, А.А.
Published: (2008)
О проблеме распараллеливания вычислений
by: Деревянченко, А.В., et al.
Published: (2004)
by: Деревянченко, А.В., et al.
Published: (2004)
Эксперименты с дедуктивным тестированием реактивных систем
by: Летичевский, А.А. (мл.)
Published: (2013)
by: Летичевский, А.А. (мл.)
Published: (2013)
Аналіз ефективності систем передавання даних з багатопозиційною чм при імпульсних завадах
by: Антонов, В.В., et al.
Published: (2005)
by: Антонов, В.В., et al.
Published: (2005)
Развитие ускорителей специализированных вычислений
by: Якуба, А.А., et al.
Published: (2010)
by: Якуба, А.А., et al.
Published: (2010)
Инструментальная среда создания интеллектуальных обучающих систем
by: Таран, Т.А., et al.
Published: (2004)
by: Таран, Т.А., et al.
Published: (2004)
О свойствах циклов в модульных нейронных сетях
by: Куссуль, М.Э., et al.
Published: (2005)
by: Куссуль, М.Э., et al.
Published: (2005)
Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции
by: Асельдеров, З.М., et al.
Published: (2003)
by: Асельдеров, З.М., et al.
Published: (2003)
Similar Items
-
Реинжиниринг системы компьютерной алгебры АНАЛИТИК
by: Клименко, В.П., et al.
Published: (2010) -
Особенности структуры данных и их преобразования в системе компьютерной алгебры АНАЛИТИК
by: Клименко, В.П., et al.
Published: (2004) -
Распределенная технология глобального управления
by: Сапатый, П.С., et al.
Published: (2010) -
Розробка енергозберігаючої системи світлодіодного освітлення для вагонів метро
by: Морозов, А.О., et al.
Published: (2018) -
Енергозберігаючі системи світлодіодного освітлення
by: Морозов, А.О., et al.
Published: (2017)