Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076753295> ?p ?o ?g. }
- W2076753295 endingPage "76" @default.
- W2076753295 startingPage "67" @default.
- W2076753295 abstract "Work on the formal description and analysis of realtime systems has followed two paths. On one side, it has considered the specification of realtime systems, the design of language constructs for realtime programming, and semantic models to describe the properties of realtime programs. On the other side, there has been a large body of work analysing the performance of realtime systems in terms of scheduling theory, relating program modules with their use of resources, and determining timing characteristics, especially in relation to hard realtime problems. The paper reviews some of this work and examines how realtime computations are modelled in a proof-theoretic framework and in scheduling analyses. The object of this review, and indeed of other contemporary work in the field, is to examine whether it is possible to relate issues of correctness and performance, e.g., interpreting the semantics of execution of realtime programs in terms of scheduling solutions to realtime problems." @default.
- W2076753295 created "2016-06-24" @default.
- W2076753295 creator A5039243354 @default.
- W2076753295 creator A5081511689 @default.
- W2076753295 date "1989-03-01" @default.
- W2076753295 modified "2023-09-27" @default.
- W2076753295 title "Formal description of realtime systems: a review" @default.
- W2076753295 cites W1485093219 @default.
- W2076753295 cites W1504477948 @default.
- W2076753295 cites W1539804543 @default.
- W2076753295 cites W1542049623 @default.
- W2076753295 cites W1553516176 @default.
- W2076753295 cites W1553693026 @default.
- W2076753295 cites W1558437246 @default.
- W2076753295 cites W1566263746 @default.
- W2076753295 cites W1573218854 @default.
- W2076753295 cites W1575902430 @default.
- W2076753295 cites W1581774065 @default.
- W2076753295 cites W1602114053 @default.
- W2076753295 cites W1602303317 @default.
- W2076753295 cites W1603124373 @default.
- W2076753295 cites W194244820 @default.
- W2076753295 cites W1954490876 @default.
- W2076753295 cites W1960783097 @default.
- W2076753295 cites W1968947022 @default.
- W2076753295 cites W1970495662 @default.
- W2076753295 cites W1976029121 @default.
- W2076753295 cites W1977621687 @default.
- W2076753295 cites W1987173935 @default.
- W2076753295 cites W1995969393 @default.
- W2076753295 cites W2001200190 @default.
- W2076753295 cites W2001748564 @default.
- W2076753295 cites W2030926579 @default.
- W2076753295 cites W2034751786 @default.
- W2076753295 cites W2038952689 @default.
- W2076753295 cites W2056359803 @default.
- W2076753295 cites W2058630223 @default.
- W2076753295 cites W2070361291 @default.
- W2076753295 cites W2073981447 @default.
- W2076753295 cites W2086061827 @default.
- W2076753295 cites W2086070079 @default.
- W2076753295 cites W2102097307 @default.
- W2076753295 cites W2102728965 @default.
- W2076753295 cites W2102951280 @default.
- W2076753295 cites W2103953153 @default.
- W2076753295 cites W2109488193 @default.
- W2076753295 cites W2110425399 @default.
- W2076753295 cites W2111706174 @default.
- W2076753295 cites W2123322045 @default.
- W2076753295 cites W2125110532 @default.
- W2076753295 cites W2131791649 @default.
- W2076753295 cites W2137865376 @default.
- W2076753295 cites W2744703654 @default.
- W2076753295 cites W3144368627 @default.
- W2076753295 cites W3146075203 @default.
- W2076753295 doi "https://doi.org/10.1016/0950-5849(89)90085-2" @default.
- W2076753295 hasPublicationYear "1989" @default.
- W2076753295 type Work @default.
- W2076753295 sameAs 2076753295 @default.
- W2076753295 citedByCount "6" @default.
- W2076753295 crossrefType "journal-article" @default.
- W2076753295 hasAuthorship W2076753295A5039243354 @default.
- W2076753295 hasAuthorship W2076753295A5081511689 @default.
- W2076753295 hasConcept C115903868 @default.
- W2076753295 hasConcept C120314980 @default.
- W2076753295 hasConcept C127413603 @default.
- W2076753295 hasConcept C184337299 @default.
- W2076753295 hasConcept C199360897 @default.
- W2076753295 hasConcept C206729178 @default.
- W2076753295 hasConcept C21547014 @default.
- W2076753295 hasConcept C25343380 @default.
- W2076753295 hasConcept C41008148 @default.
- W2076753295 hasConcept C55439883 @default.
- W2076753295 hasConcept C73752529 @default.
- W2076753295 hasConcept C77088390 @default.
- W2076753295 hasConceptScore W2076753295C115903868 @default.
- W2076753295 hasConceptScore W2076753295C120314980 @default.
- W2076753295 hasConceptScore W2076753295C127413603 @default.
- W2076753295 hasConceptScore W2076753295C184337299 @default.
- W2076753295 hasConceptScore W2076753295C199360897 @default.
- W2076753295 hasConceptScore W2076753295C206729178 @default.
- W2076753295 hasConceptScore W2076753295C21547014 @default.
- W2076753295 hasConceptScore W2076753295C25343380 @default.
- W2076753295 hasConceptScore W2076753295C41008148 @default.
- W2076753295 hasConceptScore W2076753295C55439883 @default.
- W2076753295 hasConceptScore W2076753295C73752529 @default.
- W2076753295 hasConceptScore W2076753295C77088390 @default.
- W2076753295 hasIssue "2" @default.
- W2076753295 hasLocation W20767532951 @default.
- W2076753295 hasOpenAccess W2076753295 @default.
- W2076753295 hasPrimaryLocation W20767532951 @default.
- W2076753295 hasRelatedWork W140681272 @default.
- W2076753295 hasRelatedWork W1587224678 @default.
- W2076753295 hasRelatedWork W1778728081 @default.
- W2076753295 hasRelatedWork W1882733036 @default.
- W2076753295 hasRelatedWork W2047793074 @default.
- W2076753295 hasRelatedWork W2160425906 @default.
- W2076753295 hasRelatedWork W2546696010 @default.