Matches in SemOpenAlex for { <https://semopenalex.org/work/W2162643198> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2162643198 abstract "This paper focuses on the formal verification of communications in Networks on Chip. We describe how an enhanced version of the GeNoC proof methodology has been applied to the Nostrum NoC which encompasses various non-trivial features such as a deflective non-minimal routing algorithm. We demonstrate how the features of the Nostrum protocol layers can be captured by the current version of GeNoC that enables a step-by-step formalization of communication operations while taking various protocol details into consideration. We prove that packets arrive properly and that packets are never lost. Also, we prove the soundness of the Nostrum data link, network and transport layers." @default.
- W2162643198 created "2016-06-24" @default.
- W2162643198 creator A5005395622 @default.
- W2162643198 creator A5032163732 @default.
- W2162643198 creator A5072570254 @default.
- W2162643198 date "2010-04-01" @default.
- W2162643198 modified "2023-09-30" @default.
- W2162643198 title "Theorem proving techniques for the formal verification of NoC communications with non-minimal adaptive routing" @default.
- W2162643198 cites W2067885187 @default.
- W2162643198 cites W2095854047 @default.
- W2162643198 cites W2114657592 @default.
- W2162643198 cites W2126261264 @default.
- W2162643198 cites W2128904268 @default.
- W2162643198 cites W2132405775 @default.
- W2162643198 cites W2145596990 @default.
- W2162643198 cites W4234461876 @default.
- W2162643198 cites W4256353701 @default.
- W2162643198 doi "https://doi.org/10.1109/ddecs.2010.5491781" @default.
- W2162643198 hasPublicationYear "2010" @default.
- W2162643198 type Work @default.
- W2162643198 sameAs 2162643198 @default.
- W2162643198 citedByCount "7" @default.
- W2162643198 countsByYear W21626431982012 @default.
- W2162643198 countsByYear W21626431982014 @default.
- W2162643198 countsByYear W21626431982018 @default.
- W2162643198 countsByYear W21626431982022 @default.
- W2162643198 crossrefType "proceedings-article" @default.
- W2162643198 hasAuthorship W2162643198A5005395622 @default.
- W2162643198 hasAuthorship W2162643198A5032163732 @default.
- W2162643198 hasAuthorship W2162643198A5072570254 @default.
- W2162643198 hasConcept C104954878 @default.
- W2162643198 hasConcept C108710211 @default.
- W2162643198 hasConcept C120314980 @default.
- W2162643198 hasConcept C12269588 @default.
- W2162643198 hasConcept C142724271 @default.
- W2162643198 hasConcept C158379750 @default.
- W2162643198 hasConcept C199360897 @default.
- W2162643198 hasConcept C204787440 @default.
- W2162643198 hasConcept C2524010 @default.
- W2162643198 hasConcept C2780385302 @default.
- W2162643198 hasConcept C31258907 @default.
- W2162643198 hasConcept C33923547 @default.
- W2162643198 hasConcept C39920170 @default.
- W2162643198 hasConcept C41008148 @default.
- W2162643198 hasConcept C71924100 @default.
- W2162643198 hasConcept C74172769 @default.
- W2162643198 hasConcept C80444323 @default.
- W2162643198 hasConcept C94461902 @default.
- W2162643198 hasConceptScore W2162643198C104954878 @default.
- W2162643198 hasConceptScore W2162643198C108710211 @default.
- W2162643198 hasConceptScore W2162643198C120314980 @default.
- W2162643198 hasConceptScore W2162643198C12269588 @default.
- W2162643198 hasConceptScore W2162643198C142724271 @default.
- W2162643198 hasConceptScore W2162643198C158379750 @default.
- W2162643198 hasConceptScore W2162643198C199360897 @default.
- W2162643198 hasConceptScore W2162643198C204787440 @default.
- W2162643198 hasConceptScore W2162643198C2524010 @default.
- W2162643198 hasConceptScore W2162643198C2780385302 @default.
- W2162643198 hasConceptScore W2162643198C31258907 @default.
- W2162643198 hasConceptScore W2162643198C33923547 @default.
- W2162643198 hasConceptScore W2162643198C39920170 @default.
- W2162643198 hasConceptScore W2162643198C41008148 @default.
- W2162643198 hasConceptScore W2162643198C71924100 @default.
- W2162643198 hasConceptScore W2162643198C74172769 @default.
- W2162643198 hasConceptScore W2162643198C80444323 @default.
- W2162643198 hasConceptScore W2162643198C94461902 @default.
- W2162643198 hasLocation W21626431981 @default.
- W2162643198 hasLocation W21626431982 @default.
- W2162643198 hasLocation W21626431983 @default.
- W2162643198 hasOpenAccess W2162643198 @default.
- W2162643198 hasPrimaryLocation W21626431981 @default.
- W2162643198 hasRelatedWork W1500064003 @default.
- W2162643198 hasRelatedWork W1596157658 @default.
- W2162643198 hasRelatedWork W1994968148 @default.
- W2162643198 hasRelatedWork W2098739399 @default.
- W2162643198 hasRelatedWork W2117798332 @default.
- W2162643198 hasRelatedWork W2144301640 @default.
- W2162643198 hasRelatedWork W2232133971 @default.
- W2162643198 hasRelatedWork W2572729042 @default.
- W2162643198 hasRelatedWork W2984935864 @default.
- W2162643198 hasRelatedWork W4385871963 @default.
- W2162643198 isParatext "false" @default.
- W2162643198 isRetracted "false" @default.
- W2162643198 magId "2162643198" @default.
- W2162643198 workType "article" @default.