Computer Science Technical Reports
CS at VT

Computational Geometric Performance Analysis of Limit Cycles in Timed Transition Systems

Abrams, Marc (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:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
TR-93-30.pdf (1851640)

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