Шуликов Александр Валериевич

Факультет: Вычислительной техники и информатики

Специальность: Программное обеспечение автоматизированных систем

Тема выпускной работы:

Увеличение производительности транслятора языка Пролог с использованием механизма параллельных вычислений

Руководитель: доцент, к.ф-м.н., Дацун Наталья Николаевна

Cайты магистров ДонНТУ

• http://masters.donntu.ru/2006/fvti/nebotov/index.htm
  Неботов Евгений Николаевич (Исследование способов распараллеливания в процессе трансляции)
• http://masters.donntu.ru/2007/fvti/savkov/index.htm
  Савков Константин Григорьевич (Увеличение производительности транслятора языка Лисп благодаря использованию параллельных вычислений)
• http://masters.donntu.ru/2003/fvti/borisenko/index.htm
  Борисенко Алексей Сергеевич (Исследование способов распараллеливания программ в процессе трансляции)

Материалы по языку Prolog, логическому программированию, программированию

• http://www.intuit.ru/department/pl/plprolog/
  Курс языка Prolog в интернет-университете Intuit.
• http://www.gprolog.org/
  The GNU Prolog web site
• http://www.visual-prolog.com/
  Официальный сайт Visual Prolog.
• http://directory.google.ru/Top/Computers/Programming/Languages/Prolog/
  Директория Google (ссылки, связанные с программированием на Пролог).
• http://www.progz.ru/
  Портал с информацией по программированию.
• http://www.softcraft.ru/
  Программирование. Программирование трансляторов. Параллелизм.
• http://ktiml.mff.cuni.cz/~bartak/prolog/
  On-line guide to Prolog programming
• http://www.lpa.co.uk/
  Logic Programming Associates
• http://www.idiom.com/free-compilers/CATEGORY/logicpro-1.html
  Языки логического программирования
• http://augenblickkg.narod.ru/lefun/
  Каталог компиляторов, интерпретаторов, языковых инструментов
• http://www.rsdn.ru/
  Russian Software Developer Network
• http://kit.kulichki.net/
  Компиляторы: принципы, методы и средства разработки.
• http://dvoika.net/education/prolog/
  Программирование на языке Пролог: курс лекций
• http://citforum.univ.kiev.ua/programming/digest/prolog/
  Логические основы Пролога.
• http://www.softcraft.ru/paradigm/dp/
  Декларативное программирование.
• http://prolog.edu.ru/
  Система логического программирование Пролог-Д.
• http://www.cplire.ru/Lab144/1251/09010000.html
  Акторный Пролог.
• http://www.ncc.up.pt/~vsc/Yap
  YAP Prolog.
• http://cs.wwc.edu/~aabyan/415/Datalog.html
  Datalog and Logic-Based Databases.
• http://www.fdi.ucm.es/profesor/fernan/des/
  Datalog educational system
• http://public.uic.rsu.ru/~skritski/scourses/Transl/index.html
  Трансляция языков программирования: синтаксис, семантика, перевод

Материалы по параллельному программированию и суперкомпьютерам

• http://parallel.ru/
  Информационно-аналитический центр.
• http://www.top500.org/
  TOP500 supercomputer sites.
• http://www.srcc.msu.ru/
  Научно-исследовательский вычислительный центр МГУ
• http://www.mvs.tsure.ru/
  Научно-исследовательский институт многопроцессорных вычислительных систем. Южный федеральный университет.
• http://www.iit.edu/~concur/
  Concurrent programming research group
• http://www-unix.mcs.anl.gov/dbpp/text/book.html
  Designing and Building Parallel Programs.
• http://stwww.weizmann.ac.il/G-CS/BENARI/home/cp.html
  Parallel programming
• http://www.csm.ornl.gov/pvm/pvm_home.html
  Parallel virtual machine
• http://pvm-plus-plus.sourceforge.net/
  C++ library for parallel virtual machine
• http://www.mpi-forum.org/docs/
  MPI specification.
• http://www.mcs.anl.gov/research/projects/mpich2/
  Open-source MPI2 implementation.
• http://www.scali.com/
  Total cluster lifecycle management for the linux datacenter.
• http://h21007.www2.hp.com/portal/site/dspp/PAGE.template/page.document?ciid=a308a8ea6ce02110a8ea6ce02110275d6e10RCRD
  HP Message Passing Interface library (HP-MPI)
• http://mvapich.cse.ohio-state.edu/
  MVAPICH: MPI over InfiniBand and iWARP
• http://www.open-mpi.org/
  Open MPI: Open Source High Performance Computing
• http://www.lam-mpi.org/
  LAM/MPI Parallel Computing
• http://www.netlib.org/
  Репозиторий ПО и документации по параллельным вычислениям
• http://www.math.utah.edu/ftp/pub/tex/bib/toc/parallelcomputing.html
  Table of contents for issues of Parallel Computing
• http://www.keldysh.ru/dvm/dvmhtm1107/publishr/cldvm2002web.htm
  Разработка параллельных программ для вычислительных кластеров и сетей.
• http://www.ssd.sscc.ru/
  Supercomputer software department
• http://www.ispras.ru/~microrb/papers/index.html
  Публикации рабочей группы Распределенных ОО-систем (ИСП РАН)
• http://lvk.cs.msu.su/
  Публикации Лаборатории Вычислительных Комплексов факультета ВМиК МГУ
• http://parallel.ru/computers/classes.html
  Основные классы современных параллельных компьютеров
• http://supercomputers.ru/
  Официальный cписок 50 самых мощных компьютеров СНГ
• http://www.hpcwire.com/
  The global publication of record for High Performance Computing
• http://boinc.berkeley.edu/
  Программное обеспечение с открытым исходным кодом для организации добровольных распределённых вычислений или распределённых вычислений на настольных компьютерах