Discrete time Sample Clauses

Discrete time. Much fewer SPAs with discrete time semantics were designed. Dts-nets [1] are a class of compositional DTSPNs with generally distributed discrete time transition delays. The denotational semantics of a stochastic extension (we call it stochastic ACP or sACP) of a subset of Algebra of Communicating Processes (ACP) [8] can be constructed via dts-nets. There are two types of transiti- ons: immediate (timeless) ones, with zero delays, and time ones, whose delays are random variables with general discrete distributions. The top-down synthesis of dts-nets consists in the substitution of their transitions by blocks (dts-subnets) corresponding to some composition operators. It was explained how to calculate the throughput time of dts-nets using the service time (holding time or delay) of their transitions. For this, the notions of service distribution for the transitions and throughput distribution for the building blocks were defined. Since the throughput time of the parallelism block was calculated as the maximal service time for its two constituting transitions, the analogue of the step semantics was implemented. Theory of Communicating Processes with discrete stochastic time (TCP dst) [63, 64], later called Theory of Communicating Processes with discrete real and stochastic time (TCP drst) [62], is another stochastic extension of ACP. TCP dst has discrete real time (deterministic) delays (including zero time delays) and discrete stochastic time delays. The algebra generalizes real time processes to discrete sto- chastic time ones by applying real time properties to stochastic time and imposing race condition to real time semantics. TCP dst has an interleaving operational semantics in terms of stochastic transition systems. The performance is analyzed via discrete time probabilistic reward graphs which are essentially the reward transition systems with probabilistic states having finite number of outgoing probabilistic Time Immediate (multi)actions Interleaving semantics Non-interleaving semantics Continuous No MTIPP (CTMC), PEPA (CTMP), sPBC (CTMC) GSPA (GSMP), Sπ, GSMPA (GSMP) Discrete No — dtsPBC (DTMC) Yes TCP dst (DTMRC) sACP, dtsiPBC (SMC, DTMC) transitions and timed states having a single outgoing timed transition. The mentio- ▇▇▇ graphs can be transformed by unfolding or geometrization into discrete time Markov reward chains (DTMRCs) appropriate for transient or stationary analysis. dtsiPBC, sACP and TCP dst, all have zero delays. However, discrete time ...
View Source

Related to Discrete time

  • Crib Time (i) When an Employee is required to work overtime after the usual ceasing time for the day or shift for two hours or more, he/she shall be allowed to take, without deduction of pay, a crib time of twenty minutes in duration immediately after such ceasing time and thereafter, after each four hours of continuous work, he/she shall be allowed to take also, without deduction of pay, a crib time of 30 minutes in duration. (ii) In the event of an Employee remaining at work after the usual ceasing time without taking the crib time of twenty minutes and continuing at work for a period of two hours or more, he/she shall be regarded as having worked twenty minutes more than the time worked and be paid accordingly.

  • Double Time The rate of double time shall be paid for all hours of overtime.

  • RDDS update time Refers to the time measured from the reception of an EPP confirmation to a transform command on a domain name, host or contact, up until the servers of the RDDS services reflect the changes made.

  • Show Up Time An employee who reports to work in the usual manner without having been notified that there is no work available and is sent home because of lack of work before having worked four (4) hours shall receive a minimum of four (4) hours pay at their prevailing hourly rate. The employee shall also receive their full accommodation allowance if and when applicable. Each employee must inform the Employer of a means of being contacted on short notice. If an attempt is made by the Employer at least two (2) hours before the employee’s shift commences by way of the contact information provided, in an effort to inform the employee of a lack of work, and the Employer is unable to do so, the employee will not be entitled to show up time.

  • DNS update time Refers to the time measured from the reception of an EPP confirmation to a transform command on a domain name, until the name servers of the parent domain name answer “DNS queries” with data consistent with the change made. This only applies for changes to DNS information.