FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950518306> ?p ?o ?g. }

• W2950518306 abstract "Time-triggered switched networks are a deterministic communication infrastructure used by real-time distributed embedded systems. Due to the criticality of the applications running over them, developers need to ensure that end-to-end communication is dependable and predictable. Traditional approaches assume static networks that are not flexible to changes caused by reconfigurations or, more importantly, faults, which are dealt with in the application using redundancy. We adopt the concept of handling faults in the switches from non-real-time networks while maintaining the required predictability. We study a class of forwarding schemes that can handle various types of failures. We consider probabilistic failures. For a given network with a forwarding scheme and a constant $ell$, we compute the {em score} of the scheme, namely the probability (induced by faults) that at least $ell$ messages arrive on time. We reduce the scoring problem to a reachability problem on a Markov chain with a product-like structure. Its special structure allows us to reason about it symbolically, and reduce the scoring problem to #SAT. Our solution is generic and can be adapted to different networks and other contexts. Also, we show the computational complexity of the scoring problem is #P-complete, and we study methods to estimate the score. We evaluate the effectiveness of our techniques with an implementation." @default.
• W2950518306 created "2019-06-27" @default.
• W2950518306 creator A5026034978 @default.
• W2950518306 creator A5029172336 @default.
• W2950518306 creator A5032929151 @default.
• W2950518306 creator A5080555605 @default.
• W2950518306 date "2017-01-12" @default.
• W2950518306 modified "2023-09-27" @default.
• W2950518306 title "Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults" @default.
• W2950518306 cites W1528660673 @default.
• W2950518306 cites W1537730723 @default.
• W2950518306 cites W1543942291 @default.
• W2950518306 cites W157143398 @default.
• W2950518306 cites W1584517846 @default.
• W2950518306 cites W180513329 @default.
• W2950518306 cites W1862398452 @default.
• W2950518306 cites W1975646892 @default.
• W2950518306 cites W1988160302 @default.
• W2950518306 cites W2000947342 @default.
• W2950518306 cites W2099958378 @default.
• W2950518306 cites W2110698138 @default.
• W2950518306 cites W2132022337 @default.
• W2950518306 cites W2202286026 @default.
• W2950518306 cites W2267157417 @default.
• W2950518306 cites W2332087265 @default.
• W2950518306 cites W2531641738 @default.
• W2950518306 cites W2541391650 @default.
• W2950518306 cites W2547294615 @default.
• W2950518306 cites W2953089152 @default.
• W2950518306 cites W2962943581 @default.
• W2950518306 cites W3111890340 @default.
• W2950518306 hasPublicationYear "2017" @default.
• W2950518306 type Work @default.
• W2950518306 sameAs 2950518306 @default.
• W2950518306 citedByCount "0" @default.
• W2950518306 crossrefType "posted-content" @default.
• W2950518306 hasAuthorship W2950518306A5026034978 @default.
• W2950518306 hasAuthorship W2950518306A5029172336 @default.
• W2950518306 hasAuthorship W2950518306A5032929151 @default.
• W2950518306 hasAuthorship W2950518306A5080555605 @default.
• W2950518306 hasConcept C105795698 @default.
• W2950518306 hasConcept C111919701 @default.
• W2950518306 hasConcept C119857082 @default.
• W2950518306 hasConcept C120314980 @default.
• W2950518306 hasConcept C134306372 @default.
• W2950518306 hasConcept C136643341 @default.
• W2950518306 hasConcept C152124472 @default.
• W2950518306 hasConcept C154945302 @default.
• W2950518306 hasConcept C192126672 @default.
• W2950518306 hasConcept C197640229 @default.
• W2950518306 hasConcept C2777212361 @default.
• W2950518306 hasConcept C2777669093 @default.
• W2950518306 hasConcept C31258907 @default.
• W2950518306 hasConcept C33923547 @default.
• W2950518306 hasConcept C41008148 @default.
• W2950518306 hasConcept C49937458 @default.
• W2950518306 hasConcept C77618280 @default.
• W2950518306 hasConcept C80444323 @default.
• W2950518306 hasConcept C98763669 @default.
• W2950518306 hasConceptScore W2950518306C105795698 @default.
• W2950518306 hasConceptScore W2950518306C111919701 @default.
• W2950518306 hasConceptScore W2950518306C119857082 @default.
• W2950518306 hasConceptScore W2950518306C120314980 @default.
• W2950518306 hasConceptScore W2950518306C134306372 @default.
• W2950518306 hasConceptScore W2950518306C136643341 @default.
• W2950518306 hasConceptScore W2950518306C152124472 @default.
• W2950518306 hasConceptScore W2950518306C154945302 @default.
• W2950518306 hasConceptScore W2950518306C192126672 @default.
• W2950518306 hasConceptScore W2950518306C197640229 @default.
• W2950518306 hasConceptScore W2950518306C2777212361 @default.
• W2950518306 hasConceptScore W2950518306C2777669093 @default.
• W2950518306 hasConceptScore W2950518306C31258907 @default.
• W2950518306 hasConceptScore W2950518306C33923547 @default.
• W2950518306 hasConceptScore W2950518306C41008148 @default.
• W2950518306 hasConceptScore W2950518306C49937458 @default.
• W2950518306 hasConceptScore W2950518306C77618280 @default.
• W2950518306 hasConceptScore W2950518306C80444323 @default.
• W2950518306 hasConceptScore W2950518306C98763669 @default.
• W2950518306 hasLocation W29505183061 @default.
• W2950518306 hasOpenAccess W2950518306 @default.
• W2950518306 hasPrimaryLocation W29505183061 @default.
• W2950518306 hasRelatedWork W144756785 @default.
• W2950518306 hasRelatedWork W189448761 @default.
• W2950518306 hasRelatedWork W2001344931 @default.
• W2950518306 hasRelatedWork W2107330110 @default.
• W2950518306 hasRelatedWork W2315511336 @default.
• W2950518306 hasRelatedWork W2339900379 @default.
• W2950518306 hasRelatedWork W2413577624 @default.
• W2950518306 hasRelatedWork W2497292277 @default.
• W2950518306 hasRelatedWork W2551324728 @default.
• W2950518306 hasRelatedWork W2571858767 @default.
• W2950518306 hasRelatedWork W2587924375 @default.
• W2950518306 hasRelatedWork W265538157 @default.
• W2950518306 hasRelatedWork W2739841226 @default.
• W2950518306 hasRelatedWork W2952969985 @default.
• W2950518306 hasRelatedWork W3036673577 @default.
• W2950518306 hasRelatedWork W3139258282 @default.
• W2950518306 hasRelatedWork W59594081 @default.
• W2950518306 hasRelatedWork W9563925 @default.
• W2950518306 hasRelatedWork W2130285082 @default.

• next