Generalized Asynchronous Systems

Husainov, Ahmet A.; Kudryashova, Ekaterina S.

doi:10.18255/1818-1015-2012-4-78-86

Search citation statements

Order By: Relevance

Paper Sections

Select...

Discussion1

Citation Types

Supporting

Mentioning

Contrasting

Publication Types

Select...

Other1

Relationship

Self Cite1

Independent0

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The proposed time model A τ can be interpreted as a discrete model of E. Goubault timed automaton [4]. A similar model can be constructed for the distributed asynchronous automata entered in [5]. But in order to enable it to build algorithms for time estimates, it is necessary to involve some additional conditions on these automata.…”

Section: Discussionmentioning

confidence: 99%

Time Estimation Model of Concurrent Computing Systems

Husainov,

Kudryashova

2013

Preprint

Self Cite

View full text Add to dashboard Cite

We consider an asynchronous system with transitions corresponding to the instructions of a computer system. For each instruction, a runtime is given. We propose a mathematical model, allowing us to construct an algorithm for finding the minimum time of the parallel process with a given trace. We consider a problem of constructing a parallel process which transforms the initial state to given and has the minimum execution time. We show that it is reduced to the problem of finding the shortest path in a directed graph with edge lengths equal to 1.

show abstract

Section: Discussionmentioning

confidence: 99%