Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109833280> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2109833280 endingPage "187" @default.
- W2109833280 startingPage "180" @default.
- W2109833280 abstract "The time separation of events (TSE) problem is that of finding the maximum and minimum separation between the times of occurrence of two events in a concurrent system. It has applications in the performance analysis, optimization and verification of concurrent digital systems. This paper introduces an efficient polynomial-time algorithm to give exact bounds on TSE's for choice-free concurrent systems, whose operational semantics obey the max-causality rule. A choice-free concurrent system is modeled as a strongly-connected marked graph, where delays on operations are modeled as bounded intervals with unspecified distributions. While previous approaches handle acyclic systems only, or else require graph unfolding until a steady-state behavior is reached, the proposed approach directly identifies and evaluates the asymptotic steady-state behavior of a cyclic system via a graph-theoretical approach. As a result, the method has significantly lower computational complexity than previously-proposed solutions. A prototype CAD tool has been developed to demonstrate the feasibility and efficacy of our method. A set of experiments have been performed on the tool as well as two existing tools, with noticeable improvement on runtime and accuracy for several examples." @default.
- W2109833280 created "2016-06-24" @default.
- W2109833280 creator A5023548648 @default.
- W2109833280 creator A5075733090 @default.
- W2109833280 date "2007-11-05" @default.
- W2109833280 modified "2023-09-26" @default.
- W2109833280 title "An efficient algorithm for time separation of events in concurrent systems" @default.
- W2109833280 cites W1566513760 @default.
- W2109833280 cites W1585873380 @default.
- W2109833280 cites W1937545609 @default.
- W2109833280 cites W1993742654 @default.
- W2109833280 cites W1996109622 @default.
- W2109833280 cites W2043749185 @default.
- W2109833280 cites W2083580665 @default.
- W2109833280 cites W2102326977 @default.
- W2109833280 cites W2112080584 @default.
- W2109833280 cites W2119366148 @default.
- W2109833280 cites W2125690626 @default.
- W2109833280 cites W2132385281 @default.
- W2109833280 cites W2140315731 @default.
- W2109833280 cites W2159261801 @default.
- W2109833280 cites W2170149813 @default.
- W2109833280 cites W3140262324 @default.
- W2109833280 doi "https://doi.org/10.5555/1326073.1326110" @default.
- W2109833280 hasPublicationYear "2007" @default.
- W2109833280 type Work @default.
- W2109833280 sameAs 2109833280 @default.
- W2109833280 citedByCount "13" @default.
- W2109833280 countsByYear W21098332802012 @default.
- W2109833280 countsByYear W21098332802013 @default.
- W2109833280 countsByYear W21098332802014 @default.
- W2109833280 countsByYear W21098332802015 @default.
- W2109833280 countsByYear W21098332802017 @default.
- W2109833280 countsByYear W21098332802019 @default.
- W2109833280 crossrefType "proceedings-article" @default.
- W2109833280 hasAuthorship W2109833280A5023548648 @default.
- W2109833280 hasAuthorship W2109833280A5075733090 @default.
- W2109833280 hasConcept C11413529 @default.
- W2109833280 hasConcept C132525143 @default.
- W2109833280 hasConcept C134306372 @default.
- W2109833280 hasConcept C177264268 @default.
- W2109833280 hasConcept C184337299 @default.
- W2109833280 hasConcept C199360897 @default.
- W2109833280 hasConcept C311688 @default.
- W2109833280 hasConcept C33923547 @default.
- W2109833280 hasConcept C34388435 @default.
- W2109833280 hasConcept C41008148 @default.
- W2109833280 hasConcept C74197172 @default.
- W2109833280 hasConcept C80444323 @default.
- W2109833280 hasConceptScore W2109833280C11413529 @default.
- W2109833280 hasConceptScore W2109833280C132525143 @default.
- W2109833280 hasConceptScore W2109833280C134306372 @default.
- W2109833280 hasConceptScore W2109833280C177264268 @default.
- W2109833280 hasConceptScore W2109833280C184337299 @default.
- W2109833280 hasConceptScore W2109833280C199360897 @default.
- W2109833280 hasConceptScore W2109833280C311688 @default.
- W2109833280 hasConceptScore W2109833280C33923547 @default.
- W2109833280 hasConceptScore W2109833280C34388435 @default.
- W2109833280 hasConceptScore W2109833280C41008148 @default.
- W2109833280 hasConceptScore W2109833280C74197172 @default.
- W2109833280 hasConceptScore W2109833280C80444323 @default.
- W2109833280 hasLocation W21098332801 @default.
- W2109833280 hasOpenAccess W2109833280 @default.
- W2109833280 hasPrimaryLocation W21098332801 @default.
- W2109833280 hasRelatedWork W1533231842 @default.
- W2109833280 hasRelatedWork W16511050 @default.
- W2109833280 hasRelatedWork W1723577572 @default.
- W2109833280 hasRelatedWork W1829133288 @default.
- W2109833280 hasRelatedWork W1974229901 @default.
- W2109833280 hasRelatedWork W1996109622 @default.
- W2109833280 hasRelatedWork W2050890381 @default.
- W2109833280 hasRelatedWork W2085176118 @default.
- W2109833280 hasRelatedWork W2088643059 @default.
- W2109833280 hasRelatedWork W2097043546 @default.
- W2109833280 hasRelatedWork W2102326977 @default.
- W2109833280 hasRelatedWork W2102327308 @default.
- W2109833280 hasRelatedWork W2102495626 @default.
- W2109833280 hasRelatedWork W2123196056 @default.
- W2109833280 hasRelatedWork W2132385281 @default.
- W2109833280 hasRelatedWork W2138215210 @default.
- W2109833280 hasRelatedWork W2150872535 @default.
- W2109833280 hasRelatedWork W2165873073 @default.
- W2109833280 hasRelatedWork W2171911180 @default.
- W2109833280 hasRelatedWork W2487142227 @default.
- W2109833280 isParatext "false" @default.
- W2109833280 isRetracted "false" @default.
- W2109833280 magId "2109833280" @default.
- W2109833280 workType "article" @default.