Matches in SemOpenAlex for { <https://semopenalex.org/work/W2093743313> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2093743313 abstract "In this paper a novel schedulability analysis technique of real-time systems is presented. The developed approach is based on the consideration of the reachability graph of the (untimed) underlying Petri net of the studied model. The schedulability analysis is then conducted in two steps. Once a feasible firing sequence (called occurrence sequence) is highlighted, this sequence is then described under an algebraic form of type Ax ≤ b. The particular features of matrix A lead to a bimonotone linear inequality system. A bimonotone linear inequality is a linear inequality with at most two nonzero coefficients that are of opposite signs (if both different from zero). Thus, deciding whether a firing sequence is schedulable or not takes the form of the solution of a single-source shortest path problem which can be polynomially solved via the Bellman-Ford algorithm." @default.
- W2093743313 created "2016-06-24" @default.
- W2093743313 creator A5064117821 @default.
- W2093743313 creator A5090085173 @default.
- W2093743313 date "2012-10-01" @default.
- W2093743313 modified "2023-09-25" @default.
- W2093743313 title "Towards a new schedulability technique of real-time systems based on difference of constraints system" @default.
- W2093743313 cites W1976557122 @default.
- W2093743313 cites W1980200158 @default.
- W2093743313 cites W1996109622 @default.
- W2093743313 cites W2042801853 @default.
- W2093743313 cites W2044981168 @default.
- W2093743313 cites W2095978298 @default.
- W2093743313 cites W2129436915 @default.
- W2093743313 cites W2130561017 @default.
- W2093743313 cites W2138265833 @default.
- W2093743313 cites W2150621030 @default.
- W2093743313 cites W2151612633 @default.
- W2093743313 doi "https://doi.org/10.1109/cca.2012.6402448" @default.
- W2093743313 hasPublicationYear "2012" @default.
- W2093743313 type Work @default.
- W2093743313 sameAs 2093743313 @default.
- W2093743313 citedByCount "0" @default.
- W2093743313 crossrefType "proceedings-article" @default.
- W2093743313 hasAuthorship W2093743313A5064117821 @default.
- W2093743313 hasAuthorship W2093743313A5090085173 @default.
- W2093743313 hasConcept C11413529 @default.
- W2093743313 hasConcept C126255220 @default.
- W2093743313 hasConcept C132525143 @default.
- W2093743313 hasConcept C134306372 @default.
- W2093743313 hasConcept C136643341 @default.
- W2093743313 hasConcept C197551870 @default.
- W2093743313 hasConcept C199360897 @default.
- W2093743313 hasConcept C2777735758 @default.
- W2093743313 hasConcept C2778112365 @default.
- W2093743313 hasConcept C33923547 @default.
- W2093743313 hasConcept C38677869 @default.
- W2093743313 hasConcept C41008148 @default.
- W2093743313 hasConcept C45555294 @default.
- W2093743313 hasConcept C54355233 @default.
- W2093743313 hasConcept C6802819 @default.
- W2093743313 hasConcept C80444323 @default.
- W2093743313 hasConcept C84135550 @default.
- W2093743313 hasConcept C86803240 @default.
- W2093743313 hasConcept C9376300 @default.
- W2093743313 hasConceptScore W2093743313C11413529 @default.
- W2093743313 hasConceptScore W2093743313C126255220 @default.
- W2093743313 hasConceptScore W2093743313C132525143 @default.
- W2093743313 hasConceptScore W2093743313C134306372 @default.
- W2093743313 hasConceptScore W2093743313C136643341 @default.
- W2093743313 hasConceptScore W2093743313C197551870 @default.
- W2093743313 hasConceptScore W2093743313C199360897 @default.
- W2093743313 hasConceptScore W2093743313C2777735758 @default.
- W2093743313 hasConceptScore W2093743313C2778112365 @default.
- W2093743313 hasConceptScore W2093743313C33923547 @default.
- W2093743313 hasConceptScore W2093743313C38677869 @default.
- W2093743313 hasConceptScore W2093743313C41008148 @default.
- W2093743313 hasConceptScore W2093743313C45555294 @default.
- W2093743313 hasConceptScore W2093743313C54355233 @default.
- W2093743313 hasConceptScore W2093743313C6802819 @default.
- W2093743313 hasConceptScore W2093743313C80444323 @default.
- W2093743313 hasConceptScore W2093743313C84135550 @default.
- W2093743313 hasConceptScore W2093743313C86803240 @default.
- W2093743313 hasConceptScore W2093743313C9376300 @default.
- W2093743313 hasLocation W20937433131 @default.
- W2093743313 hasOpenAccess W2093743313 @default.
- W2093743313 hasPrimaryLocation W20937433131 @default.
- W2093743313 hasRelatedWork W1522386340 @default.
- W2093743313 hasRelatedWork W1550898716 @default.
- W2093743313 hasRelatedWork W1763056458 @default.
- W2093743313 hasRelatedWork W2038227375 @default.
- W2093743313 hasRelatedWork W2093743313 @default.
- W2093743313 hasRelatedWork W2095048141 @default.
- W2093743313 hasRelatedWork W2136709541 @default.
- W2093743313 hasRelatedWork W2154785561 @default.
- W2093743313 hasRelatedWork W2171468557 @default.
- W2093743313 hasRelatedWork W2890747067 @default.
- W2093743313 isParatext "false" @default.
- W2093743313 isRetracted "false" @default.
- W2093743313 magId "2093743313" @default.
- W2093743313 workType "article" @default.