Matches in SemOpenAlex for { <https://semopenalex.org/work/W4308627720> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4308627720 abstract "This paper presents a model checking framework in Uppaal for finding worst-case message delivery times for periodic and event-driven message flows in a SpaceWire network with wormhole switching. In particular, we focus on segmentation of large messages into smaller packets. We present a collection of timed automata for SpaceWire links and network messages, that capture message segmentation and wormhole blocking." @default.
- W4308627720 created "2022-11-13" @default.
- W4308627720 creator A5005504206 @default.
- W4308627720 creator A5006361808 @default.
- W4308627720 creator A5074499943 @default.
- W4308627720 creator A5089131788 @default.
- W4308627720 date "2022-10-23" @default.
- W4308627720 modified "2023-10-17" @default.
- W4308627720 title "Model checking message delivery times in SpaceWire networks" @default.
- W4308627720 cites W1966292977 @default.
- W4308627720 cites W1980063566 @default.
- W4308627720 cites W2003309721 @default.
- W4308627720 cites W2060915536 @default.
- W4308627720 cites W2069682484 @default.
- W4308627720 cites W2125051713 @default.
- W4308627720 cites W2128673366 @default.
- W4308627720 cites W2160883697 @default.
- W4308627720 cites W2560020579 @default.
- W4308627720 cites W2583431725 @default.
- W4308627720 cites W2748740707 @default.
- W4308627720 cites W2809944376 @default.
- W4308627720 cites W3172814896 @default.
- W4308627720 cites W4252976664 @default.
- W4308627720 doi "https://doi.org/10.1145/3550356.3561546" @default.
- W4308627720 hasPublicationYear "2022" @default.
- W4308627720 type Work @default.
- W4308627720 citedByCount "0" @default.
- W4308627720 crossrefType "proceedings-article" @default.
- W4308627720 hasAuthorship W4308627720A5005504206 @default.
- W4308627720 hasAuthorship W4308627720A5006361808 @default.
- W4308627720 hasAuthorship W4308627720A5074499943 @default.
- W4308627720 hasAuthorship W4308627720A5089131788 @default.
- W4308627720 hasBestOaLocation W43086277201 @default.
- W4308627720 hasConcept C112505250 @default.
- W4308627720 hasConcept C120314980 @default.
- W4308627720 hasConcept C120665830 @default.
- W4308627720 hasConcept C121332964 @default.
- W4308627720 hasConcept C144745244 @default.
- W4308627720 hasConcept C158379750 @default.
- W4308627720 hasConcept C192209626 @default.
- W4308627720 hasConcept C2779662365 @default.
- W4308627720 hasConcept C29013271 @default.
- W4308627720 hasConcept C31258907 @default.
- W4308627720 hasConcept C41008148 @default.
- W4308627720 hasConcept C62520636 @default.
- W4308627720 hasConcept C79403827 @default.
- W4308627720 hasConcept C80444323 @default.
- W4308627720 hasConceptScore W4308627720C112505250 @default.
- W4308627720 hasConceptScore W4308627720C120314980 @default.
- W4308627720 hasConceptScore W4308627720C120665830 @default.
- W4308627720 hasConceptScore W4308627720C121332964 @default.
- W4308627720 hasConceptScore W4308627720C144745244 @default.
- W4308627720 hasConceptScore W4308627720C158379750 @default.
- W4308627720 hasConceptScore W4308627720C192209626 @default.
- W4308627720 hasConceptScore W4308627720C2779662365 @default.
- W4308627720 hasConceptScore W4308627720C29013271 @default.
- W4308627720 hasConceptScore W4308627720C31258907 @default.
- W4308627720 hasConceptScore W4308627720C41008148 @default.
- W4308627720 hasConceptScore W4308627720C62520636 @default.
- W4308627720 hasConceptScore W4308627720C79403827 @default.
- W4308627720 hasConceptScore W4308627720C80444323 @default.
- W4308627720 hasLocation W43086277201 @default.
- W4308627720 hasLocation W43086277202 @default.
- W4308627720 hasOpenAccess W4308627720 @default.
- W4308627720 hasPrimaryLocation W43086277201 @default.
- W4308627720 hasRelatedWork W1569233262 @default.
- W4308627720 hasRelatedWork W1975482547 @default.
- W4308627720 hasRelatedWork W2091999583 @default.
- W4308627720 hasRelatedWork W2130966263 @default.
- W4308627720 hasRelatedWork W2146590510 @default.
- W4308627720 hasRelatedWork W2171377449 @default.
- W4308627720 hasRelatedWork W2783385843 @default.
- W4308627720 hasRelatedWork W4200191915 @default.
- W4308627720 hasRelatedWork W2583394830 @default.
- W4308627720 hasRelatedWork W2593775514 @default.
- W4308627720 isParatext "false" @default.
- W4308627720 isRetracted "false" @default.
- W4308627720 workType "article" @default.