Matches in SemOpenAlex for { <https://semopenalex.org/work/W1990200318> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1990200318 endingPage "975" @default.
- W1990200318 startingPage "970" @default.
- W1990200318 abstract "Integrated Modular Avionics (IMA) architecture has been widely adopted by the avionics industry due to its strong temporal and spatial isolation capability for safety-critical real-time systems. The fundamental challenge to integrating an existing set of single-core IMA partitions into a multi-core system is to ensure that the isolation of the partitions will be maintained without incurring huge redevelopment and recertification costs. To address this challenge, we developed an optimized partition scheduling algorithm which considers exclusive regions to achieve the synchronization between partitions across cores. We show that the problem of finding the optimal partition schedule is NP--complete and present a Constraint Programming formulation. In addition, we relax this problem to find the minimum number of cores needed to schedule a given set of partitions and propose an approximation algorithm which is guaranteed to find a feasible schedule of partitions if there exists a feasible schedule of exclusive regions." @default.
- W1990200318 created "2016-06-24" @default.
- W1990200318 creator A5006392819 @default.
- W1990200318 creator A5067032971 @default.
- W1990200318 creator A5068072324 @default.
- W1990200318 creator A5085010633 @default.
- W1990200318 creator A5090265330 @default.
- W1990200318 date "2013-03-18" @default.
- W1990200318 modified "2023-09-23" @default.
- W1990200318 title "Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems" @default.
- W1990200318 cites W1506378270 @default.
- W1990200318 cites W1573649504 @default.
- W1990200318 cites W1973446402 @default.
- W1990200318 cites W2053541037 @default.
- W1990200318 cites W2116037949 @default.
- W1990200318 cites W2118217956 @default.
- W1990200318 cites W2118506239 @default.
- W1990200318 cites W2123923885 @default.
- W1990200318 cites W2135297309 @default.
- W1990200318 cites W2146575500 @default.
- W1990200318 cites W2149272340 @default.
- W1990200318 cites W2162666438 @default.
- W1990200318 cites W2165099686 @default.
- W1990200318 cites W2171972721 @default.
- W1990200318 doi "https://doi.org/10.5555/2485288.2485522" @default.
- W1990200318 hasPublicationYear "2013" @default.
- W1990200318 type Work @default.
- W1990200318 sameAs 1990200318 @default.
- W1990200318 citedByCount "7" @default.
- W1990200318 countsByYear W19902003182013 @default.
- W1990200318 countsByYear W19902003182015 @default.
- W1990200318 countsByYear W19902003182016 @default.
- W1990200318 countsByYear W19902003182017 @default.
- W1990200318 crossrefType "proceedings-article" @default.
- W1990200318 hasAuthorship W1990200318A5006392819 @default.
- W1990200318 hasAuthorship W1990200318A5067032971 @default.
- W1990200318 hasAuthorship W1990200318A5068072324 @default.
- W1990200318 hasAuthorship W1990200318A5085010633 @default.
- W1990200318 hasAuthorship W1990200318A5090265330 @default.
- W1990200318 hasConcept C101468663 @default.
- W1990200318 hasConcept C111919701 @default.
- W1990200318 hasConcept C114614502 @default.
- W1990200318 hasConcept C120314980 @default.
- W1990200318 hasConcept C126255220 @default.
- W1990200318 hasConcept C127413603 @default.
- W1990200318 hasConcept C146978453 @default.
- W1990200318 hasConcept C15792166 @default.
- W1990200318 hasConcept C189956118 @default.
- W1990200318 hasConcept C206729178 @default.
- W1990200318 hasConcept C2777904410 @default.
- W1990200318 hasConcept C2984822820 @default.
- W1990200318 hasConcept C33923547 @default.
- W1990200318 hasConcept C41008148 @default.
- W1990200318 hasConcept C42812 @default.
- W1990200318 hasConcept C68387754 @default.
- W1990200318 hasConceptScore W1990200318C101468663 @default.
- W1990200318 hasConceptScore W1990200318C111919701 @default.
- W1990200318 hasConceptScore W1990200318C114614502 @default.
- W1990200318 hasConceptScore W1990200318C120314980 @default.
- W1990200318 hasConceptScore W1990200318C126255220 @default.
- W1990200318 hasConceptScore W1990200318C127413603 @default.
- W1990200318 hasConceptScore W1990200318C146978453 @default.
- W1990200318 hasConceptScore W1990200318C15792166 @default.
- W1990200318 hasConceptScore W1990200318C189956118 @default.
- W1990200318 hasConceptScore W1990200318C206729178 @default.
- W1990200318 hasConceptScore W1990200318C2777904410 @default.
- W1990200318 hasConceptScore W1990200318C2984822820 @default.
- W1990200318 hasConceptScore W1990200318C33923547 @default.
- W1990200318 hasConceptScore W1990200318C41008148 @default.
- W1990200318 hasConceptScore W1990200318C42812 @default.
- W1990200318 hasConceptScore W1990200318C68387754 @default.
- W1990200318 hasLocation W19902003181 @default.
- W1990200318 hasOpenAccess W1990200318 @default.
- W1990200318 hasPrimaryLocation W19902003181 @default.
- W1990200318 hasRelatedWork W1491242392 @default.
- W1990200318 hasRelatedWork W1968328844 @default.
- W1990200318 hasRelatedWork W1988382391 @default.
- W1990200318 hasRelatedWork W2015541614 @default.
- W1990200318 hasRelatedWork W2039936456 @default.
- W1990200318 hasRelatedWork W2085781886 @default.
- W1990200318 hasRelatedWork W2099270353 @default.
- W1990200318 hasRelatedWork W2115638297 @default.
- W1990200318 hasRelatedWork W2115681046 @default.
- W1990200318 hasRelatedWork W2131071091 @default.
- W1990200318 hasRelatedWork W2146595398 @default.
- W1990200318 hasRelatedWork W2161957953 @default.
- W1990200318 hasRelatedWork W2162064567 @default.
- W1990200318 hasRelatedWork W2590552280 @default.
- W1990200318 hasRelatedWork W3036659819 @default.
- W1990200318 hasRelatedWork W3047233396 @default.
- W1990200318 hasRelatedWork W3080137974 @default.
- W1990200318 hasRelatedWork W3083558459 @default.
- W1990200318 hasRelatedWork W2008346569 @default.
- W1990200318 hasRelatedWork W2146519472 @default.
- W1990200318 isParatext "false" @default.
- W1990200318 isRetracted "false" @default.
- W1990200318 magId "1990200318" @default.
- W1990200318 workType "article" @default.