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] Evaluating the process control-flow complexity measure
    Cardoso, J
    2005 IEEE International Conference on Web Services, Vols 1 and 2, Proceedings, 2005, : 803 - 804
  • [42] Control-flow semantics of use cases in UML
    van den Berg, KG
    Simons, AJH
    INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (10) : 651 - 659
  • [43] Control-Flow Residual Analysis for Symbolic Automata
    Azzopardi, Shaun
    Colombo, Christian
    Pace, Gordon J.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (254): : 29 - 43
  • [44] Explain Trace: Misconceptions of Control-Flow Statements
    Sychev, Oleg
    Denisov, Mikhail
    COMPUTERS, 2023, 12 (10)
  • [45] 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
  • [46] 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
  • [47] 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
  • [48] 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)
  • [49] Testability enhancement for control-flow intensive behaviors
    Ockunzzi, KA
    Papachristou, CA
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 1998, 13 (03): : 239 - 257
  • [50] 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
12345