FRINK Linked Data Fragments server

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

• W3100227903 abstract "This paper presents McNetKAT, a scalable tool for verifying probabilistic network programs. McNetKAT is based on a new semantics for the guarded and history-free fragment of Probabilistic NetKAT in terms of finite-state, absorbing Markov chains. This view allows the semantics of all programs to be computed exactly, enabling construction of an automatic verification tool. Domain-specific optimizations and a parallelizing backend enable McNetKAT to analyze networks with thousands of nodes, automatically reasoning about general properties such as probabilistic program equivalence and refinement, as well as networking properties such as resilience to failures. We evaluate McNetKAT's scalability using real-world topologies, compare its performance against state-of-the-art tools, and develop an extended case study on a recently proposed data center network design." @default.
• W3100227903 created "2020-11-23" @default.
• W3100227903 creator A5013378091 @default.
• W3100227903 creator A5029314584 @default.
• W3100227903 creator A5033286190 @default.
• W3100227903 creator A5039847156 @default.
• W3100227903 creator A5041498909 @default.
• W3100227903 creator A5053923311 @default.
• W3100227903 creator A5084294378 @default.
• W3100227903 date "2019-06-08" @default.
• W3100227903 modified "2023-10-16" @default.
• W3100227903 title "Scalable verification of probabilistic networks" @default.
• W3100227903 cites W1596186423 @default.
• W3100227903 cites W1862398452 @default.
• W3100227903 cites W1988150362 @default.
• W3100227903 cites W1988801089 @default.
• W3100227903 cites W1994143452 @default.
• W3100227903 cites W1994926493 @default.
• W3100227903 cites W2001097638 @default.
• W3100227903 cites W2051917325 @default.
• W3100227903 cites W2072607050 @default.
• W3100227903 cites W2107997203 @default.
• W3100227903 cites W2115526539 @default.
• W3100227903 cites W2121382061 @default.
• W3100227903 cites W2126492182 @default.
• W3100227903 cites W2126969025 @default.
• W3100227903 cites W2130210899 @default.
• W3100227903 cites W2130531694 @default.
• W3100227903 cites W2132320636 @default.
• W3100227903 cites W2147118406 @default.
• W3100227903 cites W2151517515 @default.
• W3100227903 cites W2246823619 @default.
• W3100227903 cites W2295266283 @default.
• W3100227903 cites W2551539219 @default.
• W3100227903 cites W2799169208 @default.
• W3100227903 cites W2816958343 @default.
• W3100227903 cites W2847302746 @default.
• W3100227903 cites W2913846715 @default.
• W3100227903 cites W3034071003 @default.
• W3100227903 cites W3098828539 @default.
• W3100227903 cites W4233458882 @default.
• W3100227903 doi "https://doi.org/10.1145/3314221.3314639" @default.
• W3100227903 hasPublicationYear "2019" @default.
• W3100227903 type Work @default.
• W3100227903 sameAs 3100227903 @default.
• W3100227903 citedByCount "12" @default.
• W3100227903 countsByYear W31002279032019 @default.
• W3100227903 countsByYear W31002279032020 @default.
• W3100227903 countsByYear W31002279032021 @default.
• W3100227903 countsByYear W31002279032023 @default.
• W3100227903 crossrefType "proceedings-article" @default.
• W3100227903 hasAuthorship W3100227903A5013378091 @default.
• W3100227903 hasAuthorship W3100227903A5029314584 @default.
• W3100227903 hasAuthorship W3100227903A5033286190 @default.
• W3100227903 hasAuthorship W3100227903A5039847156 @default.
• W3100227903 hasAuthorship W3100227903A5041498909 @default.
• W3100227903 hasAuthorship W3100227903A5053923311 @default.
• W3100227903 hasAuthorship W3100227903A5084294378 @default.
• W3100227903 hasBestOaLocation W31002279031 @default.
• W3100227903 hasConcept C119857082 @default.
• W3100227903 hasConcept C120314980 @default.
• W3100227903 hasConcept C154945302 @default.
• W3100227903 hasConcept C184337299 @default.
• W3100227903 hasConcept C199360897 @default.
• W3100227903 hasConcept C199845137 @default.
• W3100227903 hasConcept C2776235265 @default.
• W3100227903 hasConcept C31258907 @default.
• W3100227903 hasConcept C41008148 @default.
• W3100227903 hasConcept C48044578 @default.
• W3100227903 hasConcept C49937458 @default.
• W3100227903 hasConcept C77088390 @default.
• W3100227903 hasConcept C80444323 @default.
• W3100227903 hasConcept C98763669 @default.
• W3100227903 hasConceptScore W3100227903C119857082 @default.
• W3100227903 hasConceptScore W3100227903C120314980 @default.
• W3100227903 hasConceptScore W3100227903C154945302 @default.
• W3100227903 hasConceptScore W3100227903C184337299 @default.
• W3100227903 hasConceptScore W3100227903C199360897 @default.
• W3100227903 hasConceptScore W3100227903C199845137 @default.
• W3100227903 hasConceptScore W3100227903C2776235265 @default.
• W3100227903 hasConceptScore W3100227903C31258907 @default.
• W3100227903 hasConceptScore W3100227903C41008148 @default.
• W3100227903 hasConceptScore W3100227903C48044578 @default.
• W3100227903 hasConceptScore W3100227903C49937458 @default.
• W3100227903 hasConceptScore W3100227903C77088390 @default.
• W3100227903 hasConceptScore W3100227903C80444323 @default.
• W3100227903 hasConceptScore W3100227903C98763669 @default.
• W3100227903 hasFunder F4320306076 @default.
• W3100227903 hasFunder F4320338352 @default.
• W3100227903 hasLocation W31002279031 @default.
• W3100227903 hasLocation W31002279032 @default.
• W3100227903 hasLocation W31002279033 @default.
• W3100227903 hasLocation W31002279034 @default.
• W3100227903 hasOpenAccess W3100227903 @default.
• W3100227903 hasPrimaryLocation W31002279031 @default.
• W3100227903 hasRelatedWork W1596201972 @default.
• W3100227903 hasRelatedWork W1597592026 @default.
• W3100227903 hasRelatedWork W1855927527 @default.
• W3100227903 hasRelatedWork W1967954938 @default.
• W3100227903 hasRelatedWork W1986253068 @default.

• next