Matches in SemOpenAlex for { <https://semopenalex.org/work/W2780908116> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2780908116 abstract "Software analysis is becoming increasingly important as a way of software quality assurance. Most works in this area focus their attention on a single machine scenario, when the analysis is run and implemented on a single processing node, as it seems to be a good fit for the current software development methodologies. We argue that in some cases it is reasonable to employ high performance computing (HPC) to do software analysis, if the performance impact is worth the increase in computational requirements. In this paper we present our experience with the implementation of a HPC version of the bounded model checker Borealis, major problems we encountered together with their solutions, and the evaluation results on a number of different real-world projects." @default.
- W2780908116 created "2018-01-05" @default.
- W2780908116 creator A5013006710 @default.
- W2780908116 creator A5014911872 @default.
- W2780908116 creator A5089762240 @default.
- W2780908116 date "2017-12-30" @default.
- W2780908116 modified "2023-09-27" @default.
- W2780908116 title "Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer" @default.
- W2780908116 cites W1503466301 @default.
- W2780908116 cites W1596931967 @default.
- W2780908116 cites W1787074469 @default.
- W2780908116 cites W1989657183 @default.
- W2780908116 cites W2000509528 @default.
- W2780908116 cites W2020765652 @default.
- W2780908116 cites W2048448717 @default.
- W2780908116 cites W2087202435 @default.
- W2780908116 cites W2139668965 @default.
- W2780908116 cites W2766065314 @default.
- W2780908116 cites W4246166885 @default.
- W2780908116 cites W777621473 @default.
- W2780908116 doi "https://doi.org/10.1007/978-3-319-71734-0_1" @default.
- W2780908116 hasPublicationYear "2017" @default.
- W2780908116 type Work @default.
- W2780908116 sameAs 2780908116 @default.
- W2780908116 citedByCount "1" @default.
- W2780908116 countsByYear W27809081162020 @default.
- W2780908116 crossrefType "book-chapter" @default.
- W2780908116 hasAuthorship W2780908116A5013006710 @default.
- W2780908116 hasAuthorship W2780908116A5014911872 @default.
- W2780908116 hasAuthorship W2780908116A5089762240 @default.
- W2780908116 hasConcept C111368507 @default.
- W2780908116 hasConcept C111919701 @default.
- W2780908116 hasConcept C115903868 @default.
- W2780908116 hasConcept C117447612 @default.
- W2780908116 hasConcept C120314980 @default.
- W2780908116 hasConcept C120665830 @default.
- W2780908116 hasConcept C121332964 @default.
- W2780908116 hasConcept C127313418 @default.
- W2780908116 hasConcept C127413603 @default.
- W2780908116 hasConcept C190930322 @default.
- W2780908116 hasConcept C192209626 @default.
- W2780908116 hasConcept C2776969324 @default.
- W2780908116 hasConcept C2777904410 @default.
- W2780908116 hasConcept C41008148 @default.
- W2780908116 hasConcept C529173508 @default.
- W2780908116 hasConcept C62611344 @default.
- W2780908116 hasConcept C66938386 @default.
- W2780908116 hasConcept C83283714 @default.
- W2780908116 hasConceptScore W2780908116C111368507 @default.
- W2780908116 hasConceptScore W2780908116C111919701 @default.
- W2780908116 hasConceptScore W2780908116C115903868 @default.
- W2780908116 hasConceptScore W2780908116C117447612 @default.
- W2780908116 hasConceptScore W2780908116C120314980 @default.
- W2780908116 hasConceptScore W2780908116C120665830 @default.
- W2780908116 hasConceptScore W2780908116C121332964 @default.
- W2780908116 hasConceptScore W2780908116C127313418 @default.
- W2780908116 hasConceptScore W2780908116C127413603 @default.
- W2780908116 hasConceptScore W2780908116C190930322 @default.
- W2780908116 hasConceptScore W2780908116C192209626 @default.
- W2780908116 hasConceptScore W2780908116C2776969324 @default.
- W2780908116 hasConceptScore W2780908116C2777904410 @default.
- W2780908116 hasConceptScore W2780908116C41008148 @default.
- W2780908116 hasConceptScore W2780908116C529173508 @default.
- W2780908116 hasConceptScore W2780908116C62611344 @default.
- W2780908116 hasConceptScore W2780908116C66938386 @default.
- W2780908116 hasConceptScore W2780908116C83283714 @default.
- W2780908116 hasLocation W27809081161 @default.
- W2780908116 hasOpenAccess W2780908116 @default.
- W2780908116 hasPrimaryLocation W27809081161 @default.
- W2780908116 hasRelatedWork W2014041550 @default.
- W2780908116 hasRelatedWork W2054192907 @default.
- W2780908116 hasRelatedWork W2140406004 @default.
- W2780908116 hasRelatedWork W2276964265 @default.
- W2780908116 hasRelatedWork W2294601065 @default.
- W2780908116 hasRelatedWork W2334096956 @default.
- W2780908116 hasRelatedWork W2519604594 @default.
- W2780908116 hasRelatedWork W2559872089 @default.
- W2780908116 hasRelatedWork W269264491 @default.
- W2780908116 hasRelatedWork W2766587212 @default.
- W2780908116 hasRelatedWork W2921555291 @default.
- W2780908116 hasRelatedWork W2922018794 @default.
- W2780908116 hasRelatedWork W2950569028 @default.
- W2780908116 hasRelatedWork W2989980710 @default.
- W2780908116 hasRelatedWork W3091775554 @default.
- W2780908116 hasRelatedWork W3104673016 @default.
- W2780908116 hasRelatedWork W3105964182 @default.
- W2780908116 hasRelatedWork W3134136452 @default.
- W2780908116 hasRelatedWork W3155890804 @default.
- W2780908116 hasRelatedWork W3213020641 @default.
- W2780908116 isParatext "false" @default.
- W2780908116 isRetracted "false" @default.
- W2780908116 magId "2780908116" @default.
- W2780908116 workType "book-chapter" @default.