Formal methods of parallel software design automation

Formal methods and software tools of automated design and synthesis of parallel programs are proposed. The developed facilities use the language based on the Glushkov system of algorithmic algebras intended for a highlevel and natural linguistic representation of algorithms and apply rewriting rules...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Dopovidi Nacionalʹnoï akademiï nauk Ukraïni číslo 6; s. 15 - 20
Hlavní autori: Doroshenko, A.Yu, Яценко, О.А.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: 28.03.2024
ISSN:1025-6415, 2518-153X
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract Formal methods and software tools of automated design and synthesis of parallel programs are proposed. The developed facilities use the language based on the Glushkov system of algorithmic algebras intended for a highlevel and natural linguistic representation of algorithms and apply rewriting rules technique to transform programs. The tools also use the method of syntactically correct algorithm scheme design which eliminates syntax errors during the construction of algorithms and programs. The approach is illustrated on developing the parallel N-body simulation program for the executing on a graphics processing unit.
AbstractList Formal methods and software tools of automated design and synthesis of parallel programs are proposed. The developed facilities use the language based on the Glushkov system of algorithmic algebras intended for a highlevel and natural linguistic representation of algorithms and apply rewriting rules technique to transform programs. The tools also use the method of syntactically correct algorithm scheme design which eliminates syntax errors during the construction of algorithms and programs. The approach is illustrated on developing the parallel N-body simulation program for the executing on a graphics processing unit.
Author Яценко, О.А.
Doroshenko, A.Yu
Author_xml – sequence: 1
  givenname: A.Yu
  surname: Doroshenko
  fullname: Doroshenko, A.Yu
– sequence: 2
  givenname: О.А.
  surname: Яценко
  fullname: Яценко, О.А.
BookMark eNpNz7FOwzAUhWELFYlQ-gYMfoGEe-3YTUZUUUCqxNKBzXLsawhK4sgOIN6eChg4y78d6btkqylOxNg1QoWqhu2Nj3P86H0vQEAFugJUZ6wQCpsSlXxesQJBqFLXqC7YJuc3OE0DNo0smNrHNNqBj7S8Rp95DHy2yQ4DDTzHsHzaRNxT7l8mbt-XONqlj9MVOw92yLT565od93fH3UN5eLp_3N0eSteiKpWvvSePVknRWmw91qHrgLYqdKHVonGEEGxLGEgE6b2z5DQ2DroAwge5ZvXvrUsx50TBzKkfbfoyCOYHb_7jDWhzwstv1klTGA
Cites_doi 10.4018/978-1-5225-9384-3
10.15407/akademperiodyka.367.192
10.1017/CBO9780511535246
10.1007/3-540-45628-7_13
10.4018/978-1-5225-2636-0
10.1145/1836089.1836091
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.15407/dopovidi2020.06.015
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Sciences (General)
EISSN 2518-153X
EndPage 20
ExternalDocumentID 10_15407_dopovidi2020_06_015
GroupedDBID AAYXX
ADBBV
ALMA_UNASSIGNED_HOLDINGS
BCNDV
CITATION
GROUPED_DOAJ
OK1
ID FETCH-LOGICAL-c915-5d4dded1a5329a19d14fbb0e75fbf9628ce10fa9e1fe2f3ddcaec618c0bf02df3
ISSN 1025-6415
IngestDate Sat Nov 29 08:08:11 EST 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 6
Language English
License http://creativecommons.org/licenses/by-nc/4.0
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c915-5d4dded1a5329a19d14fbb0e75fbf9628ce10fa9e1fe2f3ddcaec618c0bf02df3
OpenAccessLink http://www.dopovidi-nanu.org.ua/sites/default/files/2020/6/2020-6-3.pdf
PageCount 6
ParticipantIDs crossref_primary_10_15407_dopovidi2020_06_015
PublicationCentury 2000
PublicationDate 2024-03-28
PublicationDateYYYYMMDD 2024-03-28
PublicationDate_xml – month: 03
  year: 2024
  text: 2024-03-28
  day: 28
