Matches in SemOpenAlex for { <https://semopenalex.org/work/W2037796013> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2037796013 abstract "In the design of dependable software for real-time and embedded systems, the quantitative analysis of program behavior and system performance is a crucial but extremely difficult issue, the challenge of which is exacerbated due to the random city and nondeterminism of interrupt events and the corresponding handling behaviors. Moreover, time analysis is also need to be taken into account for such kinds of systems. Thus the research on a theory which integrates interrupt behaviors and time analysis seems to be important and challenging. In this paper, we propose an interrupt modeling language pIML including the probabilistic feature to describe the programs with interrupts. We explore a probabilistic operational semantics to depict the actions of pIML. Meanwhile, we also implement this operational semantics we proposed on Maude platform, which fill the gap between the theory and practice. Maude supports rewriting logic, equational logic, and etc. The rewrite rules of rewriting logic can very well implement the transition rules of probabilistic operational semantics. Based on this implementation, it is very convenient to simulate the program written in pIML and analyze the behaviors of program in the presence of interrupts quantitatively." @default.
- W2037796013 created "2016-06-24" @default.
- W2037796013 creator A5009230257 @default.
- W2037796013 creator A5036792191 @default.
- W2037796013 creator A5048551616 @default.
- W2037796013 creator A5060680512 @default.
- W2037796013 creator A5062011819 @default.
- W2037796013 creator A5070654146 @default.
- W2037796013 date "2014-12-01" @default.
- W2037796013 modified "2023-09-27" @default.
- W2037796013 title "pIML -- An Interrupt Program Modelling Language for Real-Time and Embedded Systems" @default.
- W2037796013 cites W197556432 @default.
- W2037796013 cites W1981466053 @default.
- W2037796013 cites W2044716668 @default.
- W2037796013 cites W2052867443 @default.
- W2037796013 cites W2059675458 @default.
- W2037796013 cites W2080957994 @default.
- W2037796013 cites W2113418493 @default.
- W2037796013 cites W2134287022 @default.
- W2037796013 cites W2137250214 @default.
- W2037796013 cites W2167755310 @default.
- W2037796013 cites W2226594342 @default.
- W2037796013 cites W2396641696 @default.
- W2037796013 cites W2405886123 @default.
- W2037796013 cites W2949268935 @default.
- W2037796013 cites W3144368627 @default.
- W2037796013 doi "https://doi.org/10.1109/apsec.2014.21" @default.
- W2037796013 hasPublicationYear "2014" @default.
- W2037796013 type Work @default.
- W2037796013 sameAs 2037796013 @default.
- W2037796013 citedByCount "1" @default.
- W2037796013 countsByYear W20377960132015 @default.
- W2037796013 crossrefType "proceedings-article" @default.
- W2037796013 hasAuthorship W2037796013A5009230257 @default.
- W2037796013 hasAuthorship W2037796013A5036792191 @default.
- W2037796013 hasAuthorship W2037796013A5048551616 @default.
- W2037796013 hasAuthorship W2037796013A5060680512 @default.
- W2037796013 hasAuthorship W2037796013A5062011819 @default.
- W2037796013 hasAuthorship W2037796013A5070654146 @default.
- W2037796013 hasConcept C149635348 @default.
- W2037796013 hasConcept C154690210 @default.
- W2037796013 hasConcept C154945302 @default.
- W2037796013 hasConcept C156325763 @default.
- W2037796013 hasConcept C173018170 @default.
- W2037796013 hasConcept C184337299 @default.
- W2037796013 hasConcept C199360897 @default.
- W2037796013 hasConcept C41008148 @default.
- W2037796013 hasConcept C41661131 @default.
- W2037796013 hasConcept C49937458 @default.
- W2037796013 hasConcept C80444323 @default.
- W2037796013 hasConcept C98183937 @default.
- W2037796013 hasConceptScore W2037796013C149635348 @default.
- W2037796013 hasConceptScore W2037796013C154690210 @default.
- W2037796013 hasConceptScore W2037796013C154945302 @default.
- W2037796013 hasConceptScore W2037796013C156325763 @default.
- W2037796013 hasConceptScore W2037796013C173018170 @default.
- W2037796013 hasConceptScore W2037796013C184337299 @default.
- W2037796013 hasConceptScore W2037796013C199360897 @default.
- W2037796013 hasConceptScore W2037796013C41008148 @default.
- W2037796013 hasConceptScore W2037796013C41661131 @default.
- W2037796013 hasConceptScore W2037796013C49937458 @default.
- W2037796013 hasConceptScore W2037796013C80444323 @default.
- W2037796013 hasConceptScore W2037796013C98183937 @default.
- W2037796013 hasLocation W20377960131 @default.
- W2037796013 hasOpenAccess W2037796013 @default.
- W2037796013 hasPrimaryLocation W20377960131 @default.
- W2037796013 hasRelatedWork W1492571724 @default.
- W2037796013 hasRelatedWork W1515870595 @default.
- W2037796013 hasRelatedWork W1874247119 @default.
- W2037796013 hasRelatedWork W1939992554 @default.
- W2037796013 hasRelatedWork W1963621916 @default.
- W2037796013 hasRelatedWork W2003352869 @default.
- W2037796013 hasRelatedWork W2055187133 @default.
- W2037796013 hasRelatedWork W2068707390 @default.
- W2037796013 hasRelatedWork W2086005798 @default.
- W2037796013 hasRelatedWork W2102096698 @default.
- W2037796013 hasRelatedWork W2129292921 @default.
- W2037796013 hasRelatedWork W2132692320 @default.
- W2037796013 hasRelatedWork W2139481426 @default.
- W2037796013 hasRelatedWork W2150380013 @default.
- W2037796013 hasRelatedWork W2167978186 @default.
- W2037796013 hasRelatedWork W2181453829 @default.
- W2037796013 hasRelatedWork W25877563 @default.
- W2037796013 hasRelatedWork W2612188151 @default.
- W2037796013 hasRelatedWork W587576067 @default.
- W2037796013 hasRelatedWork W2808442713 @default.
- W2037796013 isParatext "false" @default.
- W2037796013 isRetracted "false" @default.
- W2037796013 magId "2037796013" @default.
- W2037796013 workType "article" @default.