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 条
  • [41] On-line multi-threaded scheduling
    Feuerstein, E
    Mydlarz, M
    Stougie, L
    [J]. JOURNAL OF SCHEDULING, 2003, 6 (02) : 167 - 181
  • [42] A Multi-threaded Version of Field II
    Jensen, Jorgen Arendt
    [J]. 2014 IEEE INTERNATIONAL ULTRASONICS SYMPOSIUM (IUS), 2014, : 2229 - 2232
  • [43] Information Declassification for Multi-Threaded Programs
    Zhu, Hao
    Zhuang, Yi
    Chen, Xiang
    [J]. APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (04): : 1911 - 1916
  • [44] A Basis for Verifying Multi-threaded Programs
    Rustan, K.
    Leino, M.
    Mueller, Peter
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 378 - 393
  • [45] On-line multi-threaded paging
    Feuerstein, E
    de Loma, AS
    [J]. ALGORITHMICA, 2002, 32 (01) : 36 - 60
  • [46] Verifying Multi-threaded Software with Impact
    Wachter, Bjoern
    Kroening, Daniel
    Ouaknine, Joel
    [J]. 2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 210 - 217
  • [47] 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
  • [48] Agents as multi-threaded logical objects
    Clark, K
    Robinson, PJ
    [J]. COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 33 - 65
  • [49] Fairness Metrics for Multi-Threaded Processors
    Vandierendonck, Hans
    Seznec, Andre
    [J]. IEEE COMPUTER ARCHITECTURE LETTERS, 2011, 10 (01) : 4 - 7
  • [50] Global multi-threaded instruction scheduling
    Ottoni, Guilherme
    August, David I.
    [J]. MICRO-40: PROCEEDINGS OF THE 40TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, 2007, : 56 - 68
12345