Matches in SemOpenAlex for { <https://semopenalex.org/work/W1504879905> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1504879905 endingPage "33" @default.
- W1504879905 startingPage "23" @default.
- W1504879905 abstract "Off-line validation of hard real-time systems usually stands on state based models. Such approaches always deal with both space and time combinatorial explosions. This paper proposes a discrete geometrical approach to model applications and to compute operational feasability from topological properties. Thanks to this model, we can decide the feasability of real-time synchronous systems composed of periodic tasks, sharing resources, running on multiprocessor architectures. This method avoids state enumeration and therefore limits both space and time explosion: computing an automaton model takes at least 2 hours for a real application instead of at most 1 second using discrete geometry." @default.
- W1504879905 created "2016-06-24" @default.
- W1504879905 creator A5013750179 @default.
- W1504879905 creator A5015349471 @default.
- W1504879905 creator A5050660612 @default.
- W1504879905 date "2005-01-01" @default.
- W1504879905 modified "2023-09-25" @default.
- W1504879905 title "Discrete Geometry Applied in Hard Real-Time Systems Validation" @default.
- W1504879905 cites W1514629289 @default.
- W1504879905 cites W2101508170 @default.
- W1504879905 cites W2109488193 @default.
- W1504879905 cites W2121120642 @default.
- W1504879905 cites W4241728142 @default.
- W1504879905 doi "https://doi.org/10.1007/978-3-540-31965-8_3" @default.
- W1504879905 hasPublicationYear "2005" @default.
- W1504879905 type Work @default.
- W1504879905 sameAs 1504879905 @default.
- W1504879905 citedByCount "11" @default.
- W1504879905 countsByYear W15048799052015 @default.
- W1504879905 countsByYear W15048799052019 @default.
- W1504879905 crossrefType "book-chapter" @default.
- W1504879905 hasAuthorship W1504879905A5013750179 @default.
- W1504879905 hasAuthorship W1504879905A5015349471 @default.
- W1504879905 hasAuthorship W1504879905A5050660612 @default.
- W1504879905 hasBestOaLocation W15048799051 @default.
- W1504879905 hasConcept C105795698 @default.
- W1504879905 hasConcept C112505250 @default.
- W1504879905 hasConcept C11413529 @default.
- W1504879905 hasConcept C114614502 @default.
- W1504879905 hasConcept C115908005 @default.
- W1504879905 hasConcept C118615104 @default.
- W1504879905 hasConcept C156340839 @default.
- W1504879905 hasConcept C173608175 @default.
- W1504879905 hasConcept C184720557 @default.
- W1504879905 hasConcept C2524010 @default.
- W1504879905 hasConcept C33923547 @default.
- W1504879905 hasConcept C35527583 @default.
- W1504879905 hasConcept C41008148 @default.
- W1504879905 hasConcept C4107886 @default.
- W1504879905 hasConcept C48103436 @default.
- W1504879905 hasConcept C4822641 @default.
- W1504879905 hasConcept C55689738 @default.
- W1504879905 hasConcept C72434380 @default.
- W1504879905 hasConcept C75432250 @default.
- W1504879905 hasConcept C80444323 @default.
- W1504879905 hasConceptScore W1504879905C105795698 @default.
- W1504879905 hasConceptScore W1504879905C112505250 @default.
- W1504879905 hasConceptScore W1504879905C11413529 @default.
- W1504879905 hasConceptScore W1504879905C114614502 @default.
- W1504879905 hasConceptScore W1504879905C115908005 @default.
- W1504879905 hasConceptScore W1504879905C118615104 @default.
- W1504879905 hasConceptScore W1504879905C156340839 @default.
- W1504879905 hasConceptScore W1504879905C173608175 @default.
- W1504879905 hasConceptScore W1504879905C184720557 @default.
- W1504879905 hasConceptScore W1504879905C2524010 @default.
- W1504879905 hasConceptScore W1504879905C33923547 @default.
- W1504879905 hasConceptScore W1504879905C35527583 @default.
- W1504879905 hasConceptScore W1504879905C41008148 @default.
- W1504879905 hasConceptScore W1504879905C4107886 @default.
- W1504879905 hasConceptScore W1504879905C48103436 @default.
- W1504879905 hasConceptScore W1504879905C4822641 @default.
- W1504879905 hasConceptScore W1504879905C55689738 @default.
- W1504879905 hasConceptScore W1504879905C72434380 @default.
- W1504879905 hasConceptScore W1504879905C75432250 @default.
- W1504879905 hasConceptScore W1504879905C80444323 @default.
- W1504879905 hasLocation W15048799051 @default.
- W1504879905 hasLocation W15048799052 @default.
- W1504879905 hasLocation W15048799053 @default.
- W1504879905 hasLocation W15048799054 @default.
- W1504879905 hasOpenAccess W1504879905 @default.
- W1504879905 hasPrimaryLocation W15048799051 @default.
- W1504879905 hasRelatedWork W1481272997 @default.
- W1504879905 hasRelatedWork W1504879905 @default.
- W1504879905 hasRelatedWork W1512004832 @default.
- W1504879905 hasRelatedWork W1870551948 @default.
- W1504879905 hasRelatedWork W2018057902 @default.
- W1504879905 hasRelatedWork W2145951394 @default.
- W1504879905 hasRelatedWork W2176068578 @default.
- W1504879905 hasRelatedWork W2358724039 @default.
- W1504879905 hasRelatedWork W2725068886 @default.
- W1504879905 hasRelatedWork W2963170819 @default.
- W1504879905 isParatext "false" @default.
- W1504879905 isRetracted "false" @default.
- W1504879905 magId "1504879905" @default.
- W1504879905 workType "book-chapter" @default.