Matches in SemOpenAlex for { <https://semopenalex.org/work/W73283534> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W73283534 abstract "In this paper we report on a successful extension to the CSP refinement checker FDR3 that permits it to run on clusters of machines. We demonstrate that it is able to scale linearly up to clusters of 64 16-core machines (i.e. 1024 cores), achieving an overall speed-up of over 1000 relative to the sequential case. Further, this speed-up was observed both on dedicated supercomputer facilities, but more notably, also on a commodity cloud computing provider. This enhancement has enabled us to verify a system of 10 12 states, which we believe to be the largest refinement check ever attempted by several orders of magnitude." @default.
- W73283534 created "2016-06-24" @default.
- W73283534 creator A5012851566 @default.
- W73283534 creator A5045639409 @default.
- W73283534 date "2014-01-01" @default.
- W73283534 modified "2023-09-28" @default.
- W73283534 title "FDR into The Cloud" @default.
- W73283534 cites W1535836754 @default.
- W73283534 cites W1629693692 @default.
- W73283534 cites W1882160752 @default.
- W73283534 cites W1967535316 @default.
- W73283534 cites W1975483972 @default.
- W73283534 cites W2128510433 @default.
- W73283534 cites W2129384397 @default.
- W73283534 cites W2135048208 @default.
- W73283534 cites W2150534805 @default.
- W73283534 cites W2158209170 @default.
- W73283534 cites W2175137100 @default.
- W73283534 cites W3144368627 @default.
- W73283534 cites W61606928 @default.
- W73283534 cites W91876324 @default.
- W73283534 cites W2489788299 @default.
- W73283534 hasPublicationYear "2014" @default.
- W73283534 type Work @default.
- W73283534 sameAs 73283534 @default.
- W73283534 citedByCount "2" @default.
- W73283534 countsByYear W732835342014 @default.
- W73283534 countsByYear W732835342016 @default.
- W73283534 crossrefType "journal-article" @default.
- W73283534 hasAuthorship W73283534A5012851566 @default.
- W73283534 hasAuthorship W73283534A5045639409 @default.
- W73283534 hasConcept C111919701 @default.
- W73283534 hasConcept C121332964 @default.
- W73283534 hasConcept C162324750 @default.
- W73283534 hasConcept C173608175 @default.
- W73283534 hasConcept C199360897 @default.
- W73283534 hasConcept C2778029271 @default.
- W73283534 hasConcept C2778755073 @default.
- W73283534 hasConcept C2779439359 @default.
- W73283534 hasConcept C34447519 @default.
- W73283534 hasConcept C41008148 @default.
- W73283534 hasConcept C62520636 @default.
- W73283534 hasConcept C79974875 @default.
- W73283534 hasConcept C83283714 @default.
- W73283534 hasConceptScore W73283534C111919701 @default.
- W73283534 hasConceptScore W73283534C121332964 @default.
- W73283534 hasConceptScore W73283534C162324750 @default.
- W73283534 hasConceptScore W73283534C173608175 @default.
- W73283534 hasConceptScore W73283534C199360897 @default.
- W73283534 hasConceptScore W73283534C2778029271 @default.
- W73283534 hasConceptScore W73283534C2778755073 @default.
- W73283534 hasConceptScore W73283534C2779439359 @default.
- W73283534 hasConceptScore W73283534C34447519 @default.
- W73283534 hasConceptScore W73283534C41008148 @default.
- W73283534 hasConceptScore W73283534C62520636 @default.
- W73283534 hasConceptScore W73283534C79974875 @default.
- W73283534 hasConceptScore W73283534C83283714 @default.
- W73283534 hasLocation W732835341 @default.
- W73283534 hasOpenAccess W73283534 @default.
- W73283534 hasPrimaryLocation W732835341 @default.
- W73283534 hasRelatedWork W118107968 @default.
- W73283534 hasRelatedWork W1509593372 @default.
- W73283534 hasRelatedWork W203992939 @default.
- W73283534 hasRelatedWork W2128510433 @default.
- W73283534 hasRelatedWork W2129384397 @default.
- W73283534 hasRelatedWork W2274304637 @default.
- W73283534 hasRelatedWork W2531774641 @default.
- W73283534 hasRelatedWork W2604856537 @default.
- W73283534 hasRelatedWork W2614581251 @default.
- W73283534 hasRelatedWork W2742149362 @default.
- W73283534 hasRelatedWork W2885606366 @default.
- W73283534 hasRelatedWork W2949495319 @default.
- W73283534 hasRelatedWork W2963717115 @default.
- W73283534 hasRelatedWork W2967081197 @default.
- W73283534 hasRelatedWork W2999938098 @default.
- W73283534 hasRelatedWork W3024707067 @default.
- W73283534 hasRelatedWork W3174413148 @default.
- W73283534 hasRelatedWork W3196350473 @default.
- W73283534 hasRelatedWork W1571969677 @default.
- W73283534 hasRelatedWork W777954702 @default.
- W73283534 isParatext "false" @default.
- W73283534 isRetracted "false" @default.
- W73283534 magId "73283534" @default.
- W73283534 workType "article" @default.