Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Theoretical Computer Science,Software
Reference28 articles.
1. Paul Feautrier, Parametric integer programming,RAIRO Recherche Opérationnlle,22:243?268 (September 1988).
2. N. Suzuki and D. Jefferson, Verification decidability of Pressburger array programs.Procs. of a Conf. on TCS, Waterloo (1977).
3. David J. Kuck,The Structure of Computers and Computations, J. Wiley and Sons, New York (1978).
4. D. A. Padua and Michael J. Wolfe, Advanced compiler optimization for supercomputers,CACM,29:1184?1201 (December 1986).
5. J. R. Allen and Ken Kennedy, Automatic translation of FORTRAN programs to vector form,ACM TOPLAS,9(4):491?542 (October 1987).
Cited by
311 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Modeling the Interplay between Loop Tiling and Fusion in Optimizing Compilers Using Affine Relations;ACM Transactions on Computer Systems;2023-11-30
2. Automatic Algorithm-Based Fault Tolerance (AABFT) of Stencil Computations;2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT);2023-10-21
3. Increasing FPGA Accelerators Memory Bandwidth With a Burst-Friendly Memory Layout;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-05
4. Polyhedral Specification and Code Generation of Sparse Tensor Contraction with Co-iteration;ACM Transactions on Architecture and Code Optimization;2022-12-16
5. A Pipeline Pattern Detection Technique in Polly;Workshop Proceedings of the 51st International Conference on Parallel Processing;2022-08-29