A Semantic Preservation Proving Method of Multi-Threaded Code Generation for Synchronous Language

被引：0
|
作者：
Yuan, Sheng-Hao [1 ]
Yang, Zhi-Bin [1 ,2 ]
Zhang, Bo-Lin [1 ]
Zhou, Yong [1 ]
Xue, Lei [3 ]
Bodeveix, Jean-Paul [4 ]
Filali, Mamoun [4 ]
机构：
[1] College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing,211106, China
[2] Key Laboratory of Safety-Critical Software, Ministry of Industry and Information Technology, Nanjing,211106, China
[3] Shanghai Aerospace Electronic Technology Institute, Shanghai,201109, China
[4] IRIT-University of Toulouse, Toulouse,31062, France
来源：
Jisuanji Xuebao/Chinese Journal of Computers | 2020年 / 43卷 / 11期
关键词：
D O I：
10.11897/SP.J.1016.2020.02216
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：2216 / 2226
相关论文
共 50 条
  • [1] Multi-threaded Code Generation Tool for Synchronous Language
    Yang, Zhi-Bin
    Yuan, Sheng-Hao
    Xie, Jian
    Zhou, Yong
    Chen, Zhe
    Xue, Lei
    Bodevix, Jean-Paul
    Filali, Mamoun
    [J]. Ruan Jian Xue Bao/Journal of Software, 2019, 30 (07): : 1980 - 2002
  • [2] Multi-threaded code generation from Signal program to OpenMP
    Kai Hu
    Teng Zhang
    Zhibin Yang
    [J]. Frontiers of Computer Science, 2013, 7 : 617 - 626
  • [3] Multi-threaded code generation from Signal program to OpenMP
    Kai HU
    Teng ZHANG
    Zhibin YANG
    [J]. Frontiers of Computer Science., 2013, 7 (05) - 626
  • [4] Multi-threaded code generation from Signal program to OpenMP
    Hu, Kai
    Zhang, Teng
    Yang, Zhibin
    [J]. FRONTIERS OF COMPUTER SCIENCE, 2013, 7 (05) : 617 - 626
  • [5] A multi-threaded asynchronous language
    Paulino, H
    Marques, P
    Lopes, L
    Vasconcelos, V
    Silva, F
    [J]. PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, 2003, 2763 : 316 - 323
  • [6] A Multi-Threaded Semantic Focused Crawler
    Punam Bedi
    Anjali Thukral
    Hema Banati
    Abhishek Behl
    Varun Mendiratta
    [J]. Journal of Computer Science and Technology, 2012, 27 : 1233 - 1242
  • [7] A Multi-Threaded Semantic Focused Crawler
    Punam Bedi
    Anjali Thukral
    Hema Banati
    Abhishek Behl
    Varun Mendiratta
    [J]. Journal of Computer Science & Technology, 2012, 27 (06) : 1233 - 1242
  • [8] A Multi-Threaded Semantic Focused Crawler
    Bedi, Punam
    Thukral, Anjali
    Banati, Hema
    Behl, Abhishek
    Mendiratta, Varun
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2012, 27 (06) : 1233 - 1242
  • [9] CODE GENERATION FOR MULTI-THREADED ARCHITECTURES FROM DATA-FLOW GRAPHS
    MURER, S
    FARBER, P
    [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 23 : 77 - 90
  • [10] Exposing Tunable Parameters in Multi-threaded Numerical Code
    Qasem, Apan
    Guo, Jichi
    Rahman, Faizur
    Yi, Qing
    [J]. NETWORK AND PARALLEL COMPUTING, 2010, 6289 : 46 - +
12345