Matches in SemOpenAlex for { <https://semopenalex.org/work/W31976835> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W31976835 endingPage "52" @default.
- W31976835 startingPage "38" @default.
- W31976835 abstract "The paper provides a solution to the fundamental problems of computing the shortest and the longest time taken by a run of a timed automaton from an initial state to a final state. It does so using the difference-bound matrix data structure to represent zones, which is a state-of-the-art heuristic to improve performance over the classical (and somewhat brute-force) region graph abstraction. The solution provided here is conceptually a marked improvement over some earlier work on the problems [16,9], in which repeated guesses (guided by binary search) and multiple model checking queries were effectively but inelegantly and less efficiently used; here only one run of the zone construction is sufficient to yield the answers. The paper then reports on a prototype implementation of the algorithms using Difference Bound Matrices (DBMs), and presents the results of its application on a realistic automatic manufacturing plant.KeywordsExecution TimeModel CheckSymbolic StateClock ConstraintClock VariableThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W31976835 created "2016-06-24" @default.
- W31976835 creator A5030763134 @default.
- W31976835 creator A5036930915 @default.
- W31976835 creator A5064773691 @default.
- W31976835 date "2014-01-01" @default.
- W31976835 modified "2023-09-27" @default.
- W31976835 title "Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices" @default.
- W31976835 cites W1482233117 @default.
- W31976835 cites W1482438700 @default.
- W31976835 cites W1514827953 @default.
- W31976835 cites W1518454656 @default.
- W31976835 cites W1604429416 @default.
- W31976835 cites W1820192350 @default.
- W31976835 cites W1977308797 @default.
- W31976835 cites W2007490191 @default.
- W31976835 cites W2007572995 @default.
- W31976835 cites W2073841996 @default.
- W31976835 cites W2084791569 @default.
- W31976835 cites W2101508170 @default.
- W31976835 cites W2148410410 @default.
- W31976835 cites W2150220388 @default.
- W31976835 cites W3023191323 @default.
- W31976835 doi "https://doi.org/10.1007/978-3-319-10512-3_4" @default.
- W31976835 hasPublicationYear "2014" @default.
- W31976835 type Work @default.
- W31976835 sameAs 31976835 @default.
- W31976835 citedByCount "3" @default.
- W31976835 countsByYear W319768352015 @default.
- W31976835 countsByYear W319768352016 @default.
- W31976835 countsByYear W319768352017 @default.
- W31976835 crossrefType "book-chapter" @default.
- W31976835 hasAuthorship W31976835A5030763134 @default.
- W31976835 hasAuthorship W31976835A5036930915 @default.
- W31976835 hasAuthorship W31976835A5064773691 @default.
- W31976835 hasConcept C111472728 @default.
- W31976835 hasConcept C112505250 @default.
- W31976835 hasConcept C11413529 @default.
- W31976835 hasConcept C124304363 @default.
- W31976835 hasConcept C132525143 @default.
- W31976835 hasConcept C134306372 @default.
- W31976835 hasConcept C138885662 @default.
- W31976835 hasConcept C154945302 @default.
- W31976835 hasConcept C173801870 @default.
- W31976835 hasConcept C3309909 @default.
- W31976835 hasConcept C33923547 @default.
- W31976835 hasConcept C41008148 @default.
- W31976835 hasConcept C48103436 @default.
- W31976835 hasConcept C48372109 @default.
- W31976835 hasConcept C77553402 @default.
- W31976835 hasConcept C80444323 @default.
- W31976835 hasConcept C94375191 @default.
- W31976835 hasConceptScore W31976835C111472728 @default.
- W31976835 hasConceptScore W31976835C112505250 @default.
- W31976835 hasConceptScore W31976835C11413529 @default.
- W31976835 hasConceptScore W31976835C124304363 @default.
- W31976835 hasConceptScore W31976835C132525143 @default.
- W31976835 hasConceptScore W31976835C134306372 @default.
- W31976835 hasConceptScore W31976835C138885662 @default.
- W31976835 hasConceptScore W31976835C154945302 @default.
- W31976835 hasConceptScore W31976835C173801870 @default.
- W31976835 hasConceptScore W31976835C3309909 @default.
- W31976835 hasConceptScore W31976835C33923547 @default.
- W31976835 hasConceptScore W31976835C41008148 @default.
- W31976835 hasConceptScore W31976835C48103436 @default.
- W31976835 hasConceptScore W31976835C48372109 @default.
- W31976835 hasConceptScore W31976835C77553402 @default.
- W31976835 hasConceptScore W31976835C80444323 @default.
- W31976835 hasConceptScore W31976835C94375191 @default.
- W31976835 hasLocation W319768351 @default.
- W31976835 hasOpenAccess W31976835 @default.
- W31976835 hasPrimaryLocation W319768351 @default.
- W31976835 hasRelatedWork W1507304228 @default.
- W31976835 hasRelatedWork W155277470 @default.
- W31976835 hasRelatedWork W1597099404 @default.
- W31976835 hasRelatedWork W1600251413 @default.
- W31976835 hasRelatedWork W1913414958 @default.
- W31976835 hasRelatedWork W2006053872 @default.
- W31976835 hasRelatedWork W2119571962 @default.
- W31976835 hasRelatedWork W2252547287 @default.
- W31976835 hasRelatedWork W2315830939 @default.
- W31976835 hasRelatedWork W2527940885 @default.
- W31976835 hasRelatedWork W2529157313 @default.
- W31976835 hasRelatedWork W2760523689 @default.
- W31976835 hasRelatedWork W2767789956 @default.
- W31976835 hasRelatedWork W2888104111 @default.
- W31976835 hasRelatedWork W2972859423 @default.
- W31976835 hasRelatedWork W3037364518 @default.
- W31976835 hasRelatedWork W37096083 @default.
- W31976835 hasRelatedWork W5947967 @default.
- W31976835 hasRelatedWork W84447938 @default.
- W31976835 hasRelatedWork W2181519658 @default.
- W31976835 isParatext "false" @default.
- W31976835 isRetracted "false" @default.
- W31976835 magId "31976835" @default.
- W31976835 workType "book-chapter" @default.