1. Репозиторий Самарского национального исследовательского университета имени академика С.П. Королёва
  2. 04. Материалы конференций
  3. Информационные технологии и нанотехнологии
Full metadata record
DC FieldValueLanguage
dc.contributor.authorВостокин, С.В.
dc.date2017
dc.date.accessioned2025-08-22T12:17:58Z-
dc.date.available2025-08-22T12:17:58Z-
dc.date.issued2017
dc.identifier.identifierDspace\SGAU\20170522\64072
dc.identifier.citationВостокин С.В. Система параллельных вычислений Templet: спецификация, реализация, применение // Сборник трудов III международной конференции и молодежной школы «Информационные технологии и нанотехнологии» (ИТНТ-2017) - Самара: Новая техника, 2017. - С.1567-1572.
dc.identifier.urihttp://repo.ssau.ru/jspui/handle/123456789/13625-
dc.description.abstractВ статье описывается реализованный прототип системы параллельных вычислений Templet для языка программирования С++. В системе используется новая версия акторной модели выполнения. Дизайн данной акторной модели позволяет определить поведение разрабатываемой параллельной программы математически точно на основе формул темпоральной логики. Это свойство важно, так как даёт разработчику свободу реализации акторных вычислений на произвольной платформе. Представленный вариант акторной модели может быть легко реализован на различном аппаратном обеспечении и на различных языках программирования для вычислений на системах с разделяемой памятью. В статье даётся определение модели акторов Templet с использованием логики TLA, обсуждается дизайн системы программирования и описывается несколько примеров практического использования представленной системы параллельных вычислений.
dc.description.sponsorshipРабота выполнена при государственной поддержке Министерства образования и науки РФ в рамках реализации мероприятий Программы повышения конкурентоспособности Самарского национального исследовательского университета имени академика С.П. Королева среди ведущих мировых научно-образовательных центров на 2013-2020 годы. Работа частично поддержана грантом РФФИ № 15-08-05934 А.
dc.languagerus
dc.publisherНовая техника
dc.titleСистема параллельных вычислений Templet: спецификация, реализация, применение
dc.typeArticle
local.identifier.oldurihttp://repo.ssau.ru/handle/Informacionnye-tehnologii-i-nanotehnologii/Sistema-parallelnyh-vychislenii-Templet-specifikaciya-realizaciya-primenenie-64072
local.identifier.oldurihttp://repo.ssau.ru/handle/Informacionnye-tehnologii-i-nanotehnologii/Sistema-parallelnyh-vychislenii-Templet-specifikaciya-realizaciya-primenenie-64072
Appears in Collections:Информационные технологии и нанотехнологии

Files in This Item:
File Description SizeFormat 
paper 283_1567-1572.pdfОсновная статья. Раздел: Высокопроизводительные вычисления538.53 kBAdobe PDFView/Open
Show simple item record


Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.