메뉴 건너뛰기




Volumn , Issue , 1984, Pages 391-400

On tape versus core; An application of space efficient perfect hash functions to the invariance of space

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY;

EID: 65749117216     PISSN: 07378017     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800057.808705     Document Type: Conference Paper
Times cited : (27)

References (22)
  • 2
    • 85049612709 scopus 로고
    • A characterization of the class of functions computable in polynomial time on random access machines
    • Bertoni, A., G. Mauri & N. Sabadini, A characterization of the class of functions computable in polynomial time on random access machines, Proc. ACM SIGACT STOC 13 (1983) 168-176.
    • (1983) Proc. ACM SIGACT STOC , vol.13 , pp. 168-176
    • Bertoni, A.1    Mauri, G.2    Sabadini, N.3
  • 4
    • 0015852657 scopus 로고
    • Time bounded random access machines
    • Cook, S.A. & R.A. Reckhow, Time bounded random access machines, JCSS 7 (1973) 354-375.
    • (1973) JCSS , vol.7 , pp. 354-375
    • Cook, S.A.1    Reckhow, R.A.2
  • 6
    • 0039074552 scopus 로고
    • Why Godel didn't have Curch's thesis
    • Davis, M., Why Godel didn't have Curch's thesis, Information and Control 54 (1982) 3-24.
    • (1982) Information and Control , vol.54 , pp. 3-24
    • Davis, M.1
  • 7
    • 0020288190 scopus 로고
    • Storing a sparse table with 0(1) worst case access time
    • Fredman, F.L., J. Komlos & E. Szemeredi, Storing a sparse table with 0(1) worst case access time, Proc. IEEE FOCS 23 (1982), 165-169.
    • (1982) Proc. IEEE FOCS , vol.23 , pp. 165-169
    • Fredman, F.L.1    Komlos, J.2    Szemeredi, E.3
  • 8
    • 0020191426 scopus 로고
    • A universal interconnection pattern for parallel computers
    • Goldschlager, L.M., A universal interconnection pattern for parallel computers, JACM 29 (1982) 1073-1086.
    • (1982) JACM , vol.29 , pp. 1073-1086
    • Goldschlager, L.M.1
  • 9
    • 0344955409 scopus 로고
    • Observations about the development of theoretical computer science
    • Hartmanis, J., Observations about the development of theoretical computer science, Ann. Hist. Comp. 3 (1981) 42-51.
    • (1981) Ann. Hist. Comp. , vol.3 , pp. 42-51
    • Hartmanis, J.1
  • 10
    • 53349159422 scopus 로고
    • On the structure of feasible computations
    • M. Rubinoff & M.C. Yovits eds., Acad. Press
    • Hartmanis, J. & J. Simon, On the structure of feasible computations, in M. Rubinoff & M.C. Yovits eds., Advances in aomputers 14, Acad. Press 1976, pp. 1-43.
    • (1976) Advances in Aomputers , vol.14 , pp. 1-43
    • Hartmanis, J.1    Simon, J.2
  • 11
    • 0011344497 scopus 로고
    • Origins of recursive function theory
    • Kleene, S.C., Origins of recursive function theory, Ann. Hist. Comp. 3 (1981) 52-67.
    • (1981) Ann. Hist. Comp. , vol.3 , pp. 52-67
    • Kleene, S.C.1
  • 12
    • 0020246424 scopus 로고
    • On the program size of perfect universal hash functions
    • Mehlhorn, K., On the program size of perfect universal hash functions, Proc. IEEE FOCS 23 (1982), 170-175.
    • (1982) Proc. IEEE FOCS , vol.23 , pp. 170-175
    • Mehlhorn, K.1
  • 15
    • 0016947479 scopus 로고
    • A characterization of the power of vector machines
    • Pratt, V.R. & L.J. Stockmeyer, A characterization of the power of vector machines, JCSS 12 (1976) 198-221.
    • (1976) JCSS , vol.12 , pp. 198-221
    • Pratt, V.R.1    Stockmeyer, L.J.2
  • 16
    • 0014776888 scopus 로고
    • Relations between deterministic and nondeterministic tape complexities
    • Savitch, W.J., Relations between deterministic and nondeterministic tape complexities, JCSS 4 (1970) 177-192.
    • (1970) JCSS , vol.4 , pp. 177-192
    • Savitch, W.J.1
  • 17
    • 84913401483 scopus 로고
    • The influence of the machine model on computational complexity
    • J.K. Lenstra, A.H.G. Rinnooy Kan & P. van Emde Boas, Math. Centre Tracts
    • Savitch, W.J., The influence of the machine model on computational complexity, in J.K. Lenstra, A.H.G. Rinnooy Kan & P. van Emde Boas, Interfaces between computer science and operations research, Math. Centre Tracts 99 (1978), pp. 1-32.
    • (1978) Interfaces between Computer Science and Operations Research , vol.99 , pp. 1-32
    • Savitch, W.J.1
  • 18
    • 0018308520 scopus 로고    scopus 로고
    • Time bounded random access machines with parallel processing
    • Savitch, W.J. & M.J. Stimson, Time bounded random access machines with parallel processing, JACM 26 103-118.
    • JACM , vol.26 , pp. 103-118
    • Savitch, W.J.1    Stimson, M.J.2
  • 19
    • 0013229185 scopus 로고
    • Halting space-bounded computations
    • Sipser, M., Halting space-bounded computations, Note, Theor. Comp. Sci. 10 (1980) 335-337.
    • (1980) Note, Theor. Comp. Sci. , vol.10 , pp. 335-337
    • Sipser, M.1
  • 20
    • 84913395342 scopus 로고    scopus 로고
    • The second machine class, models of parallellism
    • J.K. Lenstra & J. van Leeuwen eds., CWI tracts (to appear
    • van Emde Boas, P., The second machine class, models of parallellism, in J.K. Lenstra & J. van Leeuwen eds., Parallel computers and computation, CWI tracts (to appear).
    • Parallel Computers and Computation
    • Van Emde Boas, P.1
  • 21
    • 0020940239 scopus 로고
    • Deterministic and nondeterministic simulation of the RAM by the Turingmachine
    • Paris
    • Wiedermann, J., Deterministic and nondeterministic simulation of the RAM by the Turingmachine, Proc. IFIP 1983, Paris.
    • (1983) Proc. IFIP
    • Wiedermann, J.1
  • 22
    • 0019591034 scopus 로고
    • Should tables be sorted?
    • Yao, A.C., Should tables be sorted?, JACM 28 (1981) 615-628.
    • (1981) JACM , vol.28 , pp. 615-628
    • Yao, A.C.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.