Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023163864> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2023163864 abstract "We present an algorithm for the automated verification of Linear Temporal Logic formulae on event traces using an increasingly popular cloud computing framework called MapReduce. The algorithm can process multiple, arbitrary fragments of the trace in parallel, and compute its final result through a cycle of runs of MapReduce instances. Experimentation on a variety of cloud-based MapReduce frameworks, including Apache Hadoop, show how complex LTL properties can be validated in reasonable time in a completely distributed fashion. Compared to the classical LTL evaluation algorithm, results show how the use of a MapReduce framework can provide an interesting alternative to existing trace analysis techniques, performance-wise, under favourable conditions." @default.
- W2023163864 created "2016-06-24" @default.
- W2023163864 creator A5022249773 @default.
- W2023163864 creator A5044493967 @default.
- W2023163864 date "2015-04-14" @default.
- W2023163864 modified "2023-09-22" @default.
- W2023163864 title "MapReduce for parallel trace validation of LTL properties" @default.
- W2023163864 cites W1487629853 @default.
- W2023163864 cites W1490252010 @default.
- W2023163864 cites W1510820946 @default.
- W2023163864 cites W1524646280 @default.
- W2023163864 cites W1591094652 @default.
- W2023163864 cites W1591941310 @default.
- W2023163864 cites W1593957641 @default.
- W2023163864 cites W1835623796 @default.
- W2023163864 cites W1912779191 @default.
- W2023163864 cites W1943320619 @default.
- W2023163864 cites W2005062077 @default.
- W2023163864 cites W2024753805 @default.
- W2023163864 cites W2087492381 @default.
- W2023163864 cites W2106355650 @default.
- W2023163864 cites W2120411588 @default.
- W2023163864 cites W2129008814 @default.
- W2023163864 cites W2153385696 @default.
- W2023163864 doi "https://doi.org/10.1186/s13677-015-0032-x" @default.
- W2023163864 hasPublicationYear "2015" @default.
- W2023163864 type Work @default.
- W2023163864 sameAs 2023163864 @default.
- W2023163864 citedByCount "5" @default.
- W2023163864 countsByYear W20231638642017 @default.
- W2023163864 countsByYear W20231638642019 @default.
- W2023163864 countsByYear W20231638642020 @default.
- W2023163864 crossrefType "journal-article" @default.
- W2023163864 hasAuthorship W2023163864A5022249773 @default.
- W2023163864 hasAuthorship W2023163864A5044493967 @default.
- W2023163864 hasBestOaLocation W20231638641 @default.
- W2023163864 hasConcept C111919701 @default.
- W2023163864 hasConcept C120314980 @default.
- W2023163864 hasConcept C136197465 @default.
- W2023163864 hasConcept C138885662 @default.
- W2023163864 hasConcept C154945302 @default.
- W2023163864 hasConcept C173608175 @default.
- W2023163864 hasConcept C199360897 @default.
- W2023163864 hasConcept C2989134064 @default.
- W2023163864 hasConcept C41008148 @default.
- W2023163864 hasConcept C41895202 @default.
- W2023163864 hasConcept C75291252 @default.
- W2023163864 hasConcept C79974875 @default.
- W2023163864 hasConcept C80444323 @default.
- W2023163864 hasConcept C98045186 @default.
- W2023163864 hasConceptScore W2023163864C111919701 @default.
- W2023163864 hasConceptScore W2023163864C120314980 @default.
- W2023163864 hasConceptScore W2023163864C136197465 @default.
- W2023163864 hasConceptScore W2023163864C138885662 @default.
- W2023163864 hasConceptScore W2023163864C154945302 @default.
- W2023163864 hasConceptScore W2023163864C173608175 @default.
- W2023163864 hasConceptScore W2023163864C199360897 @default.
- W2023163864 hasConceptScore W2023163864C2989134064 @default.
- W2023163864 hasConceptScore W2023163864C41008148 @default.
- W2023163864 hasConceptScore W2023163864C41895202 @default.
- W2023163864 hasConceptScore W2023163864C75291252 @default.
- W2023163864 hasConceptScore W2023163864C79974875 @default.
- W2023163864 hasConceptScore W2023163864C80444323 @default.
- W2023163864 hasConceptScore W2023163864C98045186 @default.
- W2023163864 hasLocation W20231638641 @default.
- W2023163864 hasOpenAccess W2023163864 @default.
- W2023163864 hasPrimaryLocation W20231638641 @default.
- W2023163864 hasRelatedWork W1964812659 @default.
- W2023163864 hasRelatedWork W1987932453 @default.
- W2023163864 hasRelatedWork W1993514020 @default.
- W2023163864 hasRelatedWork W2000833715 @default.
- W2023163864 hasRelatedWork W2033068052 @default.
- W2023163864 hasRelatedWork W2104727304 @default.
- W2023163864 hasRelatedWork W2105383959 @default.
- W2023163864 hasRelatedWork W2240161503 @default.
- W2023163864 hasRelatedWork W2243050385 @default.
- W2023163864 hasRelatedWork W2325645576 @default.
- W2023163864 hasRelatedWork W2483114745 @default.
- W2023163864 hasRelatedWork W2519015568 @default.
- W2023163864 hasRelatedWork W2588083655 @default.
- W2023163864 hasRelatedWork W2748186204 @default.
- W2023163864 hasRelatedWork W2755999803 @default.
- W2023163864 hasRelatedWork W2853639224 @default.
- W2023163864 hasRelatedWork W2973025594 @default.
- W2023163864 hasRelatedWork W3133966128 @default.
- W2023163864 hasRelatedWork W94492739 @default.
- W2023163864 hasRelatedWork W2230640713 @default.
- W2023163864 isParatext "false" @default.
- W2023163864 isRetracted "false" @default.
- W2023163864 magId "2023163864" @default.
- W2023163864 workType "article" @default.