NEW FAMILIES OF NON REAL-TIME DPDAS AND THEIR DECIDABILITY RESULTS

被引：1
|
作者：
ITZHAIK, Y [1 ]
YEHUDAI, A [1 ]
机构：
[1] TEL AVIV UNIV,SCH MATH SCI,DEPT COMP SCI,IL-69978 TEL AVIV,ISRAEL
来源：
THEORETICAL COMPUTER SCIENCE | 1984年 / 34卷 / 03期
关键词：
D O I：
10.1016/0304-3975(84)90054-9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：255 / 274
页数：20
相关论文
共 50 条
  • [1] THE EQUIVALENCE PROBLEM FOR REAL-TIME DPDAS
    OYAMAGUCHI, M
    JOURNAL OF THE ACM, 1987, 34 (03) : 731 - 760
  • [2] REAL-TIME DECIDABILITY COMPUTABILITY COUNTABILITY AND GENERABILITY
    OCHRANOV.R
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1968, 14 (03): : 283 - &
  • [3] NEW RESULTS ON THE REAL-TIME TRANSMISSION PROBLEM
    ENGELL, S
    IEEE TRANSACTIONS ON INFORMATION THEORY, 1987, 33 (02) : 210 - 218
  • [4] Decidability of the Initial-State Opacity of Real-Time Automata
    Wang, Lingtai
    Zhan, Naijun
    SYMPOSIUM ON REAL-TIME AND HYBRID SYSTEMS: ESSAYS DEDICATED TO PROFESSOR CHAOCHEN ZHOU ON THE OCCASION OF HIS 80TH BIRTHDAY, 2018, 11180 : 44 - 60
  • [5] Real-time results without real-time systems
    Fox, R
    Kasten, E
    Orji, K
    Bolen, C
    Maurice, C
    Venema, J
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2004, 51 (03) : 571 - 575
  • [6] Real-Time Simulation in Non Real-Time Environment
    Tarnawski, Jaroslaw
    Karla, Tomasz
    2016 21ST INTERNATIONAL CONFERENCE ON METHODS AND MODELS IN AUTOMATION AND ROBOTICS (MMAR), 2016, : 577 - 582
  • [7] New trends of train control and management systems with real-time and non real-time properties
    Shoji, S
    Igarashi, A
    THIRD INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS - ISADS 97 - PROCEEDINGS, 1997, : 319 - 326
  • [8] Scheduling and Analysis of Real-Time Software Families
    Sabouri, Hamideh
    Jaghoori, Mohammad Mahdi
    de Boer, Frank
    Khosravi, Ramtin
    2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 680 - 689
  • [9] Response time analysis of systems with real-time and non real-time processing
    Prisching, D
    Rinner, B
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING, 2003, : 124 - 129
  • [10] Edge Scheduling Framework for Real-Time and Non Real-Time Tasks
    Fadahunsi, Olamilekan
    Ma, Yuxiang
    Maheswaran, Muthucumaru
    36TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2021, 2021, : 719 - 728
12345