Вы здесь

Главная

Касьянов В. Н.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Анализ управляю их графов программ 1973 Касьянов В. Н. Системное программирование: Материалы Всесоюз. симп., март, 1973. Ч.II 06.04.1993
СТ Экономное преобразование несводимых графов 1973 Касьянов В. Н. Системное и теоретическое программирование 06.04.1993
СТ Об одном алгоритме выделения бикомпонент в ориентированном графе 1974 Касьянов В. Н. Системное и теоретическое программирование 06.04.1993
СТ Информационные связи и преобразование схем программ 1974 Касьянов В. Н. Системное и теоретическое программирование: Тез. докл./III Всесоюз. симп., Кишинев. Т.2 06.04.1993
А Комбинаторные задачи анализа программ и оптимизирующей трансляции 1975 Касьянов В. Н. 16.04.1993
СТ К оценке частоты выполнения операторов и переходов в программе 1975 Касьянов В. Н. Программирование 06.04.1993
СТ Анализ структур программ в глобальной оптимизации 1975 Касьянов В. Н., Трахтенброт М. Б. Труды Всесоюз. симп. по методам реализации новых алгоритмических языков. Ч.1 06.04.1993
СТ К перестраиваемости коммутационных схем 1975 Касьянов В. Н. Вычислительные методы и программирование 06.04.1993
СТ Выделение гамаков в ориентированном графе 1975 Касьянов В. Н. Доклады Академии наук СССР 06.04.1993
СТ О нахождении аргументов и результатов в схемах с косвенной адресацией 1976 Касьянов В. Н. Программирование 06.04.1993
СТ Крупноблочная сегментация и распараллеливание схем программ 1976 Касьянов В. Н., Вальковский В. А. Программирование 06.04.1993
СТ К вопросу о реализации схем над распределенной памятью 1977 Касьянов В. Н. Кибернетика 06.04.1993
П Практический подход к оптимизации программ 1978 Касьянов В. Н. ВЦ СО АН СССР 16.04.1993
М Методы трансляции 1978 Поттосин И. В., Касьянов В. Н. 30.03.1993
СТ Конференция молодых ученых по системному программированию 1978 Касьянов В. Н. Программирование 06.04.1993
М Индивидуальные задания по практике на ЭВМ (Методическая разработка) 1979 Касьянов В. Н., Поттосин И. В., Сабельфельд В. К., Трахтенброт М. Б. НГУ 09.04.1980
М Технология трансляции (Учебное пособие) 1979 Поттосин И. В., Касьянов В. Н. 30.03.1993
СТ Технологические возможности оптимизации программ 1979 Поттосин И. В., Касьянов В. Н. Тез. докл. 1-ой Всесоюз. конф. по технологии программирования (секция К) 30.03.1993
П Разгрузка участков повторяемости 1979 Касьянов В. Н. ВЦ СО АН СССР 21.04.1993
СТ Смешанные вычисления и оптимизация программ 1979 Касьянов В. Н. Технология программирования: Тез. докл./I Всесоюз. конф., ИК АН УССР, Киев, 1979. Секция К 06.04.1993
СТ Оптимизация крупноблочных программ 1980 Касьянов В. Н. Методы математической логики в проблемах искусственного интеллекта и систематическое программирование: Тез. докл./Всесоюз. конф., Вильнюс, 1980. Ч.1 16.04.1993
СТ Анализ структур программ 1980 Касьянов В. Н. Кибернетика 06.04.1993
СТ Перераспределение памяти в крупноблочных программах 1980 Касьянов В. Н. Трансляция и модели программ 16.04.1993
СТ Технологические возможности оптимизации программ 1980 Поттосин И. В., Касьянов В. Н. Программирование 30.03.1993
СТ Свободные интерпретации крупноблочных схем программ 1980 Касьянов В. Н. Теоретические основы компиляции 15.12.1992
СТ Вопросы моделирования программ при их оптимизации 1981 Касьянов В. Н. Тезисы докладов Всесоюз. конф. по методам трансляции, 3-5 февраля 1981 г., Новосибирск 16.04.1993
СТ К обоснованию алгоритмов преобразования крупноблочных программ 1981 Касьянов В. Н. Программирование 16.04.1993
СТ Об автоматическом конструировании качественных программ, основанном на преобразовании 1981 Поттосин И. В., Дзелинский А. М., Касьянов В. Н. Всесоюз.конф. "Программное обеспечение вычислительных сетей и систем реального времени": Тез.докл. 30.03.1993
М Сборник индивидуальных заданий по практике на ЭВМ 1981 Касьянов В. Н., Сабельфельд В. К., Трахтенброт М. Б. 06.04.1993
М Методы анализа программ: учебное пособие 1982 Касьянов В. Н. НГУ 22.04.1997
П Системы конкретизации: подход и основные понятия 1982 Касьянов В. Н., Поттосин И. В. ВЦ СО АН СССР 21.04.1993
СТ Вопросы конкретизации программ 1982 Касьянов В. Н. Проблемы системного и теоретического программирования 16.04.1993
СТ Эквивалентные преобразования кратных схем 1982 Касьянов В. Н. Программирование 16.04.1993
СТ Полнота класса крупноблочных схем 1982 Касьянов В. Н. Программные системы и вопросы эффективности использования ЭВМ 16.04.1993
П Оптимизация программ: обзор подходов 1982 Касьянов В. Н. ВЦ СО АН СССР 21.04.1993
СТ Программы оптимизирую ие преобразования 1982 Касьянов В. Н. Мат. энциклопедия 16.04.1993
СТ Язык для представления алгоритмов анализа программ 1982 Касьянов В. Н. Методы и программы решения оптимальных задач на графах и сетях. Ч.1 16.04.1993
СТ Методика разработки многоязыковых трансляторов на примере системы БЕТА 1982 Поттосин И. В., Ершов А. П., Касьянов В. Н., Покровский С. Б. ВЦ СО АН СССР Математическая теория и практика системного программного обеспечения 30.03.1993
СТ Быстрый алгоритм выделения максимальных линейных участков в программе 1982 Касьянов В. Н. Математическая теория и практика системс программного обеспечения: Труды советско-болгарского сове ания 16.04.1993
СТ Теоретико-графовые задачи в трансляции 1982 Касьянов В. Н. Методы и программы решения оптимальных задач на графах и сетях. Ч.1 16.04.1993
П Архитектура систем конкретизации 1983 Касьянов В. Н., Поттосин И. В. ВЦ СО АН СССР 21.04.1993
М Автоматизация построения трансляторов: учебное пособие 1983 Касьянов В. Н., Поттосин И. В. НГУ 22.04.1997
П Автоматизация построения трансляторов 1983 Поттосин И. В., Касьянов В. Н. ВЦ СО АН СССР 30.03.1993
СТ Чистка циклов 1983 Касьянов В. Н. Системное и теоретическое программирование: Тез. докл./Всесоюз. симп., Кишинев, 1983 16.04.1993
СТ Редуцирую ие преобразования программ 1983 Касьянов В. Н. Трансляция и оптимизация программ 16.04.1993
СТ Базис для оптимизации программ 1983 Касьянов В. Н. Оптимизация и преобразования программ. Ч.1 16.04.1993
СТ Контекстно-свободные преобразования аннотированных программ 1983 Касьянов В. Н. Автоматизация производства пакетов прикладных программ и трансляторов 16.04.1993
СТ Автоматизированное построение программ путем их конкретизации 1983 Касьянов В. Н. Проблемы и информатики и ее применения в управлении, обучении и научных исследованиях 16.04.1993
СТ Эквивалентные преобразования линейных участков программ 1984 Касьянов В. Н. Трансляция и преобразования программ 16.04.1993
СТ Спецификация контекста для редукции программ 1984 Касьянов В. Н. Проблемы системного и теоретического программирования 16.04.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Конструирование и оптимизация программ 1993
  1. Касьянов В. Н.
 ИСИ СО РАН 22.03.1994
