Архив
Всесоюзные конференции, семинары, симпозиумы, совещания, съезды, школы-семинары
Вторая всесоюзная конференция по программированию (ВКП-2)
Труды
Приглашенные доклады, 1-й выпуск
Глушков В.М. "Автоматизированные системы управления"; Адельсон-Вельский Г.М., Бонгард М.М., Лавров С.С. "Эвристическое программирование"; Гладкий А.В., Диковский А.Я. "Теория формальных грамматик и языков"
Приглашенные доклады, 2-й выпуск
Ершов А.П. "Программирование за рубежом"; Баяковский Ю.М., Штаркман В.С. "Машинная графика"; Иванников В.П., Канатникова З.А. "Операционная система НД-69 для БЭСМ-6"
Доклады иностранных участников, международная дискуссия
Ф.Л.Бауэр "Языки программирования с образовательной и профессиональной точек зрения"; А.ван Вейнгаарден "На границе между естественным и искусственным языками"; П.З.Ингерман "Таксономия для программирования"; Дж.Кок "Глобальная экономия команд"; Дж.Маккарти "Текущее состояние математической теории вычислений"; Луи Нолэн "АТФ - разумный язык программирования"; материалы дискуссии по теме "Программирование в 70-х годах"
Заседание Б
О.К.Даугавет, Д.В.Иголкина, Клоначева, Е.Ю.Шарая "Транслятор с языка моделирования СИМУЛА на АЛГОЛ-60"; С.С.Камынин, Э.З.Любимский, В.Л.Ушкова "Универсальная схема программирования"; В.М.Курочкин, Д.Б.Подшивалов, Г.И.Седанкина, А.И.Срагович, Н.Н.Стрелкова, А.Я.Фалетова "Система БЭСМ-АЛГОЛ"; С.А.Романенко, В.Ф.Турчин "РЕФАЛ-компилятор"; Н.Н.Говорун, В.А.Ростовцев, В.И.Семашко, В.П.Шириков "О математическом обеспечении системы машин измерительно-вычислительного комплекса ОИЯИ-Дубна"; С.В.Брискина, Л.Ф.Лебедев, Л.И.Лунева "Модификация транслятора с автокода ИПМ АН СССР для ЭВМ М-220"; Б.А.Князев, А.И.Маклаков "Единая реализация процедур ввода-вывода для языков АЛГАМС и ФОРТРАН"; М.Г.Гонца "Об одной разработке параметрической транслирующей системы"
Заседание В
Задыхайло И.Б., Камынин С.С., Любимский Э.З., Шура-Бура М.Р. "Операционная система ИПМ АН СССР для БЭСМ-6 (ОС ИПМ)"; Бахарев И.А., Борисов А.Г., Жучков А.В., Задыхайло И.Б., Камынин С.С., Корягин Д.А., Крюков В.А, Любимский Э.З., Мамаева А.И., Поздняков Л.А., Старовойтова Ю.М., Тросман Т.А., Усов С.А., Штаркман В.С., Шура-Бура М.Р "Супервайзер ОС ИПМ"; Задыхайло И.Б., Камынин С.С., Кетков Ю.Л., Корягин Д.А., Любимский Э.З., Шура-Бура М.Р., Штаркман В.С. "Монитор ОС ИПМ"; Абельмасов Б.А., Задыхайло И.Б., Илюшин А.И., Имшенецкий А.Н., Камынин С.С., Карташев Д.И., Корягин Д.А., Любимский Э.З., Маклашин О.А., Михелев В.М., Штаркман В.С., Шура-Бура М.Р. "Организация работы с внешней памятью в ОС ИПМ"; Елтаренко А.А.,Задыхайло И.Б., Зеленина Л.А., Зусман И.Х.,Камынин С.С.,Кетков Ю.Л., Любимский Э.З., Шулепов Н.А. "Управление задачами и процессами в ОС ИПМ"; Бахарев И.А., Любимский Э.З., Тюрин В.Ф. "Организация работы с телетайпом и отладка в ОС ИПМ"; Илюшин А.И., Хованская Г.П. "Архив ОС ИПМ"
Заседание Г
Дж. Кок "Глобальная экономия совпадающих выражений"; Романовская Л.М, Столяров Г.К., Федоров А.Т., Фельдман Л.С. "Система автоматизации программирования на базе минимального согласованного КОБОЛа"; Шкут Н.В. "Вопросы оптимизации рабочих программ в трансляторах ТАМ-22Т и ТАМ-32"; Тинн К.А., Тыугу Э.Х., Унт М.И. "Система модульного программирования для ЦВМ Минск-22"; Шураков В.В., Морозов В.П. "Система автоматизации программирования задач обработки данных для ЭВМ Минск-22"; Красник Л.И., Неменман М.Е.,Цегельский В.И. "Основные положения системы программирования машины Минск-32"; Асцатуров P.M., Чернецкий Л.В., Мальцев Н.А., Марголин М.С. "Система автоматизации микропрограммирования"; Максимей И.В. "Программное обеспечение для проведения статистического анализа динамики работы регистров и устройств машины М-220 при решении задач"
Заседание Ж
Иванников В.П., Канатникова З.А., Карабутова Н.Е., Королев Л.Н., Максаков М.И., Суслова Т.М. "Операционная система НД-69 для БЭСМ-6"; Говорун Н.Н., Веретенов В.Ю., Волков А.И., Заикин Н.С., Силин И.Н., Федорова Р.Н., Шириков В.П. "Мониторная система Дубна для ЭВМ БЭСМ-6"; Жоголев Е.А., Кабанов "Принципы построения операционной системы УНИОС - 68"; Афиногенов В.М., Грибанова Н.И., Орлов Б.Н., Соболев А.М. "Операционная система для машины БЭСМ-4"; Белокурская И.А., Кушнерев Н.Т., Неменман М.Е. "Основные функции диспетчера машины Минск-32"; Лях А.Г., Марголин М.С., Скоромник М.Г. "Реализация операционной системы на машине Минск-23"; Мочалин Е.Д., Шурухт Л.М. "Информационно-поисковая служба математического и организационного обеспечения ЭВМ с использованием техники краеперфорированных карт"
Заседание З
Калиниченко Л.А., Москаленко В.М. "Исследование характеристик системы с разделением времени посредством имитационной модели"; Алексеевский М.А., Попов Э.В. "О распределении оперативной памяти для ЦВМ, решающих фиксированный набор задач"; Хисамутдинов В.Р., Легоньков В.И. "Система информационного обеспечения"; Виленкин,Мовшович, Трахтенгерц "Операционная система управляющей вычислительной машины с малым объемом памяти"; Воскресенский, Козмидиади, Козмидиади, Олефир, Смакотина "Специализированная организующая система АЦС"; Каганов С.М., Левченко В.Д., Печерский Б.Ф. "ЭВМ М-220 как элемент вычислительной системы"; Афиногенов В.М. "Динамическое установление приоритета при решении задач на ЦВМ квантами"; Матулис В.А., Румшас П.Д. "О структуре сложных программ"
Доклад, 30.01.1970-26.02.1970
"Программирование за рубежом". /Текст черновой./
Заседание К
Маккарти Дж. "Новые результаты в математической теории вычислений"; Редько В.Н. "Параметрические грамматики"; Фуксман А.Л. "О некоторых свойствах формальных грамматик"; Тузов В.А. "Проблемы разрешения для граф-схем с перестановочными операторами"; Непомнящий В.А. "Об одном методе распознавания эквивалентности схем программ и дискретных преобразований"; Гонца М. Г., Маричук М.Н. "Параметрически управляемый синтаксический контроль и анализ языков программирования"
Заседание М
Никитин А.И., Шолмов Л.И. "Алгоритм внешней сортировки на магнитных лентах, использующий оптимальное дерево слияния"; Ермаченко Э.И. "О некоторых принципах построения информационно-справочной системы"; Арефьев В.Б., Влэдуц Г.Э., Паппэ И.Я., Коноплева Е.В., Кислякова О.И., Пашковская Н.С., Журавлева М.А., Богатырева В.Г. "Реализация на ЭВМ БЭСМ-4 процесса составления формульного указателя к РЖ "Химия"; Легоньков В.И. "Вопросы сегментации "величин шага" при решении на ЭВМ двумерных задач математической физики явными разностными методами"; Зубов B.C., Лазарова А.В. "К вопросу о классификации методов внешнего упорядочения"; Сарв Э.Н., Хейнла Л.Э. "Анкетная система обработки экономических данных"
Заседание Н
Вишневский Ю.Л., Ершов А.П., Кожухин Г.И., Макаров Г.П., Метляев Ю., Поттосин И.В."Экспериментальная система коллективного пользования АИСТ-0"; Бабецкий Г.И., Голосов И.С., Макаров В.П., Михалевич Ю.И., Поттосин И.В., Суслов С.Л., Яковченко В.Н. "Диспетчер системы АИСТ-0"; Бежанова М.М."Системная программа ТЕНЗОР"; Конозенко В.И., Машбиц Г.Я., Никитин А.И. "Операционная система для отладки программ в режиме диалога на машине Днепр-2"; Аксельрод И.Р., Белоус Л.Ф. "О выполнении аналитических преобразований в системе разговорного программирования СИРИУС"; Красилов Ю.А. "Система отображения информации с помощью АЦПУ"; Горбунов В. Н., Каплунов М.И., Крюкова Л.Д., Прохорова Л.Я., Рябикина Н.А., Шумилина Н.В. "Язык задания начальных данных для двумерных задач (РНД-язык)"; Калашник Б.А. "Автоматический редактор алгольных программ"

По порядку | По алфавиту | По дате

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016