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 条
  • [31] A new method for real-time steganography
    Shirali-Shahreza, Mohammad
    2006 8TH INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING, VOLS 1-4, 2006, : 2522 - 2525
  • [32] A new real-time clustering algorithm
    Shao, Fei
    Cao, Yanjiao
    Gu, Junzhong
    Wang, Yong
    Journal of Information and Computational Science, 2010, 7 (10): : 2110 - 2121
  • [33] On a New Formulation of the Real-Time Propagator
    Stephan Alexander Baeurle
    Journal of Mathematical Chemistry, 2003, 34 : 29 - 38
  • [34] NEW INTEGRATING REAL-TIME ANALYZER
    ALLEN, DS
    JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA, 1978, 64 : S173 - S173
  • [35] NEW DEVELOPMENTS IN REAL-TIME RADIOGRAPHY
    BUCHANAN, RA
    BARKER, MD
    JOURNAL OF METALS, 1988, 40 (11): : 124 - 124
  • [36] A new algorithm for real-time non-uniformity correction of uncooled IRFPA
    Liu Ziji
    Jiang Yadong
    Yu Junsheng
    Gao Fujun
    PROCEEDINGS OF THE FIRST INTERNATIONAL SYMPOSIUM ON TEST AUTOMATION & INSTRUMENTATION, VOLS 1 - 3, 2006, : 261 - 264
  • [37] A new real-time perspective on non-linear model predictive control
    DeHaan, Darryl
    Guay, Martin
    JOURNAL OF PROCESS CONTROL, 2006, 16 (06) : 615 - 624
  • [38] Allocating non-real-time and soft real-time jobs in multiclusters
    IEEE
    不详
    不详
    不详
    不详
    IEEE Trans Parallel Distrib Syst, 2006, 2 (99-111):
  • [39] Design of Downlink Beamformer for Real-time and Non-real-time Services
    Shen, Siduo
    Fang, Haoran
    Lok, Tat M.
    2013 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), 2013, : 3494 - 3499
  • [40] Allocating non-real-time and soft real-time jobs in multiclusters
    He, LG
    Jarvis, SA
    Spooner, DP
    Jiang, H
    Dillenberger, DN
    Nudd, GR
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2006, 17 (02) : 99 - 112
12345