JaSpe BTA v.1.0
оптимизация программ интерированные среды разработки интерактивные метавычисления специализация программ частичные вычисления анализ времени связывания
Программа предназначена для выполнения процедуры анализа времени связывания в составе специализатора JaSpe, работающего методом частичных вычислений. На этапе анализа времени связывания переменные и программные конструкции разделяются на «статические», значения которых известно на этапе специализации, и «динамические» (неизвестные). Цель программы — построить такую разметку. Инспользуя эту информацию, специализатор JaSpe может проводить различные оптимизации.
Реализованый в данной программе алгоритм анализа времени, основывается на так называемых BT-объектах, которые позволяют получать более точную (оптимистичную) разметку анализируемой программы.
Специализация и оптимизация программ, написанных на языке Java 8-й версии
Сергей
Абрамов
Михайлович
директор
Доктор физико-математических наук
Член-корреспондент РАН
-
-
РОССИЯ
Сергей
Абрамов
Михайлович
директор
РОССИЯ
50.41.23
Программное обеспечение вычислительных сетей
50.33.04
Перспективные архитектуры. Архитектуры параллельной обработки
50.05.13
Технология программирования. Автоматизация программирования.
28.23.29
Программная реализация интеллектуальных систем
28.23.27
Интеллектуальные робототехнические системы
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
Игорь
Адамович
Алексеевич
Разработка всей программы в целом.
РОССИЯ
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ИПС им. А.К. Айламазяна РАН
Федеральное государственное бюджетное учреждение науки  Институт программных систем им. А.К. Айламазяна Российской академии наук
1027601052225
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения