СТ |
Технологические возможности оптимизации программ |
1980 |
Поттосин И. В., Касьянов В. Н. |
|
|
|
Программирование |
30.03.1993 |
СТ |
Обоснование преобразования чистки циклов |
1980 |
Поттосин И. В., Югринова О. В. |
|
|
|
Программирование |
30.03.1993 |
СТ |
Проблематика разработки систем аналитических преобразований на ЭВМ |
1980 |
Поттосин И. В., Калинина Н. А. |
|
|
|
Труды рабочего сове ания по системам и методам аналитических выражений на ЭВМ и их применению в теоретической физике |
30.03.1993 |
СТ |
Направленные преобразования линейного участка |
1981 |
Поттосин И. В. |
|
|
|
Языки и системы программирования |
30.03.1993 |
СТ |
О математических моделях программ, ориентированных на оптимизацию программ |
1981 |
Поттосин И. В. |
|
|
|
VII Nat.School "Mathematical methods in Informatics" |
30.03.1993 |
СТ |
Об автоматическом конструировании качественных программ, основанном на преобразовании |
1981 |
Поттосин И. В., Дзелинский А. М., Касьянов В. Н. |
|
|
|
Всесоюз.конф. "Программное обеспечение вычислительных сетей и систем реального времени": Тез.докл. |
30.03.1993 |
СТ |
Методика разработки многоязыковых трансляторов на примере системы БЕТА |
1982 |
Поттосин И. В., Ершов А. П., Касьянов В. Н., Покровский С. Б. |
|
|
ВЦ СО АН СССР |
Математическая теория и практика системного программного обеспечения |
30.03.1993 |
СТ |
Проблемы автоматизации программирования в условиях коллективного использования вычислительных средств |
1982 |
Поттосин И. В., Барнев П., Эфрос Л. Б. |
|
|
ВЦ СО АН СССР |
Математическая теория и практика системного программного обеспечения |
30.03.1993 |
СТ |
Универсальная система проведения аналитических вычислений АУМ |
1983 |
Поттосин И. В., Калинина Н. А., Семенова А. Л. |
|
|
|
Аналитические вычисления на ЭВМ и их применение в теоретической физике |
30.03.1993 |
СТ |
Раздельная оптимизация модулей: к постановке задачи |
1983 |
Поттосин И. В. |
|
|
|
Автоматизация производства пакетов прикладных программ и трансляторов: Тез.докл. 2-ой Всесоюз.конф., Таллинн, 1983 |
30.03.1993 |
СТ |
Возможности оптимизации программ и перспективы ее развития |
1983 |
Поттосин И. В. |
|
|
ВЦ СО АН СССР |
Актуальные проблемы развития архитектуры и программного обеспечения ЭВМ и вычислительных комплексов |
30.03.1993 |
СТ |
Об оптимизации логических выражений с соотношениями |
1983 |
Поттосин И. В. |
|
|
ВЦ СО АН СССР |
Трансляция и оптимизация программ |
30.03.1993 |
СТ |
Об алгоритме оптимизации линейных участков |
1984 |
Поттосин И. В. |
|
|
ВЦ СО АН СССР |
Трансляция и оптимизация программ |
30.03.1993 |
СТ |
Об объектно-ориентированном подходе к конструированию программ |
1990 |
Поттосин И. В. |
|
|
|
Актуальные проблемы системного программирования: Труды Всесоюз.конф., Таллинн |
30.03.1993 |
СТ |
Система СОФИСТ- базовое системное обеспечение пакетов прикладных программ |
1984 |
Поттосин И. В., Нестерова Г. В., Светлакова Ф. Г. |
|
|
ИТПМ СО АН СССР |
Комплексы программ математической физики |
30.03.1993 |
М |
Сборник упражнений по программированию на языке Паскаль |
1985 |
Поттосин И. В., Агафонов В. Н., Бежанова М. М., Сабельфельд В. К. |
|
|
|
|
30.03.1993 |
СТ |
Об организации научной работы студентов по программированию в Новосибирском университете |
1986 |
Поттосин И. В. |
|
|
|
Труды III семинара "Проблемы информатики и ее применения в управлении, обучении и научных исследованиях, София, 1986 |
30.03.1993 |
СТ |
Средства разработки прикладного программного обеспечения с точки зрения современных требований и возможностей |
1987 |
Бежанова М. М., Поттосин И. В. |
|
|
|
Алгоритмы и алгоритмические языки. Пакеты прикладных программ. Программное обеспечение вычислительного эксперимента |
30.03.1993 |
СТ |
Программный базис для инструментов конструирования программ |
1987 |
Поттосин И. В. |
|
|
|
Труды II междунар. научно-технической конф. "ИНТЕРСОФТ-87", Калинин, 1987 |
30.03.1993 |
СТ |
О конструировании программ в рабочем месте программиста |
1987 |
Поттосин И. В. |
|
|
|
Информатика. Технологические аспекты |
30.03.1993 |
СТ |
Конструирование прикладных программ и программных систем от алгоритмов к программам |
1991 |
Поттосин И. В. |
|
|
|
Современные проблемы алгоритмизации: сб. тр. докл. |
30.03.1993 |
СТ |
Творческое наследие А.П.Ершова (обзор работ) |
1990 |
Поттосин И. В. |
|
|
|
Программирование |
30.03.1993 |
М |
Технология трансляции (Учебное пособие) |
1979 |
Поттосин И. В., Касьянов В. Н. |
|
|
|
|
30.03.1993 |
П |
Языки реализации для системного программирования |
1979 |
Поттосин И. В. |
|
|
ВЦ СО АН СССР |
|
30.03.1993 |
П |
Автоматизация построения трансляторов |
1983 |
Поттосин И. В., Касьянов В. Н. |
|
|
ВЦ СО АН СССР |
|
30.03.1993 |
М |
Методы построения трансляторов |
1986 |
Поттосин И. В., Касьянов В. Н. |
|
|
|
|
30.03.1993 |
М |
Математическое обеспечение ЭВМ: языковые и технологические средства (Учебное пособие) |
1987 |
Бежанова М. М., Поттосин И. В. |
|
|
НГУ |
|
30.03.1993 |
П |
Стандартная программа умножения прямоугольных матриц |
1964 |
Поттосин И. В. |
|
|
|
|
26.03.1993 |
СТ |
Система автоматизации программирования АЛЬФА |
1967 |
Поттосин И. В. |
|
|
|
Ж.вычислительной математики и математической физики АН СССР |
26.03.1993 |
СТ |
Обзор особенностей АЛЬФА-языка |
1967 |
Поттосин И. В., Ершов А. П., Кожухин Г. И. |
|
|
|
АЛЬФА- система автоматизации программирования |
26.03.1993 |
СТ |
An Experimental Automatic Informational Station AIST-0 |
1967 |
Ершов А. П., Кожухин Г. И., Макаров Г. П., Поттосин И. В. |
|
|
|
AFIPS Conf. |
26.03.1993 |
П |
Принципы построения диспетчера системы АИСТ-0 |
1967 |
Кожухин Г. И., Нечепуренко М. И., Поттосин И. В. |
|
|
ВЦ СО АН СССР |
AFIPS Conf. |
26.03.1993 |
СТ |
Программирование циклов и индексных выражений в АЛЬФА-трансляторе |
1967 |
Бежанова М. М., Поттосин И. В. |
|
|
|
АЛЬФА- система автоматизации программирования |
26.03.1993 |
СТ |
Экономия выражений в АЛЬФА-трансляторе |
1967 |
Поттосин И. В. |
|
|
|
АЛЬФА- система автоматизации программирования |
26.03.1993 |
СТ |
Стандартные программы вычисления корней полинома 3-й степени с действительными коэффициентами и процедура КУБА |
1968 |
Поттосин И. В. |
|
|
|
Стандартные программы и процедуры. Вып.1 |
26.03.1993 |
СТ |
Процедуры решения систем алгебраических уравнений, алгоритма Гаусса и интерполяции |
1968 |
Поттосин И. В. |
|
|
|
Стандартные программы и процедуры. Вып.1 |
26.03.1993 |
СТ |
К задаче чистки циклов |
1968 |
Поттосин И. В. |
|
|
|
Цифровые вычислительные машины и программирование |
26.03.1993 |
СТ |
Операционные системы |
1968 |
Поттосин И. В. |
|
|
|
Труды 1-ой Всесоюз.конф. по программированию |
26.03.1993 |
СТ |
ЭПСИЛОН- система автоматизации программирования для задач символьной обработки |
1968 |
Поттосин И. В., Рар А. Ф., Катков В. Л. |
|
|
|
Труды 1-ой Всесоюз.конф. по программированию |
26.03.1993 |
П |
Структура диспетчера АИСТ-0 |
1968 |
Поттосин И. В. |
|
|
ВЦ СО АН СССР |
Труды 1-ой Всесоюз.конф. по программированию |
26.03.1993 |
П |
Псевдокоманды и директивы системы АИСТ-0 |
1968 |
Поттосин И. В. |
|
|
ВЦ СО АН СССР |
|
26.03.1993 |
М |
Руководство к пользованию системой АЛЬФА |
1968 |
Ершов А. П., Кожухин Г. И., Поттосин И. В. |
|
|
ВЦ СО АН СССР |
|
26.03.1993 |
СТ |
Экспериметальная система коллективного пользования АИСТ-0 |
1970 |
Поттосин И. В. |
|
|
|
Труды 2-й Всесоюз.конф. по программированию |
26.03.1993 |
СТ |
Диспетчер системы АИСТ-0 |
1970 |
Поттосин И. В. |
|
|
|
Труды 2-й Всесоюз.конф. по программированию |
26.03.1993 |
СТ |
Программа для решения систем линейных алгебраических уравнений методом Гаусса по схеме главных элементов (СП-0206) |
1972 |
Поттосин И. В. |
|
|
ИПМ АН СССР |
Программы для решения задач линейной алгебры |
26.03.1993 |
СТ |
Работа по аналитическим преобразованиям в ВЦ СО АН СССР |
1972 |
Поттосин И. В., Бежанова М. М., Катков В. Л. |
|
|
|
Вычислительная математика и вычислительная техника. Вып.3 |
26.03.1993 |
СТ |
Первый советско-французский симпозиум по операционным системам |
1972 |
Поттосин И. В., Котов В. Е., Филинов Е. Н. |
|
|
|
Системное и теоретическое программирование |
26.03.1993 |
М |
ЭПСИЛОН-система автоматизации программирования задач символьной обработки |
1972 |
Поттосин И. В. |
|
|
|
|
26.03.1993 |
СТ |
Операционные системы коллективного пользования |
1973 |
Поттосин И. В. |
|
|
ВЦ СО АН СССР |
Системное и теоретическое программирование |
26.03.1993 |
СТ |
О линеаризации программы и частичном ее упорядочивании |
1973 |
Поттосин И. В. |
|
|
ВЦ СО АН СССР |
Системное и теоретическое программирование |
26.03.1993 |