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] Advanced control-flow and concurrency in C∀
    Delisle, Thierry
    Buhr, Peter A.
    Software - Practice and Experience, 2021, 51 (05) : 1005 - 1042
  • [32] 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
  • [33] ReCFA: Resilient Control-Flow Attestation
    Zhang, Yumei
    Liu, Xinzhi
    Sun, Cong
    Zeng, Dongrui
    Tan, Gang
    Kan, Xiao
    Ma, Siqi
    37TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, ACSAC 2021, 2021, : 311 - 322
  • [34] THE SEMANTICS OF SCHEME CONTROL-FLOW ANALYSIS
    SHIVERS, O
    SIGPLAN NOTICES, 1991, 26 (09): : 190 - 198
  • [35] Extracting control-flow from text
    Schumacher, Pol
    Minor, Mirjam
    2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2014, : 203 - 210
  • [36] Control-flow checking by software signatures
    Oh, N
    Shirvani, PP
    McCluskey, EJ
    IEEE TRANSACTIONS ON RELIABILITY, 2002, 51 (01) : 111 - 122
  • [37] 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
  • [38] Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
    Mariano, Benjamin
    Wang, Ziteng
    Pailoor, Shankara
    Collberg, Christian
    Dillig, Isil
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (OOPSLA2):
  • [39] 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
  • [40] Evaluating the process control-flow complexity measure
    Cardoso, J
    2005 IEEE International Conference on Web Services, Vols 1 and 2, Proceedings, 2005, : 803 - 804
12345