FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2610014485> ?p ?o ?g. }

• W2610014485 abstract "In a real-time system, tasks are required to be completed before their deadlines. Under normal workload conditions, a scheduler with a proper scheduling policy can make all the tasks meet their deadlines. However, in practical environment, system workload may vary widely. Once system workload becomes too heavy, so that there does not exist a feasible schedule can make all the tasks meet their deadlines, we say the system is overloaded under which some tasks will miss their deadlines. To alleviate the degrees of system performance degradation caused by the missed deadline tasks, the design of scheduling is crucial. Many design objectives can be considered. In this paper, we first focus on maximizing the total number of tasks that can be completed before their deadlines. A scheduling method based on satisfiability modulo theories (SMT) is proposed. In the method, the problem of scheduling is treated as a satisfiability problem. The key work is to formalize the satisfiability problem using first-order language. After the formalization, a SMT solver (e.g., Z3, Yices) is employed to solve this satisfiability problem. An optimal schedule can be generated based on the solution model returned by the SMT solver. The correctness of this method and the optimality of the generated schedule can be verified in a straightforward manner. The time efficiency of the proposed method is demonstrated through various simulations. Moreover, in the proposed SMT-based scheduling method, we define the scheduling constraints as system constraints and target constraints. This means if we want to design scheduling to achieve other objectives, only the target constraints need to be modified. To demonstrate this advantage, we adapt the SMT-based scheduling method to other design objectives: maximizing effective processor utilization and maximizing obtained values of completed tasks. Only very little changes are needed in the adaption procedure, which means the proposed SMT-based scheduling method is flexible and sufficiently general." @default.
• W2610014485 created "2017-05-05" @default.
• W2610014485 creator A5039350762 @default.
• W2610014485 creator A5054211420 @default.
• W2610014485 creator A5084592647 @default.
• W2610014485 creator A5089183482 @default.
• W2610014485 date "2017-01-01" @default.
• W2610014485 modified "2023-10-04" @default.
• W2610014485 title "SMT-Based Scheduling for Overloaded Real-Time Systems" @default.
• W2610014485 cites W1128447031 @default.
• W2610014485 cites W1480909796 @default.
• W2610014485 cites W1481397690 @default.
• W2610014485 cites W1936354298 @default.
• W2610014485 cites W1968005108 @default.
• W2610014485 cites W2002231042 @default.
• W2610014485 cites W2071866027 @default.
• W2610014485 cites W2078502226 @default.
• W2610014485 cites W2091968063 @default.
• W2610014485 cites W2097285293 @default.
• W2610014485 cites W2099261768 @default.
• W2610014485 cites W2105784795 @default.
• W2610014485 cites W2105823724 @default.
• W2610014485 cites W2109488193 @default.
• W2610014485 cites W2110186189 @default.
• W2610014485 cites W2123982981 @default.
• W2610014485 cites W2142743910 @default.
• W2610014485 cites W2145174892 @default.
• W2610014485 cites W2154689462 @default.
• W2610014485 cites W2163528417 @default.
• W2610014485 cites W2252715512 @default.
• W2610014485 cites W2485174382 @default.
• W2610014485 doi "https://doi.org/10.1587/transinf.2016edp7374" @default.
• W2610014485 hasPublicationYear "2017" @default.
• W2610014485 type Work @default.
• W2610014485 sameAs 2610014485 @default.
• W2610014485 citedByCount "6" @default.
• W2610014485 countsByYear W26100144852018 @default.
• W2610014485 countsByYear W26100144852019 @default.
• W2610014485 countsByYear W26100144852020 @default.
• W2610014485 countsByYear W26100144852021 @default.
• W2610014485 crossrefType "journal-article" @default.
• W2610014485 hasAuthorship W2610014485A5039350762 @default.
• W2610014485 hasAuthorship W2610014485A5054211420 @default.
• W2610014485 hasAuthorship W2610014485A5084592647 @default.
• W2610014485 hasAuthorship W2610014485A5089183482 @default.
• W2610014485 hasBestOaLocation W26100144851 @default.
• W2610014485 hasConcept C107568181 @default.
• W2610014485 hasConcept C111919701 @default.
• W2610014485 hasConcept C11413529 @default.
• W2610014485 hasConcept C120314980 @default.
• W2610014485 hasConcept C126255220 @default.
• W2610014485 hasConcept C164155591 @default.
• W2610014485 hasConcept C168773769 @default.
• W2610014485 hasConcept C199360897 @default.
• W2610014485 hasConcept C206729178 @default.
• W2610014485 hasConcept C2778476105 @default.
• W2610014485 hasConcept C2778770139 @default.
• W2610014485 hasConcept C33923547 @default.
• W2610014485 hasConcept C41008148 @default.
• W2610014485 hasConcept C55416958 @default.
• W2610014485 hasConcept C55439883 @default.
• W2610014485 hasConcept C68387754 @default.
• W2610014485 hasConceptScore W2610014485C107568181 @default.
• W2610014485 hasConceptScore W2610014485C111919701 @default.
• W2610014485 hasConceptScore W2610014485C11413529 @default.
• W2610014485 hasConceptScore W2610014485C120314980 @default.
• W2610014485 hasConceptScore W2610014485C126255220 @default.
• W2610014485 hasConceptScore W2610014485C164155591 @default.
• W2610014485 hasConceptScore W2610014485C168773769 @default.
• W2610014485 hasConceptScore W2610014485C199360897 @default.
• W2610014485 hasConceptScore W2610014485C206729178 @default.
• W2610014485 hasConceptScore W2610014485C2778476105 @default.
• W2610014485 hasConceptScore W2610014485C2778770139 @default.
• W2610014485 hasConceptScore W2610014485C33923547 @default.
• W2610014485 hasConceptScore W2610014485C41008148 @default.
• W2610014485 hasConceptScore W2610014485C55416958 @default.
• W2610014485 hasConceptScore W2610014485C55439883 @default.
• W2610014485 hasConceptScore W2610014485C68387754 @default.
• W2610014485 hasLocation W26100144851 @default.
• W2610014485 hasOpenAccess W2610014485 @default.
• W2610014485 hasPrimaryLocation W26100144851 @default.
• W2610014485 hasRelatedWork W124979004 @default.
• W2610014485 hasRelatedWork W1531146854 @default.
• W2610014485 hasRelatedWork W1602303317 @default.
• W2610014485 hasRelatedWork W1639072151 @default.
• W2610014485 hasRelatedWork W1973287926 @default.
• W2610014485 hasRelatedWork W2151384261 @default.
• W2610014485 hasRelatedWork W2160950148 @default.
• W2610014485 hasRelatedWork W2180341352 @default.
• W2610014485 hasRelatedWork W2181848795 @default.
• W2610014485 hasRelatedWork W2188026272 @default.
• W2610014485 hasRelatedWork W2257422103 @default.
• W2610014485 hasRelatedWork W2399612779 @default.
• W2610014485 hasRelatedWork W2596459939 @default.
• W2610014485 hasRelatedWork W2616963139 @default.
• W2610014485 hasRelatedWork W2618947393 @default.
• W2610014485 hasRelatedWork W2783713057 @default.
• W2610014485 hasRelatedWork W2904707401 @default.
• W2610014485 hasRelatedWork W802608038 @default.
• W2610014485 hasRelatedWork W1774668082 @default.

• next