Matches in SemOpenAlex for { <https://semopenalex.org/work/W4234356145> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4234356145 abstract "The technique of deterministic record and replay aims at faithfully reenacting an earlier program execution. For concurrent programs, it is one of the most important techniques for program understanding and debugging. This demo presents LEAP: an efficient technique as well as a tool prototype to deterministically replay concurrent Java programs on multi-processors without any changes to the host's environment. During execution, LEAP records the thread access orders w.r.t. each shared memory location. The same thread access orders are then enforced in the replay execution to drive the program to the same states. The replay determinism of this approach is underpinned by formal models and a replay theorem developed in this work. Compared to the related approaches, LEAP records much less information, and thus much more efficient." @default.
- W4234356145 created "2022-05-12" @default.
- W4234356145 creator A5013596682 @default.
- W4234356145 creator A5018814025 @default.
- W4234356145 creator A5052381120 @default.
- W4234356145 date "2010-11-07" @default.
- W4234356145 modified "2023-10-05" @default.
- W4234356145 title "LEAP" @default.
- W4234356145 cites W1877496576 @default.
- W4234356145 cites W2020021151 @default.
- W4234356145 cites W2055116083 @default.
- W4234356145 cites W2080869721 @default.
- W4234356145 cites W2134440791 @default.
- W4234356145 cites W3147113554 @default.
- W4234356145 cites W3147275543 @default.
- W4234356145 doi "https://doi.org/10.1145/1882291.1882361" @default.
- W4234356145 hasPublicationYear "2010" @default.
- W4234356145 type Work @default.
- W4234356145 citedByCount "14" @default.
- W4234356145 countsByYear W42343561452012 @default.
- W4234356145 countsByYear W42343561452013 @default.
- W4234356145 countsByYear W42343561452014 @default.
- W4234356145 countsByYear W42343561452015 @default.
- W4234356145 countsByYear W42343561452016 @default.
- W4234356145 countsByYear W42343561452019 @default.
- W4234356145 countsByYear W42343561452022 @default.
- W4234356145 crossrefType "proceedings-article" @default.
- W4234356145 hasAuthorship W4234356145A5013596682 @default.
- W4234356145 hasAuthorship W4234356145A5018814025 @default.
- W4234356145 hasAuthorship W4234356145A5052381120 @default.
- W4234356145 hasConcept C111919701 @default.
- W4234356145 hasConcept C138101251 @default.
- W4234356145 hasConcept C168065819 @default.
- W4234356145 hasConcept C193702766 @default.
- W4234356145 hasConcept C199360897 @default.
- W4234356145 hasConcept C2776834041 @default.
- W4234356145 hasConcept C41008148 @default.
- W4234356145 hasConcept C548217200 @default.
- W4234356145 hasConceptScore W4234356145C111919701 @default.
- W4234356145 hasConceptScore W4234356145C138101251 @default.
- W4234356145 hasConceptScore W4234356145C168065819 @default.
- W4234356145 hasConceptScore W4234356145C193702766 @default.
- W4234356145 hasConceptScore W4234356145C199360897 @default.
- W4234356145 hasConceptScore W4234356145C2776834041 @default.
- W4234356145 hasConceptScore W4234356145C41008148 @default.
- W4234356145 hasConceptScore W4234356145C548217200 @default.
- W4234356145 hasLocation W42343561451 @default.
- W4234356145 hasOpenAccess W4234356145 @default.
- W4234356145 hasPrimaryLocation W42343561451 @default.
- W4234356145 hasRelatedWork W1498982577 @default.
- W4234356145 hasRelatedWork W1587224678 @default.
- W4234356145 hasRelatedWork W1601811574 @default.
- W4234356145 hasRelatedWork W1666418873 @default.
- W4234356145 hasRelatedWork W2157152227 @default.
- W4234356145 hasRelatedWork W2765837537 @default.
- W4234356145 hasRelatedWork W2949479322 @default.
- W4234356145 hasRelatedWork W2998398829 @default.
- W4234356145 hasRelatedWork W4243860902 @default.
- W4234356145 hasRelatedWork W4297533524 @default.
- W4234356145 isParatext "false" @default.
- W4234356145 isRetracted "false" @default.
- W4234356145 workType "article" @default.