Matches in SemOpenAlex for { <https://semopenalex.org/work/W2762223164> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W2762223164 abstract "We describe the process of calculating the execution time profile (ETP) in order to determine the probabilistic worst case execution time (WCET) using a model-based approach. By hierarchical state machines with probabilistic transitions and costs/reward specifications, we model the instructions with probabilistic execution time. From the model, our tool, pState, generates input code for a probabilistic model checker on which properties can be analysed." @default.
- W2762223164 created "2017-10-20" @default.
- W2762223164 creator A5040143379 @default.
- W2762223164 creator A5085750649 @default.
- W2762223164 date "2017-10-15" @default.
- W2762223164 modified "2023-09-23" @default.
- W2762223164 title "Modelling probabilistic timing analysis" @default.
- W2762223164 cites W2108056055 @default.
- W2762223164 cites W2144979769 @default.
- W2762223164 doi "https://doi.org/10.1145/3125503.3125566" @default.
- W2762223164 hasPublicationYear "2017" @default.
- W2762223164 type Work @default.
- W2762223164 sameAs 2762223164 @default.
- W2762223164 citedByCount "0" @default.
- W2762223164 crossrefType "proceedings-article" @default.
- W2762223164 hasAuthorship W2762223164A5040143379 @default.
- W2762223164 hasAuthorship W2762223164A5085750649 @default.
- W2762223164 hasConcept C149635348 @default.
- W2762223164 hasConcept C154945302 @default.
- W2762223164 hasConcept C24404364 @default.
- W2762223164 hasConcept C41008148 @default.
- W2762223164 hasConcept C49937458 @default.
- W2762223164 hasConcept C93682380 @default.
- W2762223164 hasConceptScore W2762223164C149635348 @default.
- W2762223164 hasConceptScore W2762223164C154945302 @default.
- W2762223164 hasConceptScore W2762223164C24404364 @default.
- W2762223164 hasConceptScore W2762223164C41008148 @default.
- W2762223164 hasConceptScore W2762223164C49937458 @default.
- W2762223164 hasConceptScore W2762223164C93682380 @default.
- W2762223164 hasLocation W27622231641 @default.
- W2762223164 hasOpenAccess W2762223164 @default.
- W2762223164 hasPrimaryLocation W27622231641 @default.
- W2762223164 hasRelatedWork W2003192087 @default.
- W2762223164 hasRelatedWork W2073254301 @default.
- W2762223164 hasRelatedWork W2076385713 @default.
- W2762223164 hasRelatedWork W2108748002 @default.
- W2762223164 hasRelatedWork W2151357367 @default.
- W2762223164 hasRelatedWork W2313771674 @default.
- W2762223164 hasRelatedWork W2756860035 @default.
- W2762223164 hasRelatedWork W2980934858 @default.
- W2762223164 hasRelatedWork W4253814782 @default.
- W2762223164 hasRelatedWork W71757722 @default.
- W2762223164 isParatext "false" @default.
- W2762223164 isRetracted "false" @default.
- W2762223164 magId "2762223164" @default.
- W2762223164 workType "article" @default.