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 条
  • [31] The Bounded Pathwidth of Control-Flow Graphs
    Conrado, Giovanna Kobus
    Goharshady, Amir Kafshdar
    Lam, Chun Kit
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
  • [32] Advanced control-flow and concurrency in C∀
    Delisle, Thierry
    Buhr, Peter A.
    Software - Practice and Experience, 2021, 51 (05) : 1005 - 1042
  • [33] CONTINUATIONS AS A GENERIC CONTROL-FLOW MECHANISM
    CORTES, U
    SESA, E
    FURNARI, MM
    DINAPOLI, C
    NAPOLITANO, R
    KNOWLEDGE ORIENTED SOFTWARE DESIGN, 1993, 27 : 237 - 250
  • [34] Extracting control-flow from text
    Schumacher, Pol
    Minor, Mirjam
    2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2014, : 203 - 210
  • [35] Control-flow checking by software signatures
    Oh, N
    Shirvani, PP
    McCluskey, EJ
    IEEE TRANSACTIONS ON RELIABILITY, 2002, 51 (01) : 111 - 122
  • [36] POSTER: Control-Flow Integrity for Smartphones
    Davi, Lucas
    Dmitrienko, Alexandra
    Egele, Manuel
    Fischer, Thomas
    Holz, Thorsten
    Hund, Ralf
    Nuernberger, Stefan
    Sadeghi, Ahmad-Reza
    PROCEEDINGS OF THE 18TH ACM CONFERENCE ON COMPUTER & COMMUNICATIONS SECURITY (CCS 11), 2011, : 749 - 751
  • [37] Profiling-Based Control-Flow Reduction in High-Level Synthesis
    Liolli, Austin
    Ragheb, Omar
    Anderson, Jason
    2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), 2021, : 59 - 64
  • [38] Evaluating the process control-flow complexity measure
    Cardoso, J
    2005 IEEE International Conference on Web Services, Vols 1 and 2, Proceedings, 2005, : 803 - 804
  • [39] Control-flow semantics of use cases in UML
    van den Berg, KG
    Simons, AJH
    INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (10) : 651 - 659
  • [40] Control-Flow Residual Analysis for Symbolic Automata
    Azzopardi, Shaun
    Colombo, Christian
    Pace, Gordon J.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (254): : 29 - 43
12345