СБ Интеллектуализация и качество программного обеспечения: Сборник научных трудов 1994
  1. Касьянов В. Н.
 ИСИ СО РАН 30.01.1995
СБ Оптимизирующая трансляция и конструирование программ 1997
  1. Касьянов В. Н.
 ИСИ СО РАН 08.01.1998
М Сводимые графы и граф-модели в программировании 1999 Евстигнеев В. А., Касьянов В. Н.
  1. Касьянов В. Н.
 27.11.2000
СБ Проблемы систем информатики и программирования 1999
  1. Касьянов В. Н.
 ИСИ СО РАН 04.05.2000
СБ Поддержка супервычислений и Интернет-ориентированные технологии 2001
  1. Касьянов В. Н.
 ИСИ СО РАН 31.03.2001
СБ Новые информационные технологии в науке и образовании 2003
  1. Касьянов В. Н.
 ИСИ СО РАН 26.12.2003
СБ Программные средства и математические основы информатики 2004
  1. Касьянов В. Н.
 СО РАН, ИСИ СО РАН 25.08.2004
СБ Методы и инструменты конструирования и оптимизации программ 2005 Конструирование и оптимизация программ
  1. Касьянов В. Н.
 ИСИ СО РАН 24.08.2005
СБ Проблемы интеллектуализации и качества систем информатики 2006 Конструирование и оптимизация программ
  1. Касьянов В. Н.
 ИСИ СО РАН 10.02.2007
