Computational Geometric Performance Analysis of Limit Cycles in Timed Transition Systems
| dc.contributor.author | Abrams, Marc | en |
| dc.contributor.department | Computer Science | en |
| dc.date.accessioned | 2013-06-19T14:36:59Z | en |
| dc.date.available | 2013-06-19T14:36:59Z | en |
| dc.date.issued | 1993-09-01 | en |
| dc.description.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. | en |
| dc.format.mimetype | application/pdf | en |
| dc.identifier | http://eprints.cs.vt.edu/archive/00000372/ | en |
| dc.identifier.sourceurl | http://eprints.cs.vt.edu/archive/00000372/01/TR-93-30.pdf | en |
| dc.identifier.trnumber | TR-93-30 | en |
| dc.identifier.uri | http://hdl.handle.net/10919/19775 | en |
| dc.language.iso | en | en |
| dc.publisher | Department of Computer Science, Virginia Polytechnic Institute & State University | en |
| dc.relation.ispartof | Historical Collection(Till Dec 2001) | en |
| dc.rights | In Copyright | en |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | en |
| dc.title | Computational Geometric Performance Analysis of Limit Cycles in Timed Transition Systems | en |
| dc.type | Technical report | en |
| dc.type.dcmitype | Text | en |
Files
Original bundle
1 - 1 of 1