Issue No. 06 - June (1997 vol. 8)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/71.595584
<p><b>Abstract</b>—Through geometry, program visualization can yield performance properties. We derive all possible synchronization sequences and durations of blocking and concurrent execution for two process programs from a visualization mapping processes, synchronization, and program execution to Cartesian graph axes, line segments, and paths, respectively. Relationships to Petri nets are drawn.</p>
Parallel computation, performance evaluation, visualization, computational geometry, ray shooting, timed progress graphs, mutual exclusion, Petri nets, reachability analysis.
Marc Abrams, "An Example of Deriving Performance Properties from a Visual Representation of Program Execution", IEEE Transactions on Parallel & Distributed Systems, vol. 8, no. , pp. 658-666, June 1997, doi:10.1109/71.595584