Control flow checking in multitasking systems

被引：0
|
作者：
Technical Univ of Budapest, Budapest, Hungary [1 ]
机构：
来源：
Period Polytech Electr Eng | / 1卷 / 27-36期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Control flow checking and recovering by compiler signatures and hardware checking
    Gong, Rui
    Chen, Wei
    Liu, Fang
    Dai, Kui
    Wang, Zhiying
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 46 (02): : 345 - 351
  • [2] Nonlinear Codes for Control Flow Checking
    Di Natale, Giorgio
    Keren, Osnat
    2020 IEEE EUROPEAN TEST SYMPOSIUM (ETS 2020), 2020,
  • [3] Control flow error checking with ISIS
    Rodríguez, R
    Serrano, JJ
    EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2005, 3820 : 659 - 670
  • [4] Control Flow Checking or Not? (for Soft Errors)
    Rhisheekesan, Abhishek
    Jeyapaul, Reiley
    Shrivastava, Aviral
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (01)
  • [5] Control Flow Checking at Virtual Edges
    Liu, LiPing
    Ci, LinLin
    Liu, Wei
    Yang, Hui
    KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2017, 11 (01): : 396 - 413
  • [6] AN APPROACH TO CONCURRENT CONTROL FLOW CHECKING
    YAU, SS
    CHEN, FC
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (02) : 126 - 137
  • [7] CHECKING OF LINEAR CONTROL-SYSTEMS
    BRITOV, GS
    MIRONOVSKIY, LA
    ENGINEERING CYBERNETICS, 1972, 10 (01): : 63 - 70
  • [8] Multitasking Supervisory Control of Discrete-Event Systems
    Max H. de Queiroz
    José E. R. Cury
    W. M. Wonham
    Discrete Event Dynamic Systems, 2005, 15 : 375 - 395
  • [9] Model checking of robotic control systems
    Scherer, S.
    Lerda, F.
    Clarke, E.M.
    European Space Agency, (Special Publication) ESA SP, 2005, (603): : 371 - 378
  • [10] Multitasking supervisory control of discrete-event systems
    De Queiroz, MH
    Cury, JER
    Wonham, WM
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2005, 15 (04): : 375 - 395
12345