Matches in SemOpenAlex for { <https://semopenalex.org/work/W2617505721> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2617505721 abstract "We study a graph-based real-time task model in which inter-task synchronization can be specified through a rendezvous mechanism. Previously, efficient methods have been proposed for timing analysis of the corresponding task sets. In this paper, we first formally specify an operational semantics for the model. Next, we describe a method for Ada code generation for a set of such task graphs. We also specify extensions of the approach to cover a notion of broadcasting, as well as global inter-release separation time of real-time jobs. We have implemented the proposed method in a graphical tool which facilitates a model-based design and implementation of real-time software." @default.
- W2617505721 created "2017-06-05" @default.
- W2617505721 creator A5040832674 @default.
- W2617505721 creator A5073142503 @default.
- W2617505721 creator A5089201635 @default.
- W2617505721 date "2017-01-01" @default.
- W2617505721 modified "2023-09-26" @default.
- W2617505721 title "An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada" @default.
- W2617505721 cites W1514680377 @default.
- W2617505721 cites W1889590935 @default.
- W2617505721 cites W1985718214 @default.
- W2617505721 cites W2036081705 @default.
- W2617505721 cites W2109488193 @default.
- W2617505721 cites W2156021445 @default.
- W2617505721 cites W2389028360 @default.
- W2617505721 cites W2494727228 @default.
- W2617505721 cites W2617068312 @default.
- W2617505721 doi "https://doi.org/10.1007/978-3-319-60588-3_9" @default.
- W2617505721 hasPublicationYear "2017" @default.
- W2617505721 type Work @default.
- W2617505721 sameAs 2617505721 @default.
- W2617505721 citedByCount "1" @default.
- W2617505721 countsByYear W26175057212020 @default.
- W2617505721 crossrefType "book-chapter" @default.
- W2617505721 hasAuthorship W2617505721A5040832674 @default.
- W2617505721 hasAuthorship W2617505721A5073142503 @default.
- W2617505721 hasAuthorship W2617505721A5089201635 @default.
- W2617505721 hasConcept C120314980 @default.
- W2617505721 hasConcept C127162648 @default.
- W2617505721 hasConcept C127413603 @default.
- W2617505721 hasConcept C132525143 @default.
- W2617505721 hasConcept C146978453 @default.
- W2617505721 hasConcept C156325763 @default.
- W2617505721 hasConcept C160145156 @default.
- W2617505721 hasConcept C162324750 @default.
- W2617505721 hasConcept C184337299 @default.
- W2617505721 hasConcept C187736073 @default.
- W2617505721 hasConcept C199360897 @default.
- W2617505721 hasConcept C2778562939 @default.
- W2617505721 hasConcept C2779968344 @default.
- W2617505721 hasConcept C2780451532 @default.
- W2617505721 hasConcept C29829512 @default.
- W2617505721 hasConcept C31258907 @default.
- W2617505721 hasConcept C41008148 @default.
- W2617505721 hasConcept C80444323 @default.
- W2617505721 hasConceptScore W2617505721C120314980 @default.
- W2617505721 hasConceptScore W2617505721C127162648 @default.
- W2617505721 hasConceptScore W2617505721C127413603 @default.
- W2617505721 hasConceptScore W2617505721C132525143 @default.
- W2617505721 hasConceptScore W2617505721C146978453 @default.
- W2617505721 hasConceptScore W2617505721C156325763 @default.
- W2617505721 hasConceptScore W2617505721C160145156 @default.
- W2617505721 hasConceptScore W2617505721C162324750 @default.
- W2617505721 hasConceptScore W2617505721C184337299 @default.
- W2617505721 hasConceptScore W2617505721C187736073 @default.
- W2617505721 hasConceptScore W2617505721C199360897 @default.
- W2617505721 hasConceptScore W2617505721C2778562939 @default.
- W2617505721 hasConceptScore W2617505721C2779968344 @default.
- W2617505721 hasConceptScore W2617505721C2780451532 @default.
- W2617505721 hasConceptScore W2617505721C29829512 @default.
- W2617505721 hasConceptScore W2617505721C31258907 @default.
- W2617505721 hasConceptScore W2617505721C41008148 @default.
- W2617505721 hasConceptScore W2617505721C80444323 @default.
- W2617505721 hasLocation W26175057211 @default.
- W2617505721 hasOpenAccess W2617505721 @default.
- W2617505721 hasPrimaryLocation W26175057211 @default.
- W2617505721 hasRelatedWork W1491980118 @default.
- W2617505721 hasRelatedWork W1492923158 @default.
- W2617505721 hasRelatedWork W1701368948 @default.
- W2617505721 hasRelatedWork W1984732706 @default.
- W2617505721 hasRelatedWork W2023675210 @default.
- W2617505721 hasRelatedWork W2034617104 @default.
- W2617505721 hasRelatedWork W2063764521 @default.
- W2617505721 hasRelatedWork W2098436411 @default.
- W2617505721 hasRelatedWork W2130563011 @default.
- W2617505721 hasRelatedWork W2133528966 @default.
- W2617505721 hasRelatedWork W2149377475 @default.
- W2617505721 hasRelatedWork W2155468182 @default.
- W2617505721 hasRelatedWork W2156335412 @default.
- W2617505721 hasRelatedWork W2158451200 @default.
- W2617505721 hasRelatedWork W2911254580 @default.
- W2617505721 hasRelatedWork W2964293813 @default.
- W2617505721 hasRelatedWork W3089550224 @default.
- W2617505721 hasRelatedWork W3133370143 @default.
- W2617505721 hasRelatedWork W2215401478 @default.
- W2617505721 hasRelatedWork W2285062788 @default.
- W2617505721 isParatext "false" @default.
- W2617505721 isRetracted "false" @default.
- W2617505721 magId "2617505721" @default.
- W2617505721 workType "book-chapter" @default.