Fault Model Sample Clauses

Fault Model. The controller replicas are considered to have independent faults, consisting of both crashes and delays. Crash faults are fail-stop, causing a replica to be faulty indefinitely until it is externally recovered. Delay faults are intermittent, i.e., a delay-faulty replica might turn non-faulty after the duration of the computation that was delayed.
AutoNDA by SimpleDocs

Related to Fault Model

  • Alternative Work Schedule An alternate forty (40) hour work schedule (other than five (5) uniform and consecutive eight (8) hour days in a seven (7) day period), or for hospital personnel an eighty (80) hour workweek in a fourteen (14) day period and other mutually agreed upon schedules that comply with applicable federal and state law. Employee work schedules normally include two (2) consecutive days off.

  • Alternative Work Schedules Employees may request alternative work schedules such as a nine (9) day - 80 hour two week schedule or a four (4) day - 40 hour week schedule. Management will respond to an employee's request within 15 calendar days. Any changes from existing work schedules will be based on the needs of the service as determined by Management. Employees covered by the Fair Labor Standards Act will not be placed on alternate work schedules that mandate the payment of overtime under the Act.

  • Alternate Work Schedules Workweeks and work shifts of different numbers of hours may be established for overtime-eligible employees by the Employer in order to meet business and customer service needs, as long as the alternate work schedules meet federal and state law. When there is a holiday, employees may be required to switch from their alternate work schedules to regular work schedules.

  • Alternate Work Schedule An alternate work schedule is any work schedule where an employee is regularly scheduled to work five (5) days per week, but the employee’s regularly scheduled two (2) days off are NOT Saturday and Sunday.

  • Model List your model number of the product you are bidding.

  • Flexible Work Schedule A flexible work schedule is any schedule that is not a regular, alternate, 9/80, or 4/10 work schedule and where the employee is not scheduled to work more than 40 hours in the "workweek" as defined in Subsections F. and H., below.

  • Aircraft Basic Price The Aircraft Basic Price is listed in Table 1 and is subject to escalation in accordance with the terms of this Purchase Agreement.

  • Hardware Warranty Company warrants that for a period of one (1) year from delivery of Hardware, Hardware will be free from defects in material and workmanship in normal use, but does not cover any of the following: (i) improper installation, maintenance, adjustment, repair or modification by Customer or a third party; (ii) misuse, neglect, or any other cause other than ordinary use, including without limitation, accidents or acts of God; (iii) improper environment, excessive or inadequate heating or air conditioning, electrical power failures, surges, water damage or other irregularities; (iv) third party software or software drivers; or (v) damage during shipment.

  • Flexible Work Schedules An employee may request a modification of their current work schedule to another schedule. The Employer, or its designees, may approve or deny flexible work schedules and retain the responsibility for determining exemptions from, or terminations of, flexible work schedules which adversely affect the operation of the Minnesota Judicial Branch or the level of service to the public.

  • Additional Features Additional Features are invoiced at the start of the first Contract Year following the Contract Year in which such Additional Features are activated.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!