PublicationDecade 2020
PublicationTitle Dopovidi Nacionalʹnoï akademiï nauk Ukraïni
PublicationYear 2024
References ref7
ref9
ref4
ref3
ref6
ref5
Aarseth (ref8) 2003
ref0
ref2
ref1
References_xml – ident: ref2
  doi: 10.4018/978-1-5225-9384-3
– ident: ref1
  doi: 10.15407/akademperiodyka.367.192
– ident: ref3
– ident: ref6
– year: 2003
  ident: ref8
  publication-title: Gravitational N-body simulations
  doi: 10.1017/CBO9780511535246
– ident: ref9
– ident: ref4
  doi: 10.1007/3-540-45628-7_13
– ident: ref0
– ident: ref7
  doi: 10.4018/978-1-5225-2636-0
– ident: ref5
  doi: 10.1145/1836089.1836091
SSID ssj0000601883
Score 2.2508006
Snippet Formal methods and software tools of automated design and synthesis of parallel programs are proposed. The developed facilities use the language based on the...
SourceID crossref
SourceType Index Database
StartPage 15
Title Formal methods of parallel software design automation
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAON
  databaseName: DOAJ Directory of Open Access Journals
  customDbUrl:
  eissn: 2518-153X
  dateEnd: 20241231
  omitProxy: false
  ssIdentifier: ssj0000601883
  issn: 1025-6415
  databaseCode: DOA
  dateStart: 20140101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV05b9swFCaMtEOXoumBXik0VEALQy5FURI5OnGMTkEHF0gng-KBGlYkw0ea39FfnMdDtlAERTJkeaZoirb0PrxDegdCn0VmlXgOvgktRUKFrpKqsi8cQfRJXpSGGN9sory4YJeX_Mdg8LfLhbmuy6ZhNzd89aishjlgtk2dfQC795vCBIyB6UCB7UDvxfiptULr0BraBWrY8t51revhBmTuHxvqpVzcxlDstu3VgTXBRp20K5udtwDJK92DwvhsHJ_ypnUv1adDsXQh9eGoEbvl8OdyLfxxs9ibxi0o4N-6WfpEmtGvXfdNPMGwMp6kMSvs-DR3dOLo2FEXo2lH_HzkPvCo_3yCUBugRfoi1TbMLahP2hxpNwdGFfiuuesE3CGsL0a7xV6m4jtFva0cCLxQ4Z7AT2NXibU7t19Z-x-Nt49DtB6Q3Wfe32VuI_1s3YInpMx530332h2njPm8jXBhISPTbvTtjr_Ts3h6psvsBXoefI5o7LFyjAa6eYmOg1TfRF9C6fGvr1DuwRMF8EStiTrwRB14Ig-e6ACe12g2PZ-dfU9CY41E8jRPckVBqalU5BnhIuUqpaaqsC5zUxleECZ1io3gOjWamEwpKbQsUiZxZTBRJnuDjpq20W9RRMtS2MhAcPoZzRhlpMIKZ5JIWipF5TuUdNc-X_nyKfP_3fT3D1z_AT07YO4jOtqud_oEPZXX28Vm_clx7hYlx2F_
linkProvider Directory of Open Access Journals
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Formal+methods+of+parallel+software+design+automation&rft.jtitle=Dopovidi+Nacional%CA%B9no%C3%AF+akademi%C3%AF+nauk+Ukra%C3%AFni&rft.au=Doroshenko%2C+A.Yu&rft.au=%D0%AF%D1%86%D0%B5%D0%BD%D0%BA%D0%BE%2C+%D0%9E.%D0%90.&rft.date=2024-03-28&rft.issn=1025-6415&rft.eissn=2518-153X&rft.issue=6&rft.spage=15&rft.epage=20&rft_id=info:doi/10.15407%2Fdopovidi2020.06.015&rft.externalDBID=n%2Fa&rft.externalDocID=10_15407_dopovidi2020_06_015
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1025-6415&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1025-6415&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1025-6415&client=summon