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 条
  • [41] Explain Trace: Misconceptions of Control-Flow Statements
    Sychev, Oleg
    Denisov, Mikhail
    COMPUTERS, 2023, 12 (10)
  • [42] Control-flow Discovery from Event Streams
    Burattin, Andrea
    Sperduti, Alessandro
    van der Aalst, Wil M. P.
    2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2014, : 2420 - 2427
  • [43] Trace-Based Control-Flow Analysis
    Montagu, Benoit
    Jensen, Thomas
    PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21), 2021, : 482 - 496
  • [44] Control-Flow Checking Using Branch Instructions
    Jafari-Nodoushan, Mostafa
    Miremadi, Seyed Ghassem
    Ejlali, Afireza
    EUC 2008: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING, VOL 1, MAIN CONFERENCE, 2008, : 66 - 72
  • [45] Control-Flow Integrity Principles, Implementations, and Applications
    Abadi, Martin
    Budiu, Mihai
    Erlingsson, Ulfar
    Ligatti, Jay
    ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY, 2009, 13 (01)
  • [46] Per-Input Control-Flow Integrity
    Niu, Ben
    Tan, Gang
    CCS'15: PROCEEDINGS OF THE 22ND ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2015, : 914 - 926
  • [47] Testability enhancement for control-flow intensive behaviors
    Ockunzzi, KA
    Papachristou, CA
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 1998, 13 (03): : 239 - 257
  • [48] ACCE: Automatic Correction of Control-flow Errors
    Vemu, Ramtilak
    Gurumurthy, Sankar
    Abraham, Jacob A.
    2007 IEEE INTERNATIONAL TEST CONFERENCE, VOLS 1 AND 2, 2007, : 737 - 746
  • [49] Type- and Control-Flow Directed Defunctionalization
    Contractor, Maheen Riaz
    Fluet, Matthew
    PROCEEDINGS OF THE 32ND SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2020, 2020, : 79 - 92
  • [50] New algorithms for control-flow graph structuring
    Moretti, E
    Chanteperdrix, G
    Osorio, A
    FIFTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 2001, : 184 - 187
12345