Matches in SemOpenAlex for { <https://semopenalex.org/work/W2377752810> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2377752810 abstract "We present a new method for computing invariants for cache coherence protocol in this paper,The verification of cache coherence protocols is always a challenge as we have to check the safety properties of cache coherence protocol with arbitrary nodes.By searching the relations between the invariants and the rules of cache coherence protocol,we can verify the cache coherence protocol with circular reasoning.Besides,we implement a tool to help us computing invariants for cache coherence protocol.We also have experiments on how to apply our method to the German protocol with both control property and data property." @default.
- W2377752810 created "2016-06-24" @default.
- W2377752810 creator A5036743387 @default.
- W2377752810 date "2015-01-01" @default.
- W2377752810 modified "2023-09-26" @default.
- W2377752810 title "Verification of German Cache Coherence Protocol by Searching Invariants" @default.
- W2377752810 hasPublicationYear "2015" @default.
- W2377752810 type Work @default.
- W2377752810 sameAs 2377752810 @default.
- W2377752810 citedByCount "0" @default.
- W2377752810 crossrefType "journal-article" @default.
- W2377752810 hasAuthorship W2377752810A5036743387 @default.
- W2377752810 hasConcept C105795698 @default.
- W2377752810 hasConcept C115537543 @default.
- W2377752810 hasConcept C120314980 @default.
- W2377752810 hasConcept C120936851 @default.
- W2377752810 hasConcept C141917322 @default.
- W2377752810 hasConcept C142724271 @default.
- W2377752810 hasConcept C173608175 @default.
- W2377752810 hasConcept C189783530 @default.
- W2377752810 hasConcept C199979278 @default.
- W2377752810 hasConcept C204787440 @default.
- W2377752810 hasConcept C25536678 @default.
- W2377752810 hasConcept C2780385302 @default.
- W2377752810 hasConcept C2781181686 @default.
- W2377752810 hasConcept C33923547 @default.
- W2377752810 hasConcept C38556500 @default.
- W2377752810 hasConcept C41008148 @default.
- W2377752810 hasConcept C51185590 @default.
- W2377752810 hasConcept C71924100 @default.
- W2377752810 hasConcept C80444323 @default.
- W2377752810 hasConceptScore W2377752810C105795698 @default.
- W2377752810 hasConceptScore W2377752810C115537543 @default.
- W2377752810 hasConceptScore W2377752810C120314980 @default.
- W2377752810 hasConceptScore W2377752810C120936851 @default.
- W2377752810 hasConceptScore W2377752810C141917322 @default.
- W2377752810 hasConceptScore W2377752810C142724271 @default.
- W2377752810 hasConceptScore W2377752810C173608175 @default.
- W2377752810 hasConceptScore W2377752810C189783530 @default.
- W2377752810 hasConceptScore W2377752810C199979278 @default.
- W2377752810 hasConceptScore W2377752810C204787440 @default.
- W2377752810 hasConceptScore W2377752810C25536678 @default.
- W2377752810 hasConceptScore W2377752810C2780385302 @default.
- W2377752810 hasConceptScore W2377752810C2781181686 @default.
- W2377752810 hasConceptScore W2377752810C33923547 @default.
- W2377752810 hasConceptScore W2377752810C38556500 @default.
- W2377752810 hasConceptScore W2377752810C41008148 @default.
- W2377752810 hasConceptScore W2377752810C51185590 @default.
- W2377752810 hasConceptScore W2377752810C71924100 @default.
- W2377752810 hasConceptScore W2377752810C80444323 @default.
- W2377752810 hasLocation W23777528101 @default.
- W2377752810 hasOpenAccess W2377752810 @default.
- W2377752810 hasPrimaryLocation W23777528101 @default.
- W2377752810 hasRelatedWork W1540614346 @default.
- W2377752810 hasRelatedWork W1605433236 @default.
- W2377752810 hasRelatedWork W1978717717 @default.
- W2377752810 hasRelatedWork W1980013748 @default.
- W2377752810 hasRelatedWork W2067746645 @default.
- W2377752810 hasRelatedWork W2084028608 @default.
- W2377752810 hasRelatedWork W2111588167 @default.
- W2377752810 hasRelatedWork W2129182823 @default.
- W2377752810 hasRelatedWork W2134200689 @default.
- W2377752810 hasRelatedWork W2138711299 @default.
- W2377752810 hasRelatedWork W2151384504 @default.
- W2377752810 hasRelatedWork W2155610530 @default.
- W2377752810 hasRelatedWork W2163947040 @default.
- W2377752810 hasRelatedWork W2234392215 @default.
- W2377752810 hasRelatedWork W2234646418 @default.
- W2377752810 hasRelatedWork W2271084486 @default.
- W2377752810 hasRelatedWork W2407549018 @default.
- W2377752810 hasRelatedWork W2471498569 @default.
- W2377752810 hasRelatedWork W2978909051 @default.
- W2377752810 hasRelatedWork W2979768760 @default.
- W2377752810 isParatext "false" @default.
- W2377752810 isRetracted "false" @default.
- W2377752810 magId "2377752810" @default.
- W2377752810 workType "article" @default.