Matches in SemOpenAlex for { <https://semopenalex.org/work/W1486100501> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1486100501 abstract "Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. A naive parallelization of such algorithms is often ineffective as they have less parallelism. In this paper we present a novel parallel reachability approach that lead to a significantly faster verification on a Symmetric Multi-Processing architecture over the existing one-thread, one-CPU approaches. We identify the issues and bottlenecks in parallelizing BDD-based reachability algorithm. We show that in most cases our algorithm achieves good speedup compared to the existing sequential approaches." @default.
- W1486100501 created "2016-06-24" @default.
- W1486100501 creator A5009458897 @default.
- W1486100501 creator A5041633893 @default.
- W1486100501 creator A5052857739 @default.
- W1486100501 creator A5083173943 @default.
- W1486100501 date "2005-01-01" @default.
- W1486100501 modified "2023-09-27" @default.
- W1486100501 title "A New Reachability Algorithm for Symmetric Multi-processor Architecture" @default.
- W1486100501 cites W1483535050 @default.
- W1486100501 cites W1569305728 @default.
- W1486100501 cites W1839466040 @default.
- W1486100501 cites W1992006255 @default.
- W1486100501 cites W2008212717 @default.
- W1486100501 cites W2080267935 @default.
- W1486100501 cites W2099800340 @default.
- W1486100501 cites W2103780026 @default.
- W1486100501 cites W2171775336 @default.
- W1486100501 cites W30961909 @default.
- W1486100501 cites W3149523047 @default.
- W1486100501 cites W4213162049 @default.
- W1486100501 cites W4250225510 @default.
- W1486100501 cites W4300021588 @default.
- W1486100501 doi "https://doi.org/10.1007/11562948_5" @default.
- W1486100501 hasPublicationYear "2005" @default.
- W1486100501 type Work @default.
- W1486100501 sameAs 1486100501 @default.
- W1486100501 citedByCount "2" @default.
- W1486100501 crossrefType "book-chapter" @default.
- W1486100501 hasAuthorship W1486100501A5009458897 @default.
- W1486100501 hasAuthorship W1486100501A5041633893 @default.
- W1486100501 hasAuthorship W1486100501A5052857739 @default.
- W1486100501 hasAuthorship W1486100501A5083173943 @default.
- W1486100501 hasConcept C11413529 @default.
- W1486100501 hasConcept C120373497 @default.
- W1486100501 hasConcept C123657996 @default.
- W1486100501 hasConcept C133875982 @default.
- W1486100501 hasConcept C136643341 @default.
- W1486100501 hasConcept C138101251 @default.
- W1486100501 hasConcept C142362112 @default.
- W1486100501 hasConcept C153349607 @default.
- W1486100501 hasConcept C173608175 @default.
- W1486100501 hasConcept C199360897 @default.
- W1486100501 hasConcept C41008148 @default.
- W1486100501 hasConcept C68339613 @default.
- W1486100501 hasConceptScore W1486100501C11413529 @default.
- W1486100501 hasConceptScore W1486100501C120373497 @default.
- W1486100501 hasConceptScore W1486100501C123657996 @default.
- W1486100501 hasConceptScore W1486100501C133875982 @default.
- W1486100501 hasConceptScore W1486100501C136643341 @default.
- W1486100501 hasConceptScore W1486100501C138101251 @default.
- W1486100501 hasConceptScore W1486100501C142362112 @default.
- W1486100501 hasConceptScore W1486100501C153349607 @default.
- W1486100501 hasConceptScore W1486100501C173608175 @default.
- W1486100501 hasConceptScore W1486100501C199360897 @default.
- W1486100501 hasConceptScore W1486100501C41008148 @default.
- W1486100501 hasConceptScore W1486100501C68339613 @default.
- W1486100501 hasLocation W14861005011 @default.
- W1486100501 hasOpenAccess W1486100501 @default.
- W1486100501 hasPrimaryLocation W14861005011 @default.
- W1486100501 hasRelatedWork W1486100501 @default.
- W1486100501 hasRelatedWork W1599995366 @default.
- W1486100501 hasRelatedWork W2042088508 @default.
- W1486100501 hasRelatedWork W2122077176 @default.
- W1486100501 hasRelatedWork W2368796975 @default.
- W1486100501 hasRelatedWork W2748952813 @default.
- W1486100501 hasRelatedWork W3006118393 @default.
- W1486100501 hasRelatedWork W3026940864 @default.
- W1486100501 hasRelatedWork W3161430837 @default.
- W1486100501 hasRelatedWork W381935118 @default.
- W1486100501 isParatext "false" @default.
- W1486100501 isRetracted "false" @default.
- W1486100501 magId "1486100501" @default.
- W1486100501 workType "book-chapter" @default.