Matches in SemOpenAlex for { <https://semopenalex.org/work/W3082963403> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3082963403 abstract "Real-time system is playing an important role in our society. Currently, almost all the practical real-time systems are equipped within multiple processors, compared to uniprocessor systems, scheduling on multiprocessor systems is far from wellstudied. This becomes unfortunate since current progress in developing heterogeneous multiprocessor systems is a long way ahead of research efforts to determine the best scheduling policies. Moreover, considering many real-time systems for industrial applications containing mixed sets of task including both time-and event-driven tasks, it endows further challenges for scheduling. To address such challenges, continuing our previous work, a Real-time scheduling methodology based on Satisfiability Modulo Theories (RSMT) is proposed. In RSMT, the problem of scheduling is treated as a satisfiability problem. The key work is to formalize the satisfiability problem using first-order logical formulas. After formalization, a desired schedule can be generated. To show the performance of RSMT, it is first applied to time-driven systems, heterogeneous multiprocessor systems have been considered. Then, in order to handle mixed sets of task, through a novel method of combining RSMT and online scheduling algorithm, RSMT also shows capability to design scheduling for such systems. Through a case study and simulation experiments, the usage of RSMT is shown." @default.
- W3082963403 created "2020-09-08" @default.
- W3082963403 creator A5015943195 @default.
- W3082963403 creator A5017708790 @default.
- W3082963403 creator A5054211420 @default.
- W3082963403 creator A5080344490 @default.
- W3082963403 creator A5084592647 @default.
- W3082963403 creator A5089183482 @default.
- W3082963403 date "2020-08-01" @default.
- W3082963403 modified "2023-10-18" @default.
- W3082963403 title "Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task" @default.
- W3082963403 cites W1128447031 @default.
- W3082963403 cites W1480909796 @default.
- W3082963403 cites W1501013319 @default.
- W3082963403 cites W1805570991 @default.
- W3082963403 cites W1936354298 @default.
- W3082963403 cites W1968005108 @default.
- W3082963403 cites W2027986690 @default.
- W3082963403 cites W2055852953 @default.
- W3082963403 cites W2056830486 @default.
- W3082963403 cites W2089766125 @default.
- W3082963403 cites W2090312383 @default.
- W3082963403 cites W2099958378 @default.
- W3082963403 cites W2109488193 @default.
- W3082963403 cites W2110186189 @default.
- W3082963403 cites W2121607363 @default.
- W3082963403 cites W2137351629 @default.
- W3082963403 cites W2163878603 @default.
- W3082963403 cites W2512351025 @default.
- W3082963403 cites W4247229772 @default.
- W3082963403 doi "https://doi.org/10.1109/sose49046.2020.00016" @default.
- W3082963403 hasPublicationYear "2020" @default.
- W3082963403 type Work @default.
- W3082963403 sameAs 3082963403 @default.
- W3082963403 citedByCount "2" @default.
- W3082963403 countsByYear W30829634032023 @default.
- W3082963403 crossrefType "proceedings-article" @default.
- W3082963403 hasAuthorship W3082963403A5015943195 @default.
- W3082963403 hasAuthorship W3082963403A5017708790 @default.
- W3082963403 hasAuthorship W3082963403A5054211420 @default.
- W3082963403 hasAuthorship W3082963403A5080344490 @default.
- W3082963403 hasAuthorship W3082963403A5084592647 @default.
- W3082963403 hasAuthorship W3082963403A5089183482 @default.
- W3082963403 hasConcept C107568181 @default.
- W3082963403 hasConcept C111919701 @default.
- W3082963403 hasConcept C119948110 @default.
- W3082963403 hasConcept C120314980 @default.
- W3082963403 hasConcept C122141398 @default.
- W3082963403 hasConcept C126255220 @default.
- W3082963403 hasConcept C127456818 @default.
- W3082963403 hasConcept C172430144 @default.
- W3082963403 hasConcept C173608175 @default.
- W3082963403 hasConcept C175893541 @default.
- W3082963403 hasConcept C206729178 @default.
- W3082963403 hasConcept C31689143 @default.
- W3082963403 hasConcept C32310161 @default.
- W3082963403 hasConcept C33923547 @default.
- W3082963403 hasConcept C41008148 @default.
- W3082963403 hasConcept C4822641 @default.
- W3082963403 hasConcept C68387754 @default.
- W3082963403 hasConcept C79189994 @default.
- W3082963403 hasConcept C85924588 @default.
- W3082963403 hasConceptScore W3082963403C107568181 @default.
- W3082963403 hasConceptScore W3082963403C111919701 @default.
- W3082963403 hasConceptScore W3082963403C119948110 @default.
- W3082963403 hasConceptScore W3082963403C120314980 @default.
- W3082963403 hasConceptScore W3082963403C122141398 @default.
- W3082963403 hasConceptScore W3082963403C126255220 @default.
- W3082963403 hasConceptScore W3082963403C127456818 @default.
- W3082963403 hasConceptScore W3082963403C172430144 @default.
- W3082963403 hasConceptScore W3082963403C173608175 @default.
- W3082963403 hasConceptScore W3082963403C175893541 @default.
- W3082963403 hasConceptScore W3082963403C206729178 @default.
- W3082963403 hasConceptScore W3082963403C31689143 @default.
- W3082963403 hasConceptScore W3082963403C32310161 @default.
- W3082963403 hasConceptScore W3082963403C33923547 @default.
- W3082963403 hasConceptScore W3082963403C41008148 @default.
- W3082963403 hasConceptScore W3082963403C4822641 @default.
- W3082963403 hasConceptScore W3082963403C68387754 @default.
- W3082963403 hasConceptScore W3082963403C79189994 @default.
- W3082963403 hasConceptScore W3082963403C85924588 @default.
- W3082963403 hasLocation W30829634031 @default.
- W3082963403 hasOpenAccess W3082963403 @default.
- W3082963403 hasPrimaryLocation W30829634031 @default.
- W3082963403 hasRelatedWork W1256898175 @default.
- W3082963403 hasRelatedWork W1712986213 @default.
- W3082963403 hasRelatedWork W2158301828 @default.
- W3082963403 hasRelatedWork W2172075652 @default.
- W3082963403 hasRelatedWork W2177337553 @default.
- W3082963403 hasRelatedWork W2180341352 @default.
- W3082963403 hasRelatedWork W2372879566 @default.
- W3082963403 hasRelatedWork W2888222534 @default.
- W3082963403 hasRelatedWork W3082963403 @default.
- W3082963403 hasRelatedWork W2182592860 @default.
- W3082963403 isParatext "false" @default.
- W3082963403 isRetracted "false" @default.
- W3082963403 magId "3082963403" @default.
- W3082963403 workType "article" @default.