TIME BOUNDS ON SPACE COMPUTATIONS

被引：1
|
作者：
DERTOUZOS, ML [1 ]
机构：
[1] MIT, DEPT ELECT ENGN, CAMBRIDGE, MA 02139 USA
来源：
IEEE TRANSACTIONS ON COMPUTERS | 1973年 / C 22卷 / 01期
关键词：
D O I：
10.1109/T-C.1973.223595
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：12 / 17
页数：6
相关论文
共 50 条
  • [1] Time and space bounds for planning
    [J]. 1600, AI Access Foundation (60):
  • [2] Time and Space Bounds for Planning
    Backstrom, Christer
    Jonsson, Peter
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2017, 60 : 595 - 638
  • [3] Computations in space and space in computations
    Giavitto, JL
    Michel, O
    Cohen, J
    Spicher, A
    [J]. UNCONVENTIONAL PROGRAMMING PARADIGMS, 2005, 3566 : 137 - 152
  • [4] Time and space bounds for reversible simulation
    Buhrman, H
    Tromp, J
    Vitányi, P
    [J]. JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2001, 34 (35): : 6821 - 6830
  • [5] Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations
    Schordan, Markus
    Lin, Pei-Hung
    Quinlan, Dan
    Pouchet, Louis-Noel
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 493 - 508
  • [6] Improving time bounds on maximum generalised flow computations by contracting the network
    Radzik, TM
    [J]. THEORETICAL COMPUTER SCIENCE, 2004, 312 (01) : 75 - 97
  • [7] Improving time bounds on maximum generalised flow computations by contracting the network
    Radzik, T
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, 2002, 2380 : 611 - 622
  • [8] Space and time efficient execution of parallel irregular computations
    Fu, C
    Yang, T
    [J]. ACM SIGPLAN NOTICES, 1997, 32 (07) : 57 - 68
  • [9] Same principle, but different computations in representing time and space
    Sima, Sepehr
    Sanayei, Mehdi
    [J]. FRONTIERS IN NEUROSCIENCE, 2024, 18
  • [10] Delegating Computations with (almost) Minimal Time and Space Overhead
    Holmgren, Justin
    Rothblum, Ron D.
    [J]. 2018 IEEE 59TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2018, : 124 - 135
12345