Matches in SemOpenAlex for { <https://semopenalex.org/work/W2081498981> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2081498981 abstract "Ethernet networks become increasingly popular in many distributed, embedded application domains. In safety-critical real-time systems, such as industrial control or driver assistance systems, formal performance analysis methods are required to verify the timing, e.g. by providing upper bounds on end-to-end latencies. These formal methods, however, often rely on overapproximations to keep the computational complexity at a tractable level. In distributed systems, these overapproximations can accumulate leading to overly conservative timing guarantees. Switched networks, such as Ethernet (especially with large topologies), are particularly prone to this effect. In this paper, we identify timing correlations between traffic streams in Ethernet networks and show how they can be exploited by a formal analysis to derive timing guarantees, which are up to 80% tighter." @default.
- W2081498981 created "2016-06-24" @default.
- W2081498981 creator A5069517047 @default.
- W2081498981 creator A5075507551 @default.
- W2081498981 creator A5085705652 @default.
- W2081498981 creator A5087133323 @default.
- W2081498981 date "2014-10-12" @default.
- W2081498981 modified "2023-09-26" @default.
- W2081498981 title "Improving formal timing analysis of switched ethernet by exploiting traffic stream correlations" @default.
- W2081498981 cites W1965382000 @default.
- W2081498981 cites W1968176377 @default.
- W2081498981 cites W1990050126 @default.
- W2081498981 cites W1997998060 @default.
- W2081498981 cites W2015717967 @default.
- W2081498981 cites W2104067036 @default.
- W2081498981 cites W2105835814 @default.
- W2081498981 cites W2119167559 @default.
- W2081498981 cites W2124262702 @default.
- W2081498981 cites W2136892624 @default.
- W2081498981 cites W2152886424 @default.
- W2081498981 cites W2164751066 @default.
- W2081498981 doi "https://doi.org/10.1145/2656075.2656090" @default.
- W2081498981 hasPublicationYear "2014" @default.
- W2081498981 type Work @default.
- W2081498981 sameAs 2081498981 @default.
- W2081498981 citedByCount "9" @default.
- W2081498981 countsByYear W20814989812015 @default.
- W2081498981 countsByYear W20814989812016 @default.
- W2081498981 countsByYear W20814989812018 @default.
- W2081498981 countsByYear W20814989812019 @default.
- W2081498981 countsByYear W20814989812022 @default.
- W2081498981 crossrefType "proceedings-article" @default.
- W2081498981 hasAuthorship W2081498981A5069517047 @default.
- W2081498981 hasAuthorship W2081498981A5075507551 @default.
- W2081498981 hasAuthorship W2081498981A5085705652 @default.
- W2081498981 hasAuthorship W2081498981A5087133323 @default.
- W2081498981 hasConcept C115903868 @default.
- W2081498981 hasConcept C120314980 @default.
- W2081498981 hasConcept C167151114 @default.
- W2081498981 hasConcept C172173386 @default.
- W2081498981 hasConcept C186844356 @default.
- W2081498981 hasConcept C199845137 @default.
- W2081498981 hasConcept C205215620 @default.
- W2081498981 hasConcept C30188135 @default.
- W2081498981 hasConcept C31258907 @default.
- W2081498981 hasConcept C41008148 @default.
- W2081498981 hasConcept C60665866 @default.
- W2081498981 hasConcept C68178114 @default.
- W2081498981 hasConcept C75606506 @default.
- W2081498981 hasConcept C79403827 @default.
- W2081498981 hasConceptScore W2081498981C115903868 @default.
- W2081498981 hasConceptScore W2081498981C120314980 @default.
- W2081498981 hasConceptScore W2081498981C167151114 @default.
- W2081498981 hasConceptScore W2081498981C172173386 @default.
- W2081498981 hasConceptScore W2081498981C186844356 @default.
- W2081498981 hasConceptScore W2081498981C199845137 @default.
- W2081498981 hasConceptScore W2081498981C205215620 @default.
- W2081498981 hasConceptScore W2081498981C30188135 @default.
- W2081498981 hasConceptScore W2081498981C31258907 @default.
- W2081498981 hasConceptScore W2081498981C41008148 @default.
- W2081498981 hasConceptScore W2081498981C60665866 @default.
- W2081498981 hasConceptScore W2081498981C68178114 @default.
- W2081498981 hasConceptScore W2081498981C75606506 @default.
- W2081498981 hasConceptScore W2081498981C79403827 @default.
- W2081498981 hasLocation W20814989811 @default.
- W2081498981 hasOpenAccess W2081498981 @default.
- W2081498981 hasPrimaryLocation W20814989811 @default.
- W2081498981 hasRelatedWork W2018314732 @default.
- W2081498981 hasRelatedWork W2129255461 @default.
- W2081498981 hasRelatedWork W2171677863 @default.
- W2081498981 hasRelatedWork W2356598257 @default.
- W2081498981 hasRelatedWork W2356861538 @default.
- W2081498981 hasRelatedWork W2383348237 @default.
- W2081498981 hasRelatedWork W2387712682 @default.
- W2081498981 hasRelatedWork W4214865282 @default.
- W2081498981 hasRelatedWork W4308088904 @default.
- W2081498981 hasRelatedWork W99161498 @default.
- W2081498981 isParatext "false" @default.
- W2081498981 isRetracted "false" @default.
- W2081498981 magId "2081498981" @default.
- W2081498981 workType "article" @default.