FRINK Linked Data Fragments server

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

• W2070069063 abstract "Hadoop is a popular open source implementation of MapReduce, that has a number of prominent users including Yahoo!, Facebook, and Twitter. Though several works have focused on deploying algorithms on Hadoop MapReduce, research efforts into applying formal methods to prove the correctness of hadoop systems are limited. In this paper we propose a holistic approach to verify the correctness of hadoop systems using model checking techniques. We model Hadoop's parallel architecture to constraint it to valid start up ordering and identify and prove the benefits of data locality, deadlock-freeness and non-termination among others." @default.
• W2070069063 created "2016-06-24" @default.
• W2070069063 creator A5004281351 @default.
• W2070069063 creator A5049481193 @default.
• W2070069063 creator A5068911982 @default.
• W2070069063 creator A5085067496 @default.
• W2070069063 creator A5087137735 @default.
• W2070069063 creator A5091085038 @default.
• W2070069063 date "2013-06-01" @default.
• W2070069063 modified "2023-09-26" @default.
• W2070069063 title "Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop" @default.
• W2070069063 cites W1984085452 @default.
• W2070069063 cites W2051184801 @default.
• W2070069063 cites W2058414872 @default.
• W2070069063 cites W205911847 @default.
• W2070069063 cites W2119738171 @default.
• W2070069063 cites W2125087468 @default.
• W2070069063 cites W2129901874 @default.
• W2070069063 cites W52405907 @default.
• W2070069063 doi "https://doi.org/10.1109/services.2013.47" @default.
• W2070069063 hasPublicationYear "2013" @default.
• W2070069063 type Work @default.
• W2070069063 sameAs 2070069063 @default.
• W2070069063 citedByCount "12" @default.
• W2070069063 countsByYear W20700690632015 @default.
• W2070069063 countsByYear W20700690632016 @default.
• W2070069063 countsByYear W20700690632017 @default.
• W2070069063 countsByYear W20700690632018 @default.
• W2070069063 countsByYear W20700690632019 @default.
• W2070069063 countsByYear W20700690632021 @default.
• W2070069063 crossrefType "proceedings-article" @default.
• W2070069063 hasAuthorship W2070069063A5004281351 @default.
• W2070069063 hasAuthorship W2070069063A5049481193 @default.
• W2070069063 hasAuthorship W2070069063A5068911982 @default.
• W2070069063 hasAuthorship W2070069063A5085067496 @default.
• W2070069063 hasAuthorship W2070069063A5087137735 @default.
• W2070069063 hasAuthorship W2070069063A5091085038 @default.
• W2070069063 hasConcept C110251889 @default.
• W2070069063 hasConcept C111919701 @default.
• W2070069063 hasConcept C120314980 @default.
• W2070069063 hasConcept C123657996 @default.
• W2070069063 hasConcept C127413603 @default.
• W2070069063 hasConcept C138885662 @default.
• W2070069063 hasConcept C142362112 @default.
• W2070069063 hasConcept C153349607 @default.
• W2070069063 hasConcept C159023740 @default.
• W2070069063 hasConcept C173608175 @default.
• W2070069063 hasConcept C187691185 @default.
• W2070069063 hasConcept C199360897 @default.
• W2070069063 hasConcept C2524010 @default.
• W2070069063 hasConcept C2776036281 @default.
• W2070069063 hasConcept C2779808786 @default.
• W2070069063 hasConcept C33923547 @default.
• W2070069063 hasConcept C41008148 @default.
• W2070069063 hasConcept C41895202 @default.
• W2070069063 hasConcept C55439883 @default.
• W2070069063 hasConcept C70429105 @default.
• W2070069063 hasConcept C76831024 @default.
• W2070069063 hasConcept C78519656 @default.
• W2070069063 hasConcept C79974875 @default.
• W2070069063 hasConcept C80444323 @default.
• W2070069063 hasConceptScore W2070069063C110251889 @default.
• W2070069063 hasConceptScore W2070069063C111919701 @default.
• W2070069063 hasConceptScore W2070069063C120314980 @default.
• W2070069063 hasConceptScore W2070069063C123657996 @default.
• W2070069063 hasConceptScore W2070069063C127413603 @default.
• W2070069063 hasConceptScore W2070069063C138885662 @default.
• W2070069063 hasConceptScore W2070069063C142362112 @default.
• W2070069063 hasConceptScore W2070069063C153349607 @default.
• W2070069063 hasConceptScore W2070069063C159023740 @default.
• W2070069063 hasConceptScore W2070069063C173608175 @default.
• W2070069063 hasConceptScore W2070069063C187691185 @default.
• W2070069063 hasConceptScore W2070069063C199360897 @default.
• W2070069063 hasConceptScore W2070069063C2524010 @default.
• W2070069063 hasConceptScore W2070069063C2776036281 @default.
• W2070069063 hasConceptScore W2070069063C2779808786 @default.
• W2070069063 hasConceptScore W2070069063C33923547 @default.
• W2070069063 hasConceptScore W2070069063C41008148 @default.
• W2070069063 hasConceptScore W2070069063C41895202 @default.
• W2070069063 hasConceptScore W2070069063C55439883 @default.
• W2070069063 hasConceptScore W2070069063C70429105 @default.
• W2070069063 hasConceptScore W2070069063C76831024 @default.
• W2070069063 hasConceptScore W2070069063C78519656 @default.
• W2070069063 hasConceptScore W2070069063C79974875 @default.
• W2070069063 hasConceptScore W2070069063C80444323 @default.
• W2070069063 hasLocation W20700690631 @default.
• W2070069063 hasOpenAccess W2070069063 @default.
• W2070069063 hasPrimaryLocation W20700690631 @default.
• W2070069063 hasRelatedWork W1509211761 @default.
• W2070069063 hasRelatedWork W1589529336 @default.
• W2070069063 hasRelatedWork W1602738466 @default.
• W2070069063 hasRelatedWork W1992448298 @default.
• W2070069063 hasRelatedWork W2134424614 @default.
• W2070069063 hasRelatedWork W2372170743 @default.
• W2070069063 hasRelatedWork W2519373338 @default.
• W2070069063 hasRelatedWork W2582456645 @default.
• W2070069063 hasRelatedWork W2970121907 @default.
• W2070069063 hasRelatedWork W4294734199 @default.
• W2070069063 isParatext "false" @default.
• W2070069063 isRetracted "false" @default.

• next