Multi-threaded Code Generation Tool for Synchronous Language

被引：0
|
作者：
Yang, Zhi-Bin [1 ,2 ]
Yuan, Sheng-Hao [1 ]
Xie, Jian [1 ]
Zhou, Yong [1 ]
Chen, Zhe [1 ]
Xue, Lei [3 ]
Bodevix, Jean-Paul [4 ]
Filali, Mamoun [4 ]
机构：
[1] School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing,211106, China
[2] Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing,210093, China
[3] Shanghai Aerospace Electronic Technology Institute, Shanghai,201109, China
[4] IRIT-University of Toulouse, Toulouse,31062, France
来源：
Ruan Jian Xue Bao/Journal of Software | 2019年 / 30卷 / 07期
关键词：
D O I：
10.13328/j.cnki.jos.005754
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1980 / 2002
相关论文
共 50 条
  • [1] A Semantic Preservation Proving Method of Multi-Threaded Code Generation for Synchronous Language
    Yuan, Sheng-Hao
    Yang, Zhi-Bin
    Zhang, Bo-Lin
    Zhou, Yong
    Xue, Lei
    Bodeveix, Jean-Paul
    Filali, Mamoun
    [J]. Jisuanji Xuebao/Chinese Journal of Computers, 2020, 43 (11): : 2216 - 2226
  • [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] 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
  • [7] A Tool to Compute the Leakage of Multi-threaded Programs
    Tri Minh Ngo
    Quang Tuan Duong
    [J]. MODERN APPROACHES FOR INTELLIGENT INFORMATION AND DATABASE SYSTEMS, 2018, 769 : 527 - 537
  • [8] Exposing Tunable Parameters in Multi-threaded Numerical Code
    Qasem, Apan
    Guo, Jichi
    Rahman, Faizur
    Yi, Qing
    [J]. NETWORK AND PARALLEL COMPUTING, 2010, 6289 : 46 - +
  • [9] Generating Multi-Threaded code from Polychronous Specifications
    Jose, Bijoy A.
    Patel, HirenD.
    Shukla, Sandeep K.
    Talpin, Jean-Pierre
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 238 (01) : 57 - 69
  • [10] Improved typings for probabilistic noninterference in a multi-threaded language
    Smith, Geoffrey
    [J]. JOURNAL OF COMPUTER SECURITY, 2006, 14 (06) : 591 - 626
12345