Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129008814> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2129008814 abstract "Runtime verification is a monitoring technique to gain assurance about well-being of a program at run time. Most existing approaches use sequential monitors; i.e., when the state of the program with respect to an event of interest changes, the monitor interrupts the program execution, evaluates a set of logical properties, and finally resumes the program execution. In this paper, we propose a GPU-based method for design and implementation of monitors that enjoy two levels of parallelism: the monitor (1) works along with the program in parallel, and (2) evaluates a set of properties in a parallel fashion as well. Our parallel monitoring algorithms effectively exploit the many-core platform available in the GPU. In addition to parallel processing, our approach benefits from a true separation of monitoring and functional concerns, as it isolates the monitor in the GPU. Our method is fully implemented and experimental results show significant reduction in monitoring overhead, monitoring interference, and power consumption due to leveraging the GPU technology." @default.
- W2129008814 created "2016-06-24" @default.
- W2129008814 creator A5004216052 @default.
- W2129008814 creator A5008486466 @default.
- W2129008814 creator A5044692194 @default.
- W2129008814 date "2013-05-01" @default.
- W2129008814 modified "2023-09-26" @default.
- W2129008814 title "GPU-based Runtime Verification" @default.
- W2129008814 cites W1525776788 @default.
- W2129008814 cites W1593942753 @default.
- W2129008814 cites W1597173694 @default.
- W2129008814 cites W1761635979 @default.
- W2129008814 cites W1863629953 @default.
- W2129008814 cites W1996832037 @default.
- W2129008814 cites W2027769154 @default.
- W2129008814 cites W2111894887 @default.
- W2129008814 cites W2113335827 @default.
- W2129008814 cites W2114768982 @default.
- W2129008814 cites W2115725211 @default.
- W2129008814 cites W2122633938 @default.
- W2129008814 cites W2128195938 @default.
- W2129008814 cites W2160146193 @default.
- W2129008814 cites W39084266 @default.
- W2129008814 cites W4232090211 @default.
- W2129008814 doi "https://doi.org/10.1109/ipdps.2013.105" @default.
- W2129008814 hasPublicationYear "2013" @default.
- W2129008814 type Work @default.
- W2129008814 sameAs 2129008814 @default.
- W2129008814 citedByCount "16" @default.
- W2129008814 countsByYear W21290088142014 @default.
- W2129008814 countsByYear W21290088142015 @default.
- W2129008814 countsByYear W21290088142016 @default.
- W2129008814 countsByYear W21290088142018 @default.
- W2129008814 countsByYear W21290088142020 @default.
- W2129008814 countsByYear W21290088142021 @default.
- W2129008814 countsByYear W21290088142022 @default.
- W2129008814 countsByYear W21290088142023 @default.
- W2129008814 crossrefType "proceedings-article" @default.
- W2129008814 hasAuthorship W2129008814A5004216052 @default.
- W2129008814 hasAuthorship W2129008814A5008486466 @default.
- W2129008814 hasAuthorship W2129008814A5044692194 @default.
- W2129008814 hasConcept C111335779 @default.
- W2129008814 hasConcept C111498074 @default.
- W2129008814 hasConcept C111919701 @default.
- W2129008814 hasConcept C149635348 @default.
- W2129008814 hasConcept C165696696 @default.
- W2129008814 hasConcept C173608175 @default.
- W2129008814 hasConcept C177264268 @default.
- W2129008814 hasConcept C199360897 @default.
- W2129008814 hasConcept C202491316 @default.
- W2129008814 hasConcept C202973057 @default.
- W2129008814 hasConcept C2524010 @default.
- W2129008814 hasConcept C2779960059 @default.
- W2129008814 hasConcept C33923547 @default.
- W2129008814 hasConcept C38652104 @default.
- W2129008814 hasConcept C41008148 @default.
- W2129008814 hasConcept C78766204 @default.
- W2129008814 hasConceptScore W2129008814C111335779 @default.
- W2129008814 hasConceptScore W2129008814C111498074 @default.
- W2129008814 hasConceptScore W2129008814C111919701 @default.
- W2129008814 hasConceptScore W2129008814C149635348 @default.
- W2129008814 hasConceptScore W2129008814C165696696 @default.
- W2129008814 hasConceptScore W2129008814C173608175 @default.
- W2129008814 hasConceptScore W2129008814C177264268 @default.
- W2129008814 hasConceptScore W2129008814C199360897 @default.
- W2129008814 hasConceptScore W2129008814C202491316 @default.
- W2129008814 hasConceptScore W2129008814C202973057 @default.
- W2129008814 hasConceptScore W2129008814C2524010 @default.
- W2129008814 hasConceptScore W2129008814C2779960059 @default.
- W2129008814 hasConceptScore W2129008814C33923547 @default.
- W2129008814 hasConceptScore W2129008814C38652104 @default.
- W2129008814 hasConceptScore W2129008814C41008148 @default.
- W2129008814 hasConceptScore W2129008814C78766204 @default.
- W2129008814 hasLocation W21290088141 @default.
- W2129008814 hasOpenAccess W2129008814 @default.
- W2129008814 hasPrimaryLocation W21290088141 @default.
- W2129008814 hasRelatedWork W1534022569 @default.
- W2129008814 hasRelatedWork W1595151633 @default.
- W2129008814 hasRelatedWork W2117500226 @default.
- W2129008814 hasRelatedWork W2161462353 @default.
- W2129008814 hasRelatedWork W2378666660 @default.
- W2129008814 hasRelatedWork W2488897859 @default.
- W2129008814 hasRelatedWork W2593142409 @default.
- W2129008814 hasRelatedWork W2980373281 @default.
- W2129008814 hasRelatedWork W3013354610 @default.
- W2129008814 hasRelatedWork W93419836 @default.
- W2129008814 isParatext "false" @default.
- W2129008814 isRetracted "false" @default.
- W2129008814 magId "2129008814" @default.
- W2129008814 workType "article" @default.