Using Basis Dependence Distance Vectors to Calculate the Transitive Closure of Dependence Relations by Means of the Floyd-Warshall Algorithm
暂无分享,去创建一个
[1] Reino Kurki-Suonio,et al. On computing the transitive closure of a relation , 2004, Acta Informatica.
[2] Wlodzimierz Bielecki,et al. Transitive Closure of a Union of Dependence Relations for Parameterized Perfectly-Nested Loops , 2013, PaCT.
[3] Bernard Boigelot. Symbolic Methods for Exploring Infinite State Spaces , 1998 .
[4] Marius Bozga,et al. Iterating Octagons , 2009, TACAS.
[5] Corinne Ancourt,et al. A Modular Static Analysis Approach to Affine Loop Invariants Detection , 2010, Electron. Notes Theor. Comput. Sci..
[6] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[7] Albert Cohen,et al. Computing the Transitive Closure of a Union of Affine Integer Tuple Relations , 2009, COCOA.
[8] Marek Palkowski,et al. Free scheduling for statement instances of parameterized arbitrarily nested affine loops , 2012, Parallel Comput..
[9] Albert Cohen,et al. Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations , 2011, SAS.
[10] Alexander Schrijver,et al. Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.
[11] Albert Cohen,et al. Coarse-Grained Loop Parallelization: Iteration Space Slicing vs Affine Transformations , 2009, 2009 Eighth International Symposium on Parallel and Distributed Computing.
[12] Victor E. Malyshkin,et al. Parallel computing technologies , 2011, The Journal of Supercomputing.
[13] Binhai Zhu,et al. Combinatorial Optimization and Applications , 2014, Lecture Notes in Computer Science.