Automatic parallelization of recursive procedures

被引：0
|
作者：
Gupta, Manish [1 ]
Mukhopadhyay, Sayak [1 ]
Sinha, Navin [1 ]
机构：
[1] IBM T. J. Watson Research Cent, Yorktown Heights, United States
来源：
Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT | 1999年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：139 / 148
相关论文
共 50 条
  • [1] Automatic Parallelization of Recursive Procedures
    Manish Gupta
    Sayak Mukhopadhyay
    Navin Sinha
    International Journal of Parallel Programming, 2000, 28 : 537 - 562
  • [2] Automatic parallelization of recursive procedures
    Gupta, M
    Mukhopadhyay, S
    Sinha, N
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2000, 28 (06) : 537 - 562
  • [3] Automatic parallelization of recursive functions with rewriting rules
    Rocha, Rodrigo C. O.
    Goes, Luis F. W.
    Pereira, Fernando M. Q.
    SCIENCE OF COMPUTER PROGRAMMING, 2019, 173 : 128 - 152
  • [4] Automatic Parallelization of Recursive Functions Using Quantifier Elimination
    Morihata, Akimasa
    Matsuzaki, Kiminori
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2010, 6009 : 321 - +
  • [5] Automatic verification of recursive procedures with one integer parameter
    Bouajjani, A
    Habermehl, P
    Mayr, R
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2001, 2001, 2136 : 198 - 211
  • [6] Automatic verification of recursive procedures with one integer parameter
    Bouajjani, A
    Habermehl, P
    Mayr, R
    THEORETICAL COMPUTER SCIENCE, 2003, 295 (1-3) : 85 - 106
  • [7] Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic
    Rowe, Reuben N. S.
    Brotherston, James
    PROCEEDINGS OF THE 6TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP'17, 2017, : 53 - 65
  • [8] A parallelization framework for recursive tree programs
    Feautrier, P
    EURO-PAR '98 PARALLEL PROCESSING, 1998, 1470 : 470 - 479
  • [9] Analytical method for parallelization of recursive functions
    Ahn, Joonseon
    Han, Taisook
    Parallel Processing Letters, 2000, 10 (01): : 87 - 98
  • [10] PARALLELIZATION OF EXPERT SYSTEMS WITH RECURSIVE APPLICATIONS
    YAPRAK, E
    ANNEBERG, L
    MICROELECTRONICS AND RELIABILITY, 1990, 30 (03): : 519 - 523
12345