# Computational Geometric Performance Analysis of Limit Cycles in Timed Transition Systems

1993) Computational Geometric Performance Analysis of Limit Cycles in Timed Transition Systems. Technical Report TR-93-30, Computer Science, Virginia Polytechnic Institute and State University. (

Full text available as: |

## Abstract

Certain parallel software performance evaluation problems are equivalent to computational geometric problems. Consider a timed transition system representing a parallel program: a set of variables, a set of states, an initial state, a transition function mapping a set to a set of successor states, and a description of the time between transitions. Given a timed transition system, the paper solves four problems: (1) state the necessary and sufficient conditions for a TES to contain a LCES; (2) given the initial starting time of each process, find a representation of the set of all possible TESs; (3) determine if any initial process starting times exist that lead to a LCES in which no process ever blocks; and (4) find the set of all possible LCESs.

Item Type: | Departmental Technical Report |
---|---|

Subjects: | Computer Science > Historical Collection(Till Dec 2001) |

ID Code: | 372 |

Deposited By: | User autouser |

Deposited On: | 05 December 2001 |