Matches in SemOpenAlex for { <https://semopenalex.org/work/W2134047138> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2134047138 abstract "The context of this work is related to embedded hard real-time systems development, more specifically, in the software generation phase. Embedded software has become much harder to design caused by the diversity of requirements and high complexity. Correctness and timeliness verification is an issue to be concerned. Usually, complex embedded real-time systems rely on specialized operating system kernels. However, operating systems may introduce significant overheads in execution time as well as in memory requirement. Software synthesis might be an alternative approach to operating systems usage, since it can generate tailored code for satisfying functional, performance, and resource constraints, and automatically generate runtime support (scheduling, resource management, communication, etc.) customized for each particular specification. However, the dispatcher and timer interrupt handler overheads are often neglect in software synthesis research. This paper provides a formal approach for system's modeling, and such model is adopted for synthesizing a timely and predictable scheduled code taking into account dispatcher and interrupt handler overheads." @default.
- W2134047138 created "2016-06-24" @default.
- W2134047138 creator A5024297894 @default.
- W2134047138 creator A5030092387 @default.
- W2134047138 creator A5038879378 @default.
- W2134047138 creator A5043385419 @default.
- W2134047138 creator A5046617964 @default.
- W2134047138 creator A5054133174 @default.
- W2134047138 creator A5055408224 @default.
- W2134047138 creator A5086998280 @default.
- W2134047138 date "2006-02-15" @default.
- W2134047138 modified "2023-09-26" @default.
- W2134047138 title "A Time Petri Net-Based Approach for Software Synthesis Considering Overheads" @default.
- W2134047138 cites W1485093219 @default.
- W2134047138 cites W2042801853 @default.
- W2134047138 cites W2047020830 @default.
- W2134047138 cites W2093709900 @default.
- W2134047138 cites W212746455 @default.
- W2134047138 cites W2148109661 @default.
- W2134047138 cites W2151621326 @default.
- W2134047138 cites W2158242851 @default.
- W2134047138 cites W2169233852 @default.
- W2134047138 cites W2170379073 @default.
- W2134047138 cites W2175500824 @default.
- W2134047138 doi "https://doi.org/10.1109/cahpc.2005.10" @default.
- W2134047138 hasPublicationYear "2006" @default.
- W2134047138 type Work @default.
- W2134047138 sameAs 2134047138 @default.
- W2134047138 citedByCount "4" @default.
- W2134047138 crossrefType "proceedings-article" @default.
- W2134047138 hasAuthorship W2134047138A5024297894 @default.
- W2134047138 hasAuthorship W2134047138A5030092387 @default.
- W2134047138 hasAuthorship W2134047138A5038879378 @default.
- W2134047138 hasAuthorship W2134047138A5043385419 @default.
- W2134047138 hasAuthorship W2134047138A5046617964 @default.
- W2134047138 hasAuthorship W2134047138A5054133174 @default.
- W2134047138 hasAuthorship W2134047138A5055408224 @default.
- W2134047138 hasAuthorship W2134047138A5086998280 @default.
- W2134047138 hasConcept C118524514 @default.
- W2134047138 hasConcept C120314980 @default.
- W2134047138 hasConcept C173608175 @default.
- W2134047138 hasConcept C197551870 @default.
- W2134047138 hasConcept C199360897 @default.
- W2134047138 hasConcept C2777904410 @default.
- W2134047138 hasConcept C38677869 @default.
- W2134047138 hasConcept C41008148 @default.
- W2134047138 hasConceptScore W2134047138C118524514 @default.
- W2134047138 hasConceptScore W2134047138C120314980 @default.
- W2134047138 hasConceptScore W2134047138C173608175 @default.
- W2134047138 hasConceptScore W2134047138C197551870 @default.
- W2134047138 hasConceptScore W2134047138C199360897 @default.
- W2134047138 hasConceptScore W2134047138C2777904410 @default.
- W2134047138 hasConceptScore W2134047138C38677869 @default.
- W2134047138 hasConceptScore W2134047138C41008148 @default.
- W2134047138 hasLocation W21340471381 @default.
- W2134047138 hasOpenAccess W2134047138 @default.
- W2134047138 hasPrimaryLocation W21340471381 @default.
- W2134047138 hasRelatedWork W1513409726 @default.
- W2134047138 hasRelatedWork W1513764144 @default.
- W2134047138 hasRelatedWork W16014793 @default.
- W2134047138 hasRelatedWork W1883258692 @default.
- W2134047138 hasRelatedWork W1937779808 @default.
- W2134047138 hasRelatedWork W2101878283 @default.
- W2134047138 hasRelatedWork W2121281196 @default.
- W2134047138 hasRelatedWork W2168615635 @default.
- W2134047138 hasRelatedWork W2274714293 @default.
- W2134047138 hasRelatedWork W3146406790 @default.
- W2134047138 isParatext "false" @default.
- W2134047138 isRetracted "false" @default.
- W2134047138 magId "2134047138" @default.
- W2134047138 workType "article" @default.