Evolution of Visualization Methods for Research Publication Collections
Main Article Content
Abstract
Article Details
References
Левин И.И., Дордопуло А.И., Гудков В.А. Программирование реконфигурируемых вычислительных узлов на языке COLAMO. Учебное пособие. Таганрог: Изд-во ТТИ ЮФУ, 2011. 114 с.
Дордопуло А.И., Левин И.И. Ресурсонезависимое программирование гибридных реконфигурируемых вычислительных систем // Суперкомпьютерные дни в России: Труды международной конференции (25–26 сентября 2017 г., г. Москва). М.: Изд-во МГУ, 2017. C. 714–723.
Kasyanov V. Sisal 3.2: functional language for scientific parallel programming // Enterp. Inf. Syst. 2013. V. 7. No 2. P. 227–236.
Легалов А.И. Функциональный язык для создания архитектурно-независимых параллельных программ // Вычислительные технологии. 2005. № 1 (10). С. 71–89.
Legalov A.I., Vasilyev V.S., Matkovskii I.V., Ushakova M.S. A Toolkit for the Development of Data-Driven Functional Parallel Programmes // Parallel Computational Technologies. PCT 2018. Communications in Computer and Information Science, vol 910. Springer, Cham. P. 16–30.
Vasilev V.S., Legalov A.I. Loop-invariant Optimization in the Pifagor Language // Automatic Control and Computer Sciences, 2018. V. 52. No 7. P. 843849.
Ushakova M.S., Legalov A.I. Verification of Programs with Mutual Recursion in Pifagor Language // Automatic Control and Computer Sciences, 2018. V. 52. No 7. P. 850–866.
Удалова Ю.В., Легалов А.И., Сиротинина Н.Ю. Методы отладки и верификации функционально-потоковых параллельных программ // Журнал Сибирского федерального университета. Серия «Техника и технологии». Апрель 2011 (том 4, номер 2). С. 213–224.
Legalov A.I., Legalov I.A., Matkovsky I.V. Instrumental support of the evolutionary expansion of programs using a incremental development // 20th Conf. Scientific Services and Internet, SSI 2018; Novorossiysk-Abrau; Russian Federation; 17–22 September 2018. CEUR Workshop Proc. V. 2260. 2018. P. 346–359.
Легалов А.И., Редькин А.В., Матковский И.В. Функционально-потоковое параллельное программирование при асинхронно поступающих данных // Параллельные вычислительные технологии (ПаВТ'2009): Труды международной научной конференции, Нижний Новгород, 30 марта – 3 апреля 2009 г. Челябинск: Изд. ЮУрГУ, 2009. С. 573–578.
Легалов А.И. Об управлении вычислениями в параллельных системах и языках программирования // Научный вестник НГТУ. 2004. № 3 (18). С. 63–72.
Hoare C.A.R. An axiomatic basis for computer programming // Communications of the ACM. 1969. V. 10. No 12. P. 576–585.
Kropacheva M., Legalov A. Formal Verification of Programs in the Pifagor Language // Parallel Computing Technologies, 12th International Confernce PACT September-October, 2013. St. Petersburg, Russia. Lecture Notes in Computer Science 7979, Springer, 2013. P. 80–89.
Ushakova M.S., Legalov A.I. Automation of Formal Verification of Programs in the Pifagor Language // Modeling and Analysis of Information Systems. 2015. V. 22. No 4. P. 578–589.
Presenting an article for publication in the Russian Digital Libraries Journal (RDLJ), the authors automatically give consent to grant a limited license to use the materials of the Kazan (Volga) Federal University (KFU) (of course, only if the article is accepted for publication). This means that KFU has the right to publish an article in the next issue of the journal (on the website or in printed form), as well as to reprint this article in the archives of RDLJ CDs or to include in a particular information system or database, produced by KFU.
All copyrighted materials are placed in RDLJ with the consent of the authors. In the event that any of the authors have objected to its publication of materials on this site, the material can be removed, subject to notification to the Editor in writing.
Documents published in RDLJ are protected by copyright and all rights are reserved by the authors. Authors independently monitor compliance with their rights to reproduce or translate their papers published in the journal. If the material is published in RDLJ, reprinted with permission by another publisher or translated into another language, a reference to the original publication.
By submitting an article for publication in RDLJ, authors should take into account that the publication on the Internet, on the one hand, provide unique opportunities for access to their content, but on the other hand, are a new form of information exchange in the global information society where authors and publishers is not always provided with protection against unauthorized copying or other use of materials protected by copyright.
RDLJ is copyrighted. When using materials from the log must indicate the URL: index.phtml page = elbib / rus / journal?. Any change, addition or editing of the author's text are not allowed. Copying individual fragments of articles from the journal is allowed for distribute, remix, adapt, and build upon article, even commercially, as long as they credit that article for the original creation.
Request for the right to reproduce or use any of the materials published in RDLJ should be addressed to the Editor-in-Chief A.M. Elizarov at the following address: amelizarov@gmail.com.
The publishers of RDLJ is not responsible for the view, set out in the published opinion articles.
We suggest the authors of articles downloaded from this page, sign it and send it to the journal publisher's address by e-mail scan copyright agreements on the transfer of non-exclusive rights to use the work.