Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040615765> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2040615765 endingPage "6" @default.
- W2040615765 startingPage "1" @default.
- W2040615765 abstract "Simulation platforms for complex networked real time systems require random input pattern generators for simulating input distributions. They also require monitors for checking whether the output of the system satisfies the desired throughput. In this paper we study the acceptance and generation problems in a setting where the constraints defining the input distributions as well as the constraints defining the expected output distributions are specified in real time calculus (RTC). We prove that event patterns satisfying a given set of RTC constraints can be described by a ω-regular language. We propose a method for constructing an automaton that can be used for online generation of random admissible event patterns. This is significant, considering the known problems of deadlock in less informed generators for streams satisfying RTC constraints." @default.
- W2040615765 created "2016-06-24" @default.
- W2040615765 creator A5000902720 @default.
- W2040615765 creator A5033329960 @default.
- W2040615765 date "2014-03-24" @default.
- W2040615765 modified "2023-09-22" @default.
- W2040615765 title "Acceptance and random generation of event sequences under real time calculus constraints" @default.
- W2040615765 cites W1531774098 @default.
- W2040615765 cites W1854753885 @default.
- W2040615765 cites W1975530687 @default.
- W2040615765 cites W1982507664 @default.
- W2040615765 cites W2046593656 @default.
- W2040615765 cites W2120452217 @default.
- W2040615765 cites W2124262702 @default.
- W2040615765 cites W2124491313 @default.
- W2040615765 cites W2136711971 @default.
- W2040615765 cites W2138856440 @default.
- W2040615765 cites W2139548638 @default.
- W2040615765 cites W2141513652 @default.
- W2040615765 cites W2157074735 @default.
- W2040615765 cites W2186026513 @default.
- W2040615765 cites W3101363878 @default.
- W2040615765 doi "https://doi.org/10.5555/2616606.2616985" @default.
- W2040615765 hasPublicationYear "2014" @default.
- W2040615765 type Work @default.
- W2040615765 sameAs 2040615765 @default.
- W2040615765 citedByCount "1" @default.
- W2040615765 countsByYear W20406157652015 @default.
- W2040615765 crossrefType "proceedings-article" @default.
- W2040615765 hasAuthorship W2040615765A5000902720 @default.
- W2040615765 hasAuthorship W2040615765A5033329960 @default.
- W2040615765 hasConcept C112505250 @default.
- W2040615765 hasConcept C11413529 @default.
- W2040615765 hasConcept C120314980 @default.
- W2040615765 hasConcept C121332964 @default.
- W2040615765 hasConcept C126255220 @default.
- W2040615765 hasConcept C159023740 @default.
- W2040615765 hasConcept C177264268 @default.
- W2040615765 hasConcept C18460168 @default.
- W2040615765 hasConcept C199360897 @default.
- W2040615765 hasConcept C2779662365 @default.
- W2040615765 hasConcept C33923547 @default.
- W2040615765 hasConcept C41008148 @default.
- W2040615765 hasConcept C62520636 @default.
- W2040615765 hasConcept C80444323 @default.
- W2040615765 hasConceptScore W2040615765C112505250 @default.
- W2040615765 hasConceptScore W2040615765C11413529 @default.
- W2040615765 hasConceptScore W2040615765C120314980 @default.
- W2040615765 hasConceptScore W2040615765C121332964 @default.
- W2040615765 hasConceptScore W2040615765C126255220 @default.
- W2040615765 hasConceptScore W2040615765C159023740 @default.
- W2040615765 hasConceptScore W2040615765C177264268 @default.
- W2040615765 hasConceptScore W2040615765C18460168 @default.
- W2040615765 hasConceptScore W2040615765C199360897 @default.
- W2040615765 hasConceptScore W2040615765C2779662365 @default.
- W2040615765 hasConceptScore W2040615765C33923547 @default.
- W2040615765 hasConceptScore W2040615765C41008148 @default.
- W2040615765 hasConceptScore W2040615765C62520636 @default.
- W2040615765 hasConceptScore W2040615765C80444323 @default.
- W2040615765 hasLocation W20406157651 @default.
- W2040615765 hasOpenAccess W2040615765 @default.
- W2040615765 hasPrimaryLocation W20406157651 @default.
- W2040615765 hasRelatedWork W146661705 @default.
- W2040615765 hasRelatedWork W1487596582 @default.
- W2040615765 hasRelatedWork W1537880435 @default.
- W2040615765 hasRelatedWork W1550164476 @default.
- W2040615765 hasRelatedWork W160316085 @default.
- W2040615765 hasRelatedWork W1860097 @default.
- W2040615765 hasRelatedWork W1982399537 @default.
- W2040615765 hasRelatedWork W1992424384 @default.
- W2040615765 hasRelatedWork W2037524714 @default.
- W2040615765 hasRelatedWork W2063496519 @default.
- W2040615765 hasRelatedWork W2073841996 @default.
- W2040615765 hasRelatedWork W2104133609 @default.
- W2040615765 hasRelatedWork W2130026896 @default.
- W2040615765 hasRelatedWork W2142005831 @default.
- W2040615765 hasRelatedWork W2143891849 @default.
- W2040615765 hasRelatedWork W2158942146 @default.
- W2040615765 hasRelatedWork W2171252369 @default.
- W2040615765 hasRelatedWork W2572792128 @default.
- W2040615765 hasRelatedWork W2624672507 @default.
- W2040615765 hasRelatedWork W2963764477 @default.
- W2040615765 isParatext "false" @default.
- W2040615765 isRetracted "false" @default.
- W2040615765 magId "2040615765" @default.
- W2040615765 workType "article" @default.