Matches in SemOpenAlex for { <https://semopenalex.org/work/W1534958051> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1534958051 endingPage "120" @default.
- W1534958051 startingPage "106" @default.
- W1534958051 abstract "We study a methodology for constructing scheduled systems by restricting successively the behavior of the processes to be scheduled. Restriction is used to guarantee the satisfaction of two types of constraints: schedulability constraints characterizing timing properties of the processes, and constraints characterizing particular scheduling algorithms including process priorities, non-idling, and preemption. The methodology is based on a controller synthesis paradigm. The main results deal with the characterization of scheduling policies as safety constraints and the simplification of the synthesis process by applying a composability principle." @default.
- W1534958051 created "2016-06-24" @default.
- W1534958051 creator A5043265237 @default.
- W1534958051 creator A5075454664 @default.
- W1534958051 creator A5084253085 @default.
- W1534958051 date "2000-01-01" @default.
- W1534958051 modified "2023-10-03" @default.
- W1534958051 title "A Methodology for the Construction of Scheduled Systems" @default.
- W1534958051 cites W1499407607 @default.
- W1534958051 cites W1979349468 @default.
- W1534958051 cites W2063163522 @default.
- W1534958051 cites W2109488193 @default.
- W1534958051 cites W2144965436 @default.
- W1534958051 cites W2160293203 @default.
- W1534958051 doi "https://doi.org/10.1007/3-540-45352-0_11" @default.
- W1534958051 hasPublicationYear "2000" @default.
- W1534958051 type Work @default.
- W1534958051 sameAs 1534958051 @default.
- W1534958051 citedByCount "37" @default.
- W1534958051 countsByYear W15349580512012 @default.
- W1534958051 countsByYear W15349580512013 @default.
- W1534958051 crossrefType "book-chapter" @default.
- W1534958051 hasAuthorship W1534958051A5043265237 @default.
- W1534958051 hasAuthorship W1534958051A5075454664 @default.
- W1534958051 hasAuthorship W1534958051A5084253085 @default.
- W1534958051 hasBestOaLocation W15349580512 @default.
- W1534958051 hasConcept C111919701 @default.
- W1534958051 hasConcept C120314980 @default.
- W1534958051 hasConcept C126255220 @default.
- W1534958051 hasConcept C199360897 @default.
- W1534958051 hasConcept C206729178 @default.
- W1534958051 hasConcept C206952183 @default.
- W1534958051 hasConcept C2778814252 @default.
- W1534958051 hasConcept C33923547 @default.
- W1534958051 hasConcept C41008148 @default.
- W1534958051 hasConcept C98045186 @default.
- W1534958051 hasConceptScore W1534958051C111919701 @default.
- W1534958051 hasConceptScore W1534958051C120314980 @default.
- W1534958051 hasConceptScore W1534958051C126255220 @default.
- W1534958051 hasConceptScore W1534958051C199360897 @default.
- W1534958051 hasConceptScore W1534958051C206729178 @default.
- W1534958051 hasConceptScore W1534958051C206952183 @default.
- W1534958051 hasConceptScore W1534958051C2778814252 @default.
- W1534958051 hasConceptScore W1534958051C33923547 @default.
- W1534958051 hasConceptScore W1534958051C41008148 @default.
- W1534958051 hasConceptScore W1534958051C98045186 @default.
- W1534958051 hasLocation W15349580511 @default.
- W1534958051 hasLocation W15349580512 @default.
- W1534958051 hasOpenAccess W1534958051 @default.
- W1534958051 hasPrimaryLocation W15349580511 @default.
- W1534958051 hasRelatedWork W1504179122 @default.
- W1534958051 hasRelatedWork W1534958051 @default.
- W1534958051 hasRelatedWork W1680204778 @default.
- W1534958051 hasRelatedWork W1882733036 @default.
- W1534958051 hasRelatedWork W1992741870 @default.
- W1534958051 hasRelatedWork W2092479167 @default.
- W1534958051 hasRelatedWork W2160425906 @default.
- W1534958051 hasRelatedWork W2546696010 @default.
- W1534958051 hasRelatedWork W2762577149 @default.
- W1534958051 hasRelatedWork W4252906851 @default.
- W1534958051 isParatext "false" @default.
- W1534958051 isRetracted "false" @default.
- W1534958051 magId "1534958051" @default.
- W1534958051 workType "book-chapter" @default.