СБ Методы и инструменты конструирования программ 2007
  1. Касьянов В. Н.
 ИСИ СО РАН 06.06.2008
М Эквивалентности для поведенческого анализа параллельных и распределенных вычислительных систем 2007 Тарасюк И. В.
  1. Касьянов В. Н.
 ИСИ СО РАН 26.02.2008
М Эквивалентности для поведенческого анализа параллельных и распределенных вычислительных систем 2007 Тарасюк И. В.
  1. Касьянов В. Н.
 ИСИ СО РАН 27.02.2008
М Адаптивные методы и средства поддержки дистанционного обучения программированию 2007 Касьянова Е. В. Проблемы конструирования и оптимизации программ
  1. Касьянов В. Н.
 ИСИ СО РАН 25.09.2007
СБ Конструирование и оптимизация параллельных программ 2008
  1. Касьянов В. Н.
 ИСИ СО РАН, СО РАН 11.11.2009
СБ Семинар "Исторя информатики в Сибири": Труды 7-й международной конференции памяти академика А.П.Ершова "Перспективы систем информатики, PSI 09. Новосибирск, Россия, июнь 2009 2009
  1. Касьянов В. Н.
 26.08.2013
СБ Седьмая международная конференция памяти академика А.П.Ершова ПЕРСПЕКТИВЫ СМСТЕМ ИНФОРМАТИКИ. Семинар "История информатики в Сибири"/Информационный бюллетень. 15июня 2009 года, Новосибирск, Академгородок, Россия 2009
  1. Касьянов В. Н.
 21.07.2009
СБ Проблемы системной информатики 2010 Конструирование и оптимизация программ
  1. Касьянов В. Н.
 ИСИ СО РАН, СО РАН 25.01.2011
СБ Информатика в науке и образовании 2012 Конструирование и оптимизация программ
  1. Касьянов В. Н.
 ИСИ СО РАН 06.05.2013
М Система облачного параллельного программирования CPPS: Визуализация и верификация Cloud Sisal программ 2020 Касьянов В. Н., Гордеев Д. С., Золотухин Т. А., Касьянова Е. В., Кондратьев Д. А. Конструирование и оптимизация программ
  1. Касьянов В. Н.
 ИСИ СО РАН 12.03.2021