Matches in SemOpenAlex for { <https://semopenalex.org/work/W2143750435> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2143750435 endingPage "720" @default.
- W2143750435 startingPage "715" @default.
- W2143750435 abstract "Synchronous Dataflow (SDF) is a well-known model of computation for dataflow-oriented applications such as embedded systems for signal processing and multimedia. It is important to minimize the buffer size requirements of applications generated from SDF graphs, since memory space is often a scarce resource in these systems due to cost or power consumption constraints. Some authors have proposed to use model-checking for finding the minimum buffer size requirements, but the scalability of model-checking is limited by state space explosion. In this paper, we present several techniques for reducing state space size and improving scalability of model-checking by exploiting problem-specific properties of SDF graphs." @default.
- W2143750435 created "2016-06-24" @default.
- W2143750435 creator A5002245169 @default.
- W2143750435 creator A5011765525 @default.
- W2143750435 creator A5029808393 @default.
- W2143750435 creator A5073142503 @default.
- W2143750435 date "2009-01-19" @default.
- W2143750435 modified "2023-09-26" @default.
- W2143750435 title "Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs" @default.
- W2143750435 cites W11388123 @default.
- W2143750435 cites W1489391022 @default.
- W2143750435 cites W1595885266 @default.
- W2143750435 cites W1811136896 @default.
- W2143750435 cites W2094255775 @default.
- W2143750435 cites W2108727711 @default.
- W2143750435 cites W2116142540 @default.
- W2143750435 cites W2118382442 @default.
- W2143750435 cites W2131111769 @default.
- W2143750435 cites W2131200537 @default.
- W2143750435 cites W2179825846 @default.
- W2143750435 doi "https://doi.org/10.5555/1509633.1509795" @default.
- W2143750435 hasPublicationYear "2009" @default.
- W2143750435 type Work @default.
- W2143750435 sameAs 2143750435 @default.
- W2143750435 citedByCount "5" @default.
- W2143750435 countsByYear W21437504352012 @default.
- W2143750435 countsByYear W21437504352014 @default.
- W2143750435 countsByYear W21437504352016 @default.
- W2143750435 crossrefType "proceedings-article" @default.
- W2143750435 hasAuthorship W2143750435A5002245169 @default.
- W2143750435 hasAuthorship W2143750435A5011765525 @default.
- W2143750435 hasAuthorship W2143750435A5029808393 @default.
- W2143750435 hasAuthorship W2143750435A5073142503 @default.
- W2143750435 hasConcept C105795698 @default.
- W2143750435 hasConcept C110251889 @default.
- W2143750435 hasConcept C11413529 @default.
- W2143750435 hasConcept C120314980 @default.
- W2143750435 hasConcept C173608175 @default.
- W2143750435 hasConcept C176727019 @default.
- W2143750435 hasConcept C184596265 @default.
- W2143750435 hasConcept C33923547 @default.
- W2143750435 hasConcept C41008148 @default.
- W2143750435 hasConcept C45374587 @default.
- W2143750435 hasConcept C48044578 @default.
- W2143750435 hasConcept C72434380 @default.
- W2143750435 hasConcept C77088390 @default.
- W2143750435 hasConcept C80444323 @default.
- W2143750435 hasConcept C96324660 @default.
- W2143750435 hasConceptScore W2143750435C105795698 @default.
- W2143750435 hasConceptScore W2143750435C110251889 @default.
- W2143750435 hasConceptScore W2143750435C11413529 @default.
- W2143750435 hasConceptScore W2143750435C120314980 @default.
- W2143750435 hasConceptScore W2143750435C173608175 @default.
- W2143750435 hasConceptScore W2143750435C176727019 @default.
- W2143750435 hasConceptScore W2143750435C184596265 @default.
- W2143750435 hasConceptScore W2143750435C33923547 @default.
- W2143750435 hasConceptScore W2143750435C41008148 @default.
- W2143750435 hasConceptScore W2143750435C45374587 @default.
- W2143750435 hasConceptScore W2143750435C48044578 @default.
- W2143750435 hasConceptScore W2143750435C72434380 @default.
- W2143750435 hasConceptScore W2143750435C77088390 @default.
- W2143750435 hasConceptScore W2143750435C80444323 @default.
- W2143750435 hasConceptScore W2143750435C96324660 @default.
- W2143750435 hasLocation W21437504351 @default.
- W2143750435 hasOpenAccess W2143750435 @default.
- W2143750435 hasPrimaryLocation W21437504351 @default.
- W2143750435 hasRelatedWork W128462016 @default.
- W2143750435 hasRelatedWork W156117553 @default.
- W2143750435 hasRelatedWork W1992662900 @default.
- W2143750435 hasRelatedWork W2053617725 @default.
- W2143750435 hasRelatedWork W2096567453 @default.
- W2143750435 hasRelatedWork W2160227133 @default.
- W2143750435 hasRelatedWork W2215568122 @default.
- W2143750435 hasRelatedWork W2782430257 @default.
- W2143750435 hasRelatedWork W2803416720 @default.
- W2143750435 hasRelatedWork W2896180420 @default.
- W2143750435 hasRelatedWork W2896956501 @default.
- W2143750435 hasRelatedWork W2931850608 @default.
- W2143750435 hasRelatedWork W2960647341 @default.
- W2143750435 hasRelatedWork W2984200518 @default.
- W2143750435 hasRelatedWork W2991186234 @default.
- W2143750435 hasRelatedWork W2994745979 @default.
- W2143750435 hasRelatedWork W3016501025 @default.
- W2143750435 hasRelatedWork W3022837298 @default.
- W2143750435 hasRelatedWork W3144271226 @default.
- W2143750435 hasRelatedWork W3196336542 @default.
- W2143750435 isParatext "false" @default.
- W2143750435 isRetracted "false" @default.
- W2143750435 magId "2143750435" @default.
- W2143750435 workType "article" @default.