THE PARTIALLY SYNCHRONOUS CASE Sample Clauses

THE PARTIALLY SYNCHRONOUS CASE remains to show that agreement is impossible when ℓ > 3t and ℓ ≤ n+3t . To derive a contradiction, assume a Byzan- tine agreement algorithm A exists for such a system. We construct three executions of this algorithm, α, β and γ. In α, process identifiers are assigned as shown in the upper left portion of Figure 4. In this diagram, a process labelled Ai has identifier i and runs the algorithm A correctly, and a process labelled Bi has identifier i and is Byzantine. Note that there are n processes in total. The t Byzantine pro- cesses send no messages and all messages sent by correct processes are delivered. All correct processes have input 0 in α and must therefore decide 0 by some round rα. Execution β is defined similarly, as shown in the upper right 2 Here we prove that having ℓ > 3t+n is necessary and suf- portion of Figure 4. Again, the t Byzantine processes send ficient for solving Byzantine agreement in a partially syn- chronous system, regardless of whether the processes are numerate or innumerate. Intuitively, this condition means that at least 3t+1 of the identifiers must each be assigned to a single process (since 2ℓ − n > 3t). We shall see in Section
AutoNDA by SimpleDocs
THE PARTIALLY SYNCHRONOUS CASE. Here we prove that having ℓ > 3t+n is necessary and suf- ficient for solving Byzantine agreement in a partially syn- chronous system, regardless of whether the processes are numerate or innumerate. Intuitively, this condition means that at least 3t+1 of the identifiers must each be assigned to a single process (since 2ℓ − n > 3t). We shall see in Section

Related to THE PARTIALLY SYNCHRONOUS CASE

  • Television Equipment Recycling Program If this Contract is for the purchase or lease of covered television equipment, then Contractor certifies that it is compliance with Subchapter Z, Chapter 361 of the Texas Health and Safety Code related to the Television Equipment Recycling Program.

  • Bilingual Premium The appointing authority may require a qualified employee to perform bilingual duties in positions which have been identified and designated as requiring such bilingual skills. In order to ensure an adequate level of bilingual proficiency, the Director, Department of Human Resources may require periodic evaluation of incumbents receiving bilingual premium.

  • Loop Provisioning Involving Integrated Digital Loop Carriers 2.6.1 Where InterGlobe has requested an Unbundled Loop and BellSouth uses IDLC systems to provide the local service to the End User and BellSouth has a suitable alternate facility available, BellSouth will make such alternative facilities available to InterGlobe. If a suitable alternative facility is not available, then to the extent it is technically feasible, BellSouth will implement one of the following alternative arrangements for InterGlobe (e.g. hairpinning):

  • Synchronous Generation The Interconnection Customer shall design its Small Generating Facility to maintain a composite power delivery at continuous rated power output at the Point of Interconnection at a power factor within the range of 0.95 leading to 0.95 lagging, unless the NYISO or the Transmission Owner in whose Transmission District the Small Generating Facility interconnects has established different requirements that apply to all similarly situated generators in the New York Control Area or Transmission District (as applicable) on a comparable basis, in accordance with Good Utility Practice.

  • Non-Synchronous Generation The Interconnection Customer shall design its Small Generating Facility to maintain a composite power delivery at continuous rated power output at the high-side of the generator substation at a power factor within the range of 0.95 leading to 0.95 lagging, unless the NYISO or the Transmission Owner in whose Transmission District the Small Generating Facility interconnects has established a different power factor range that applies to all similarly situated non-synchronous generators in the control area or Transmission District (as applicable) on a comparable basis, in accordance with Good Utility Practice. This power factor range standard shall be dynamic and can be met using, for example, power electronics designed to supply this level of reactive capability (taking into account any limitations due to voltage level, real power output, etc.) or fixed and switched capacitors, or a combination of the two. This requirement shall only apply to newly interconnecting non-synchronous generators that have not yet executed a Facilities Study Agreement as of September 21, 2016.

  • Selection of Subcontractors, Procurement of Materials and Leasing of Equipment The contractor shall not discriminate on the grounds of race, color, religion, sex, national origin, age or disability in the selection and retention of subcontractors, including procurement of materials and leases of equipment. The contractor shall take all necessary and reasonable steps to ensure nondiscrimination in the administration of this contract.

  • Attachment A, Scope of Services The scope of services is amended as follows:

  • Programming Phase 2.2.1.2. Schematic Design Phase: 2.2.1.3. Design Development Phase:

  • Provisioning of High Frequency Spectrum and Splitter Space 3.2.1 BellSouth will provide <<customer_name>> with access to the High Frequency Spectrum as follows:

  • Construction Phase Services 3.1.1 – Basic Construction Services

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