Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Препринт ИПМ № 33, Москва, 1993 г.
Авторы: Антонова Н.А., Наумов Н.А., Рубин А.Г.
Об оценке производительности некоторых языковых процессоров символьной обработки (РЕФАЛ, ЛИСП, ПРОЛОГ)
Аннотация:
Для проведения исследований предложена формальная модель вычислительного процесса. Основными компонентами модели являются: запрос, язык программирования, алгоритм, программа, данные, транслятор, вычислитель. На основе введённой комплексной модели организации вычислений предлагается проводить полные оценки эффективности вычислительного процесса. Рассмотренный подход для анализа эффективности вычислений иллюстрируется на примере получения оценки работы ряда программно/аппаратных систем, ориентированных на решение задач символьной обработки. С этой целью на типовом наборе задач были проведены измерения времени работы некоторых Лисп-, Рефал- и Пролог-систем. На основании полученных результатов приведены оценки производительности вычислений на рассматриваемых системах символьной обработки.
Ключевые слова:
модель вычислений, таксономия вычислений, эффективность обработки, символьная обработка, символьный процессор, языки символьной обработки, Лисп, Пролог, Рефал, архитектура ЭВМ, IBM PC, ЕС ЭВМ, символьные процессоры, ЕС2702.
Язык публикации: русский,  страниц: 25
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Сведения об авторах:
  • Антонова Наталья Алексеевна,  ИПМ им. М.В. Келдыша РАН
  • Наумов Николай Анатольевич,  ИПМ им. М.В. Келдыша РАН
  • Рубин Александр Григорьевич,  ,  ИПМ им. М.В. Келдыша РАН