FRINK Linked Data Fragments server

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

• W1858778961 abstract "We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities. We use ACSR-VP to describe an instance of a scheduling problem as a process that has parameters of the problem as free variables. The specification is analyzed by means of a symbolic algorithm. The outcome of the analysis is a set of equations, a solution to which yields the values of the parameters that make the system schedulable. Equations are solved using integer programming or constraint logic programming. The paper presents specifications of two scheduling problems as examples." @default.
• W1858778961 created "2016-06-24" @default.
• W1858778961 creator A5031284602 @default.
• W1858778961 creator A5053821270 @default.
• W1858778961 creator A5067272348 @default.
• W1858778961 creator A5078957431 @default.
• W1858778961 creator A5082105260 @default.
• W1858778961 date "2002-11-27" @default.
• W1858778961 modified "2023-10-17" @default.
• W1858778961 title "Symbolic schedulability analysis of real-time systems" @default.
• W1858778961 cites W133759868 @default.
• W1858778961 cites W1503973138 @default.
• W1858778961 cites W1548943549 @default.
• W1858778961 cites W1550099218 @default.
• W1858778961 cites W1587358109 @default.
• W1858778961 cites W1602043639 @default.
• W1858778961 cites W1845270167 @default.
• W1858778961 cites W1905332030 @default.
• W1858778961 cites W191281567 @default.
• W1858778961 cites W1968760922 @default.
• W1858778961 cites W1983252028 @default.
• W1858778961 cites W2010894613 @default.
• W1858778961 cites W2064207294 @default.
• W1858778961 cites W2086061827 @default.
• W1858778961 cites W2098764081 @default.
• W1858778961 cites W2109488193 @default.
• W1858778961 cites W2120536665 @default.
• W1858778961 cites W2123717426 @default.
• W1858778961 cites W2129890138 @default.
• W1858778961 cites W2159012718 @default.
• W1858778961 cites W2160293203 @default.
• W1858778961 cites W2165172064 @default.
• W1858778961 cites W2556173242 @default.
• W1858778961 cites W2570030068 @default.
• W1858778961 cites W2913663755 @default.
• W1858778961 doi "https://doi.org/10.1109/real.1998.739774" @default.
• W1858778961 hasPublicationYear "2002" @default.
• W1858778961 type Work @default.
• W1858778961 sameAs 1858778961 @default.
• W1858778961 citedByCount "23" @default.
• W1858778961 countsByYear W18587789612012 @default.
• W1858778961 countsByYear W18587789612014 @default.
• W1858778961 countsByYear W18587789612015 @default.
• W1858778961 countsByYear W18587789612016 @default.
• W1858778961 countsByYear W18587789612018 @default.
• W1858778961 countsByYear W18587789612020 @default.
• W1858778961 crossrefType "proceedings-article" @default.
• W1858778961 hasAuthorship W1858778961A5031284602 @default.
• W1858778961 hasAuthorship W1858778961A5053821270 @default.
• W1858778961 hasAuthorship W1858778961A5067272348 @default.
• W1858778961 hasAuthorship W1858778961A5078957431 @default.
• W1858778961 hasAuthorship W1858778961A5082105260 @default.
• W1858778961 hasConcept C11413529 @default.
• W1858778961 hasConcept C126255220 @default.
• W1858778961 hasConcept C137631369 @default.
• W1858778961 hasConcept C149635348 @default.
• W1858778961 hasConcept C173404611 @default.
• W1858778961 hasConcept C206729178 @default.
• W1858778961 hasConcept C28472234 @default.
• W1858778961 hasConcept C33923547 @default.
• W1858778961 hasConcept C41008148 @default.
• W1858778961 hasConcept C55416958 @default.
• W1858778961 hasConcept C56086750 @default.
• W1858778961 hasConcept C74172769 @default.
• W1858778961 hasConcept C80444323 @default.
• W1858778961 hasConceptScore W1858778961C11413529 @default.
• W1858778961 hasConceptScore W1858778961C126255220 @default.
• W1858778961 hasConceptScore W1858778961C137631369 @default.
• W1858778961 hasConceptScore W1858778961C149635348 @default.
• W1858778961 hasConceptScore W1858778961C173404611 @default.
• W1858778961 hasConceptScore W1858778961C206729178 @default.
• W1858778961 hasConceptScore W1858778961C28472234 @default.
• W1858778961 hasConceptScore W1858778961C33923547 @default.
• W1858778961 hasConceptScore W1858778961C41008148 @default.
• W1858778961 hasConceptScore W1858778961C55416958 @default.
• W1858778961 hasConceptScore W1858778961C56086750 @default.
• W1858778961 hasConceptScore W1858778961C74172769 @default.
• W1858778961 hasConceptScore W1858778961C80444323 @default.
• W1858778961 hasLocation W18587789611 @default.
• W1858778961 hasOpenAccess W1858778961 @default.
• W1858778961 hasPrimaryLocation W18587789611 @default.
• W1858778961 hasRelatedWork W1503973138 @default.
• W1858778961 hasRelatedWork W1540174789 @default.
• W1858778961 hasRelatedWork W1545699945 @default.
• W1858778961 hasRelatedWork W1767198946 @default.
• W1858778961 hasRelatedWork W1909871898 @default.
• W1858778961 hasRelatedWork W2101508170 @default.
• W1858778961 hasRelatedWork W2109488193 @default.
• W1858778961 hasRelatedWork W2123717426 @default.
• W1858778961 hasRelatedWork W2130773092 @default.
• W1858778961 hasRelatedWork W2144965436 @default.
• W1858778961 hasRelatedWork W2153269726 @default.
• W1858778961 hasRelatedWork W2159012718 @default.
• W1858778961 hasRelatedWork W2160293203 @default.
• W1858778961 hasRelatedWork W2163218398 @default.
• W1858778961 hasRelatedWork W2170379073 @default.
• W1858778961 hasRelatedWork W2539482742 @default.
• W1858778961 hasRelatedWork W3144368627 @default.
• W1858778961 hasRelatedWork W70642212 @default.
• W1858778961 hasRelatedWork W86359300 @default.

• next