Non-deterministic halting times for Hamkins-Kidder turing machines

被引：0
|
作者：
Welch, P. D. [1 ]
机构：
[1] Univ Bristol, Sch Math, Bristol BS8 1TH, Avon, England
来源：
LOGICAL APPROACHES TO COMPTATIONAL BARRIERS, PROCEEDINGS | 2006年 / 3988卷
关键词：
D O I：
10.1007/11780342_58
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：571 / 574
页数：4
相关论文
共 21 条
  • [21] Energy-Efficient Static Priority and Speed Assignment for Real-Time Tasks with Non-Deterministic Release Times
    Perathoner, Simon
    Thiele, Lothar
    Chen, Jian-Jia
    16TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2010), 2010, : 173 - 182
123