Hierarchical control-flow model for system synthesis

被引：0
|
作者：
DIBE - Universita di Genova, Genova, Italy [1 ]
机构：
来源：
Alta Freq Riv Elettron | / 6卷 / 37-40期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Control-flow based design of automated design synthesis system
    Sun, Lir-Fang
    Liaw, Jiun-Meei
    Chu, Pong-Chi
    Kong, Shaw-Tzuu
    Chen, Tseng-Rong
    Shou, David
    Parng, Tai-Ming
    Chung-kuo Kung Ch'eng Hsueh K'an/Journal of the Chinese Institute of Engineers, 1988, 11 (04): : 349 - 359
  • [2] Control-Flow Bending: On the Effectiveness of Control-Flow Integrity
    Carlini, Nicolas
    Barresi, Antonio
    Payer, Mathias
    Wagner, David
    Gross, Thomas R.
    PROCEEDINGS OF THE 24TH USENIX SECURITY SYMPOSIUM, 2015, : 161 - 176
  • [3] Cool:: A control-flow generator for system analysis
    Braun, V
    Knoop, J
    Koschützki, D
    COMPILER CONSTRUCTION, 1998, 1383 : 306 - 309
  • [4] Widening for Control-Flow
    Hardekopf, Ben
    Wiedermann, Ben
    Churchill, Berkeley
    Kashyap, Vineeth
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 472 - 491
  • [5] Control-Flow Decoupling
    Sheikh, Rami
    Tuck, James
    Rotenberg, Eric
    2012 IEEE/ACM 45TH INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO-45), 2012, : 329 - 340
  • [6] Design and Synthesis of Reconfigurable Control-Flow Structures for CGRA
    Rakossy, Zoltan Endre
    Acosta-Aponte, Axel
    Noll, Tobias G.
    Ascheid, Gerd
    Leupers, Rainer
    Chattopadhyay, Anupam
    2015 INTERNATIONAL CONFERENCE ON RECONFIGURABLE COMPUTING AND FPGAS (RECONFIG), 2015,
  • [7] A provenance model for control-flow driven scientific workflows
    Butt, Anila Sahar
    Fitch, Peter
    DATA & KNOWLEDGE ENGINEERING, 2021, 131
  • [8] Binary Control-Flow Trimming
    Ghaffarinia, Masoud
    Hamlen, Kevin W.
    PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), 2019, : 1009 - 1022
  • [9] Control-Flow Carrying Code
    Lin, Yan
    Cheng, Xiaoyang
    Gao, Debin
    PROCEEDINGS OF THE 2019 ACM ASIA CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (ASIACCS '19), 2019, : 3 - 14
  • [10] Partial Control-Flow Linearization
    Moll, Simon
    Hack, Sebastian
    PROCEEDINGS OF THE 39TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, PLDI 2018, 2018, : 543 - 556
12345