Matches in SemOpenAlex for { <https://semopenalex.org/work/W1767118049> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1767118049 endingPage "49" @default.
- W1767118049 startingPage "38" @default.
- W1767118049 abstract "This paper describes an approach to the specification and analysis of scheduling problems of real-time systems. The method is based on ACSR-VP, which is an extension of ACSR, a real-time process algebra, with value-passing capabilities and parameterized processes. ACSR-VP is used 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, and a boolean expression with free variables is produced as an outcome of the analysis. The solution to a boolean expression identifies under what values of the unknown parameters the system becomes schedulable. The paper presents the theory of ACSR-VP briefly and an example of the period assignment problem for rate-monotonic scheduling. We also explain our current tool implementation effort and plan for incorporating it into the existing toolset, PARAGON." @default.
- W1767118049 created "2016-06-24" @default.
- W1767118049 creator A5030456600 @default.
- W1767118049 creator A5067272348 @default.
- W1767118049 creator A5082105260 @default.
- W1767118049 date "1999-01-01" @default.
- W1767118049 modified "2023-09-27" @default.
- W1767118049 title "Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP⋆ ⋆This research was supported in part by ARO DAAG55-98-1-0393, ARO DAAG55-98-1-0466, AFOSR F49620-96-1-0204, NSF CCR-9619910, and ONR N00014-97-1-0505." @default.
- W1767118049 cites W133759868 @default.
- W1767118049 cites W1503973138 @default.
- W1767118049 cites W1545699945 @default.
- W1767118049 cites W1548943549 @default.
- W1767118049 cites W1550099218 @default.
- W1767118049 cites W1563637091 @default.
- W1767118049 cites W1587358109 @default.
- W1767118049 cites W1602043639 @default.
- W1767118049 cites W1845270167 @default.
- W1767118049 cites W1905332030 @default.
- W1767118049 cites W191281567 @default.
- W1767118049 cites W1968760922 @default.
- W1767118049 cites W1983252028 @default.
- W1767118049 cites W2010894613 @default.
- W1767118049 cites W2063727779 @default.
- W1767118049 cites W2064207294 @default.
- W1767118049 cites W2086061827 @default.
- W1767118049 cites W2097699872 @default.
- W1767118049 cites W2109488193 @default.
- W1767118049 cites W2123717426 @default.
- W1767118049 cites W2129890138 @default.
- W1767118049 cites W2132331020 @default.
- W1767118049 cites W2159012718 @default.
- W1767118049 cites W2160293203 @default.
- W1767118049 cites W2165172064 @default.
- W1767118049 cites W2556173242 @default.
- W1767118049 cites W2570030068 @default.
- W1767118049 cites W2913663755 @default.
- W1767118049 doi "https://doi.org/10.1016/s1571-0661(04)00130-6" @default.
- W1767118049 hasPublicationYear "1999" @default.
- W1767118049 type Work @default.
- W1767118049 sameAs 1767118049 @default.
- W1767118049 citedByCount "3" @default.
- W1767118049 countsByYear W17671180492012 @default.
- W1767118049 countsByYear W17671180492013 @default.
- W1767118049 countsByYear W17671180492014 @default.
- W1767118049 crossrefType "journal-article" @default.
- W1767118049 hasAuthorship W1767118049A5030456600 @default.
- W1767118049 hasAuthorship W1767118049A5067272348 @default.
- W1767118049 hasAuthorship W1767118049A5082105260 @default.
- W1767118049 hasBestOaLocation W17671180491 @default.
- W1767118049 hasConcept C105795698 @default.
- W1767118049 hasConcept C11413529 @default.
- W1767118049 hasConcept C117251300 @default.
- W1767118049 hasConcept C126255220 @default.
- W1767118049 hasConcept C165464430 @default.
- W1767118049 hasConcept C206729178 @default.
- W1767118049 hasConcept C33923547 @default.
- W1767118049 hasConcept C41008148 @default.
- W1767118049 hasConcept C80444323 @default.
- W1767118049 hasConceptScore W1767118049C105795698 @default.
- W1767118049 hasConceptScore W1767118049C11413529 @default.
- W1767118049 hasConceptScore W1767118049C117251300 @default.
- W1767118049 hasConceptScore W1767118049C126255220 @default.
- W1767118049 hasConceptScore W1767118049C165464430 @default.
- W1767118049 hasConceptScore W1767118049C206729178 @default.
- W1767118049 hasConceptScore W1767118049C33923547 @default.
- W1767118049 hasConceptScore W1767118049C41008148 @default.
- W1767118049 hasConceptScore W1767118049C80444323 @default.
- W1767118049 hasLocation W17671180491 @default.
- W1767118049 hasOpenAccess W1767118049 @default.
- W1767118049 hasPrimaryLocation W17671180491 @default.
- W1767118049 hasRelatedWork W1973679146 @default.
- W1767118049 hasRelatedWork W1981081776 @default.
- W1767118049 hasRelatedWork W2095934400 @default.
- W1767118049 hasRelatedWork W2357085366 @default.
- W1767118049 hasRelatedWork W2370792006 @default.
- W1767118049 hasRelatedWork W2573922966 @default.
- W1767118049 hasRelatedWork W2753491353 @default.
- W1767118049 hasRelatedWork W2904047667 @default.
- W1767118049 hasRelatedWork W2952403033 @default.
- W1767118049 hasRelatedWork W4298026898 @default.
- W1767118049 hasVolume "25" @default.
- W1767118049 isParatext "false" @default.
- W1767118049 isRetracted "false" @default.
- W1767118049 magId "1767118049" @default.
- W1767118049 workType "article" @default.