Matches in SemOpenAlex for { <https://semopenalex.org/work/W3204948602> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W3204948602 abstract "Correctness is an important concern during the development of real-time systems. In addition to the functional correctness, the timing behavior is often formally verified in order to ensure that correct results are delivered in-time for all possible execution conditions. The timing behavior of real-time software is thus often validated through a rigorous timing analysis that aims at determining the worst-case execution time.Timing anomalies present a major obstacle during the validation of timing properties on modern computer platforms. Out-of-order execution and concurrent accesses to shared resources may sometimes lead to – at first sight – surprising timing behavior. Several (semi-)formal definitions have been proposed in the literature in order to capture such situations. However, as we present in this work, none of the existing definitions appears to be precise enough to be systematically used for detecting timing anomalies in modern processors with out-of-order execution." @default.
- W3204948602 created "2021-10-11" @default.
- W3204948602 creator A5009450149 @default.
- W3204948602 creator A5070726921 @default.
- W3204948602 creator A5078263499 @default.
- W3204948602 creator A5089849259 @default.
- W3204948602 creator A5017439388 @default.
- W3204948602 date "2021-08-01" @default.
- W3204948602 modified "2023-10-18" @default.
- W3204948602 title "Is This Still Normal? Putting Definitions of Timing Anomalies to the Test" @default.
- W3204948602 cites W1499210710 @default.
- W3204948602 cites W2064639033 @default.
- W3204948602 cites W2076285066 @default.
- W3204948602 cites W2112533211 @default.
- W3204948602 cites W2116078117 @default.
- W3204948602 cites W2151372866 @default.
- W3204948602 cites W2170585292 @default.
- W3204948602 cites W2294539089 @default.
- W3204948602 cites W2509925782 @default.
- W3204948602 cites W2533201647 @default.
- W3204948602 cites W2910249995 @default.
- W3204948602 cites W2913716837 @default.
- W3204948602 cites W3013903002 @default.
- W3204948602 cites W3082094160 @default.
- W3204948602 doi "https://doi.org/10.1109/rtcsa52859.2021.00024" @default.
- W3204948602 hasPublicationYear "2021" @default.
- W3204948602 type Work @default.
- W3204948602 sameAs 3204948602 @default.
- W3204948602 citedByCount "1" @default.
- W3204948602 countsByYear W32049486022022 @default.
- W3204948602 crossrefType "proceedings-article" @default.
- W3204948602 hasAuthorship W3204948602A5009450149 @default.
- W3204948602 hasAuthorship W3204948602A5017439388 @default.
- W3204948602 hasAuthorship W3204948602A5070726921 @default.
- W3204948602 hasAuthorship W3204948602A5078263499 @default.
- W3204948602 hasAuthorship W3204948602A5089849259 @default.
- W3204948602 hasConcept C120314980 @default.
- W3204948602 hasConcept C149635348 @default.
- W3204948602 hasConcept C17744445 @default.
- W3204948602 hasConcept C199360897 @default.
- W3204948602 hasConcept C199539241 @default.
- W3204948602 hasConcept C2776650193 @default.
- W3204948602 hasConcept C2989134064 @default.
- W3204948602 hasConcept C41008148 @default.
- W3204948602 hasConcept C55439883 @default.
- W3204948602 hasConcept C79403827 @default.
- W3204948602 hasConcept C93682380 @default.
- W3204948602 hasConceptScore W3204948602C120314980 @default.
- W3204948602 hasConceptScore W3204948602C149635348 @default.
- W3204948602 hasConceptScore W3204948602C17744445 @default.
- W3204948602 hasConceptScore W3204948602C199360897 @default.
- W3204948602 hasConceptScore W3204948602C199539241 @default.
- W3204948602 hasConceptScore W3204948602C2776650193 @default.
- W3204948602 hasConceptScore W3204948602C2989134064 @default.
- W3204948602 hasConceptScore W3204948602C41008148 @default.
- W3204948602 hasConceptScore W3204948602C55439883 @default.
- W3204948602 hasConceptScore W3204948602C79403827 @default.
- W3204948602 hasConceptScore W3204948602C93682380 @default.
- W3204948602 hasLocation W32049486021 @default.
- W3204948602 hasLocation W32049486022 @default.
- W3204948602 hasOpenAccess W3204948602 @default.
- W3204948602 hasPrimaryLocation W32049486021 @default.
- W3204948602 hasRelatedWork W1498391134 @default.
- W3204948602 hasRelatedWork W1547140629 @default.
- W3204948602 hasRelatedWork W2143442623 @default.
- W3204948602 hasRelatedWork W2161624780 @default.
- W3204948602 hasRelatedWork W2169244823 @default.
- W3204948602 hasRelatedWork W2361454369 @default.
- W3204948602 hasRelatedWork W2388143035 @default.
- W3204948602 hasRelatedWork W2393506321 @default.
- W3204948602 hasRelatedWork W3204948602 @default.
- W3204948602 hasRelatedWork W939370856 @default.
- W3204948602 isParatext "false" @default.
- W3204948602 isRetracted "false" @default.
- W3204948602 magId "3204948602" @default.
- W3204948602 workType "article" @default.