From Turing to the Clouds (On the Computability Power of Distributed Systems)

被引：0
|
作者：
Raynal, Michel [1 ]
机构：
[1] Univ Rennes, IRISA, Inst Univ France, Rennes, France
来源：
STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, SIROCCO 2014 | 2014年 / 8576卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：XIII / XIV
页数：2
相关论文
共 50 条
  • [31] Turing-Computability of Solution of Hirota Equation
    Lu, Dianchen
    Fu, Liming
    PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ELECTRONIC TECHNOLOGY, 2015, 6 : 347 - 351
  • [32] Infinitary computability with infinite time turing machines
    Hamkins, JD
    NEW COMPUTATIONAL PARADIGMS, 2005, 3526 : 180 - 187
  • [33] On the power of circular splicing systems and DNA computability
    Yokomori, T
    Kobayashi, S
    Ferretti, C
    PROCEEDINGS OF 1997 IEEE INTERNATIONAL CONFERENCE ON EVOLUTIONARY COMPUTATION (ICEC '97), 1997, : 219 - 224
  • [34] Mechanising Turing Machines and Computability Theory in Isabelle/HOL
    Xu, Jian
    Zhang, Xingyuan
    Urban, Christian
    INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 147 - 162
  • [35] Computability of the entropy of one-tape Turing machines
    Jeandel, Emmanuel
    31ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2014), 2014, 25 : 421 - 432
  • [36] COMPUTABILITY AND TYPE THEORY - TURING CONTRIBUTION TO TYPE THEORY
    HARRELL, M
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 322 - 322
  • [37] Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
    Forster, Yannick
    Kirst, Dominik
    Mueck, Niklas
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2023, 2023, 14405 : 155 - 181
  • [38] An anatomy of a quantum adiabatic algorithm that transcends the Turing computability
    Kieu, TD
    INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2005, 3 (01) : 177 - 182
  • [39] Turing Computability of Fourier Transforms of Bandlimited and Discrete Signals
    Boche, Holger
    Moenich, Ullrich J.
    IEEE TRANSACTIONS ON SIGNAL PROCESSING, 2020, 68 : 532 - 547
  • [40] Consistency, Turing computability and Godel's first incompleteness theorem
    Hadley, Robert F.
    MINDS AND MACHINES, 2008, 18 (01) : 1 - 15
12345