FRINK Linked Data Fragments server

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

• W2969243003 abstract "The design of modern network-on-chip (NoC) systems faces reliability challenges due to process and environmental variations. Peak power supply noise (PSN) in the power delivery network of a NoC device plays a critical role in determining reliable operations: PSN typically leads to voltage droop, which can cause timing errors in the NoC router pipelines. Existing simulation-based approaches cannot provide rigorous, worst-case reliability guarantees on the probabilistic behaviors of PSN. To address this problem, this paper takes a significant step in formally analyzing PSN in modern NoCs. Specifically, we present a probabilistic model checking approach for the rigorous characterization of PSN for a generic central router of a large mesh-NoC system, under the Round Robin scheduling mechanism with a uniform random network traffic load. Defining features for PSN are extracted at the behavioral level to facilitate property formulation. Several abstract models have been derived for the central router’s concrete model based on the observations of its arbiter’s conflict resolution behavior. Probabilistic modeling and verification are performed using the Modest Toolset. Results show significant scalability of our abstract models, and reveal key PSN characteristics that are indicative of NoC design and optimization." @default.
• W2969243003 created "2019-08-29" @default.
• W2969243003 creator A5007673197 @default.
• W2969243003 creator A5020167792 @default.
• W2969243003 creator A5028776660 @default.
• W2969243003 creator A5054623830 @default.
• W2969243003 creator A5061041089 @default.
• W2969243003 creator A5061529834 @default.
• W2969243003 creator A5068885938 @default.
• W2969243003 date "2019-01-01" @default.
• W2969243003 modified "2023-09-29" @default.
• W2969243003 title "Probabilistic Verification for Reliable Network-on-Chip System Design" @default.
• W2969243003 cites W1580405793 @default.
• W2969243003 cites W1858997460 @default.
• W2969243003 cites W1980399751 @default.
• W2969243003 cites W1990879719 @default.
• W2969243003 cites W2030895696 @default.
• W2969243003 cites W2050281422 @default.
• W2969243003 cites W2052545703 @default.
• W2969243003 cites W2087486424 @default.
• W2969243003 cites W2095602520 @default.
• W2969243003 cites W2123951243 @default.
• W2969243003 cites W2126259598 @default.
• W2969243003 cites W2140325747 @default.
• W2969243003 cites W2149453229 @default.
• W2969243003 cites W2149637086 @default.
• W2969243003 cites W2154344146 @default.
• W2969243003 cites W2158901422 @default.
• W2969243003 cites W2237371764 @default.
• W2969243003 cites W2324431032 @default.
• W2969243003 cites W2465067896 @default.
• W2969243003 cites W2527940885 @default.
• W2969243003 cites W2600342741 @default.
• W2969243003 cites W275084143 @default.
• W2969243003 cites W2799242129 @default.
• W2969243003 cites W2899043600 @default.
• W2969243003 cites W3145705244 @default.
• W2969243003 cites W322809287 @default.
• W2969243003 doi "https://doi.org/10.1007/978-3-030-27008-7_7" @default.
• W2969243003 hasPublicationYear "2019" @default.
• W2969243003 type Work @default.
• W2969243003 sameAs 2969243003 @default.
• W2969243003 citedByCount "3" @default.
• W2969243003 countsByYear W29692430032021 @default.
• W2969243003 countsByYear W29692430032022 @default.
• W2969243003 crossrefType "book-chapter" @default.
• W2969243003 hasAuthorship W2969243003A5007673197 @default.
• W2969243003 hasAuthorship W2969243003A5020167792 @default.
• W2969243003 hasAuthorship W2969243003A5028776660 @default.
• W2969243003 hasAuthorship W2969243003A5054623830 @default.
• W2969243003 hasAuthorship W2969243003A5061041089 @default.
• W2969243003 hasAuthorship W2969243003A5061529834 @default.
• W2969243003 hasAuthorship W2969243003A5068885938 @default.
• W2969243003 hasConcept C120314980 @default.
• W2969243003 hasConcept C121332964 @default.
• W2969243003 hasConcept C128519102 @default.
• W2969243003 hasConcept C149635348 @default.
• W2969243003 hasConcept C154945302 @default.
• W2969243003 hasConcept C162324750 @default.
• W2969243003 hasConcept C163258240 @default.
• W2969243003 hasConcept C206729178 @default.
• W2969243003 hasConcept C21547014 @default.
• W2969243003 hasConcept C2775896111 @default.
• W2969243003 hasConcept C2779971761 @default.
• W2969243003 hasConcept C31258907 @default.
• W2969243003 hasConcept C41008148 @default.
• W2969243003 hasConcept C43214815 @default.
• W2969243003 hasConcept C48044578 @default.
• W2969243003 hasConcept C49937458 @default.
• W2969243003 hasConcept C62520636 @default.
• W2969243003 hasConcept C77088390 @default.
• W2969243003 hasConceptScore W2969243003C120314980 @default.
• W2969243003 hasConceptScore W2969243003C121332964 @default.
• W2969243003 hasConceptScore W2969243003C128519102 @default.
• W2969243003 hasConceptScore W2969243003C149635348 @default.
• W2969243003 hasConceptScore W2969243003C154945302 @default.
• W2969243003 hasConceptScore W2969243003C162324750 @default.
• W2969243003 hasConceptScore W2969243003C163258240 @default.
• W2969243003 hasConceptScore W2969243003C206729178 @default.
• W2969243003 hasConceptScore W2969243003C21547014 @default.
• W2969243003 hasConceptScore W2969243003C2775896111 @default.
• W2969243003 hasConceptScore W2969243003C2779971761 @default.
• W2969243003 hasConceptScore W2969243003C31258907 @default.
• W2969243003 hasConceptScore W2969243003C41008148 @default.
• W2969243003 hasConceptScore W2969243003C43214815 @default.
• W2969243003 hasConceptScore W2969243003C48044578 @default.
• W2969243003 hasConceptScore W2969243003C49937458 @default.
• W2969243003 hasConceptScore W2969243003C62520636 @default.
• W2969243003 hasConceptScore W2969243003C77088390 @default.
• W2969243003 hasLocation W29692430031 @default.
• W2969243003 hasOpenAccess W2969243003 @default.
• W2969243003 hasPrimaryLocation W29692430031 @default.
• W2969243003 hasRelatedWork W1964178141 @default.
• W2969243003 hasRelatedWork W1992741870 @default.
• W2969243003 hasRelatedWork W2028097207 @default.
• W2969243003 hasRelatedWork W2047114212 @default.
• W2969243003 hasRelatedWork W2389719923 @default.
• W2969243003 hasRelatedWork W2544439045 @default.
• W2969243003 hasRelatedWork W2546696010 @default.
• W2969243003 hasRelatedWork W2576072272 @default.

• next