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 条
  • [31] Summarizing a time-sensitive control-flow checking monitoring for multitask systems-on-chip
    Vargas, Fabian
    Picolli, Leonardo
    de Alecrim, Antonio A., Jr.
    Moraes, Marlon
    Gama, Marcio
    2006 IEEE INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE TECHNOLOGY, PROCEEDINGS, 2006, : 249 - +
  • [32] Monitoring and control in multitasking
    Schuch, Stefanie
    Dignath, David
    Steinhauser, Marco
    Janczyk, Markus
    PSYCHONOMIC BULLETIN & REVIEW, 2019, 26 (01) : 222 - 240
  • [33] Multitasking real-time control systems in Easy Java Simulations
    Farias, Gonzalo
    Cervin, Anton
    Arzen, Karl-Erik
    Dormido, Sebastián
    Esquembre, Francisco
    IFAC Proceedings Volumes (IFAC-PapersOnline), 2008, 17 (1 PART 1):
  • [34] DATA-FLOW MULTITASKING
    KAR, RP
    DR DOBBS JOURNAL, 1989, 14 (11): : 16 - &
  • [35] Implementation of Hierarchical and Distributed Multitasking Control for Industrial Multiple Robotic Systems
    Yasuda, Gen'ichi
    PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2012, : 1761 - 1766
  • [36] A model checking technique for the verification of fuzzy control systems
    Intrigila, Benedetto
    Magazzeni, Daniele
    Tofani, Alberto
    Melatti, Igor
    Tronci, Enrico
    INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION JOINTLY WITH INTERNATIONAL CONFERENCE ON INTELLIGENT AGENTS, WEB TECHNOLOGIES & INTERNET COMMERCE, VOL 1, PROCEEDINGS, 2006, : 536 - +
  • [37] OPTIMIZATION OF SYSTEMS FOR THE THERMOSTATIC CONTROL OF MOBILE CHECKING LABORATORIES
    GUSHCHIN, AA
    MEASUREMENT TECHNIQUES USSR, 1981, 24 (10): : 909 - 911
  • [38] On checking Lp-admissibility for parabolic control systems
    Preußler, Philip
    Schwenninger, Felix L.
    arXiv,
  • [39] Compositional Equivalence Checking for Models and Code of Control Systems
    Majumdar, Rupak
    Saha, Indranil
    Ueda, Koichi
    Yazarel, Hakan
    2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2013, : 1564 - 1571
  • [40] Equivalence Checking for Hybrid Control Systems modelled in Simulink
    Schlesinger, Sebastian
    Herber, Paula
    Goethel, Thomas
    Glesner, Sabine
    2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2018, : 572 - 579
12345