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 条
  • [11] Complexity Information Flow in a Multi-threaded Imperative Language
    Marion, Jean-Yves
    Pechoux, Romain
    [J]. THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (TAMC 2014), 2014, 8402 : 124 - 140
  • [12] Multi-threaded reachability
    Sahoo, D
    Jain, J
    Iyer, SK
    Dill, DL
    Emerson, EA
    [J]. 42ND DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2005, 2005, : 467 - 470
  • [13] Wait-Free Code Patching of Multi-Threaded Processes
    Rommel, Florian
    Glauer, Lennart
    Dietrich, Christian
    Lohmann, Daniel
    [J]. PLOS'19: PROCEEDINGS OF THE 10TH WORKSHOP ON PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, 2019, : 23 - 29
  • [14] Extending Database Task Schedulers for Multi-threaded Application Code
    Wolf, Florian
    Psaroudakis, Iraklis
    May, Norman
    Ailamaki, Anastasia
    Sattler, Kai-Uwe
    [J]. PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON SCIENTIFIC AND STATISTICAL DATABASE MANAGEMENT, 2015,
  • [15] EASY: Efficient Arbiter SYnthesis from Multi-threaded Code
    Cheng, Jianyi
    Fleming, Shane T.
    Chen, Yu Ting
    Anderson, Jason H.
    Constantinides, George A.
    [J]. PROCEEDINGS OF THE 2019 ACM/SIGDA INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE GATE ARRAYS (FPGA'19), 2019, : 142 - 151
  • [16] Multi-Threaded Actors
    Azadbakht, Keyvan
    de Boer, Frank S.
    Serbanescu, Vlad
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (223): : 51 - 66
  • [17] On multi-threaded paging
    Feuerstein, E
    de Loma, AS
    [J]. ALGORITHMS AND COMPUTATION, 1996, 1178 : 417 - 426
  • [18] ANALYSIS OF MULTI-THREADED CODE EXECUTION ON SMALL MULTI-CORE ARCHITECTURES
    Sgroi, Kevin J.
    Spetka, Scott E.
    [J]. PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, DETC 2010, VOL 3, A AND B, 2010, : 807 - 814
  • [19] SAC - A functional array language for efficient multi-threaded execution
    Grelck, Clemens
    Scholz, Sven-Bodo
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2006, 34 (04) : 383 - 427
  • [20] SAC—A Functional Array Language for Efficient Multi-threaded Execution
    Clemens Grelck
    Sven-Bodo Scholz
    [J]. International Journal of Parallel Programming, 2006, 34 : 383 - 427
12345