Formal methods of parallel software design automation
Saved in:
| Date: | 2020 |
|---|---|
| Main Authors: | Yu. Doroshenko, O. A. Yatsenko |
| Format: | Article |
| Language: | English |
| Published: |
2020
|
| Series: | Reports of the National Academy of Sciences of Ukraine |
| Online Access: | http://jnas.nbuv.gov.ua/article/UJRN-0001106105 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
Library portal of National Academy of Sciences of Ukraine | LibNASSimilar Items
-
Formal methods of parallel software design automation
by: Doroshenko, A.Yu., et al.
Published: (2020) -
Formal and adaptive methods and software tools of parallel programming
by: Yu. Doroshenko, et al.
Published: (2017) -
Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018) -
Formalized design and synthesis of parallel programs for videographic shortcuts
by: Doroshenko, A.Yu., et al.
Published: (2025) -
Automated design of programs for .NET platform using Task Parallel Library
by: Yu. Doroshenko, et al.
Published: (2020)