Transitive Closure of Infinite Graphs and Its Applications

Authors:
Wayne Kelly;William Pugh;Evan Rosser;Tatiana Shpeisman
Affiliations:
-;-;-;-
Venue:
LCPC '95 Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing
Year:
1995

Minimizing communication while preserving parallelism

ICS '96 Proceedings of the 10th international conference on Supercomputing
An iterative algorithm of computing the transitive closure of a union of parameterized affine integer tuple relations

COCOA'10 Proceedings of the 4th international conference on Combinatorial optimization and applications - Volume Part I
Transitive closures of affine integer tuple relations and their overapproximations

SAS'11 Proceedings of the 18th international conference on Static analysis
Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach

Electronic Notes in Theoretical Computer Science (ENTCS)

Hi-index	0.00