An Iterative Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations-Reference-Cited by-同舟云学术

An Iterative Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations

Published:2010 Issue: Volume: Page:104-113
ISSN:0302-9743
Container-title:Combinatorial Optimization and Applications
language:
Short-container-title:

Author:

Wlodzimierz Bielecki,Tomasz Klimek,Marek Palkowski,Beletska Anna

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-17458-2_10

Reference14 articles.

1. Kelly, W., Pugh, W., Rosser, E., Shpeisman, T.: Transitive clousure of infinite graphs and its applications, Languages and Compilers for Parallel Computing (1995)

2. Kelly, W., Maslov, V., Pugh, W., Rosser, E., Shpeisman, T., Wonnacott, D.: The Omega library interface guide, Technical Report CS-TR-3445, Dept. of Computer Science, University of Maryland, College Park (March 1995)

3. Pugh, W., Rosser, E.: Iteration Space Slicing and its Application to Communication Optimization. In: Proceedings of International Conference on Supercomputing (1997)

4. Boigelot, B.: Symbolic Methods for Exploring Infnite State Spaces. PhD thesis, Universite de Liμege (1998)

5. Nuutila, E.: Efficient Transitive Closure Computation in Large Digraphs, Mathematics and Computing in Engineering Series No. 74 PhD thesis Helsinki University of Technology. Helsinki (1995)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Insight into tiles generated by means of a correction technique;The Journal of Supercomputing;2018-11-11

2. Optimizing Numerical Code by means of the Transitive Closure of Dependence Graphs;Proceedings of the 2017 Federated Conference on Computer Science and Information Systems;2017-09-24

3. A Practical Approach to Tiling Zuker’s RNA Folding Using the Transitive Closure of Loop Dependence Graphs;Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017;2017-09-07

4. Parallel Tiled Code Generation with Loop Permutation within Tiles;Computing and Informatics;2017

5. Tiling arbitrarily nested loops by means of the transitive;International Journal of Applied Mathematics and Computer Science;2016-12-01