Architecture of Paxos-MIC Sample Clauses

Architecture of Paxos-MIC. 4.3.1 Interaction with external proposers and learners We consider an open distributed system where nodes, called external Proposers/Learners and denoted PLextk, interact with a finite set of n nodes whose mission is to deliver a unique sequence of decision values by executing the Paxos-MIC agreement protocol. External pro- posers and learners are not involved in the convergence mechanism that is only driven by the interactions between the set of n nodes. An external proposer/learner PLextk participates to a consensus instance by identi- fying it with a sequence number called the consensus number and denoted c. For each value of c such that c ≥ 1, we assume that at least one correct node PLextkc calls the function Propose(c,vkc ). In doing so, this node suggests an initial value vkc that is likely to be the de- cided value determined at the end of consensus c. Without loss of generality, we assume that a node that provides an initial value during consensus c is implicitly interested in knowing the corresponding decision: therefore it must receive a Decision message that contains this decision value (denoted < v, c >). The Paxos-MIC protocol manages the complete series of consensus and not just a single consensus instance. More precisely, it begins by running an initial consensus that is numbered 1. Once the first decision is obtained, the protocol continues its execution and starts immediately the next consensus instance numbered 2 and so on. Assuming that c is the number of the current consensus instance, the protocol can converge toward a new deci- sion value < vx, c > because at least one correct participant calls the function Propose(vy,c)2. In the Paxos-MIC protocol, an external entity does not have to know the consensus number corresponding to the last reached decision. As the protocol is responsible for archiving all decisions adopted in the past, a call to the function Propose(vk,ca) done by a participant that is unaware of being behind (i.e., ca < c) will receive back a stored decision value. On the con- trary the initial value proposed by a participant that is either synchronized or ahead may be used during the current consensus (when ca = c) or is stored to be used later (when ca > c). While the consensus number managed within the Paxos-MIC protocol is incremented by 1 after each decision, an external entity can execute calls in a random order (knowing that any proposed value can potentially become a decision value). At any time, the number of c...
AutoNDA by SimpleDocs

Related to Architecture of Paxos-MIC

  • Curriculum Development This includes the analysis and coordination of textual materials; constant review of current literature in the field, some of which are selected for the college library collection, the preparation of selective, descriptive materials such as outlines and syllabi; conferring with other faculty and administration on curricular problems; and, the attendance and participation in inter and intra-college conferences and advisory committees.

  • Curriculum Work Service on a District curriculum committee shall be required for grade level or department chairpersons. All other teachers working on such committee(s) shall be designated (in writing) by the Curriculum Director and shall be paid, at the hourly rate contained in Schedule B, for all documented hours of committee service (up to such limits as may be imposed by the District) occurring when school is not in session (e.g. during the summer), during duty-free lunch periods or preparation periods, and before/after the teacher’s regularly scheduled work day. Curriculum committee work shall occur at such times as are determined or approved by the Curriculum Director.

  • Curriculum Vitae (a) The Chief Librarian shall maintain a curriculum vita for each Librarian. It is the Librarian’s responsibility to ensure that the curriculum vita on file is kept current. Members shall prepare their curriculum vita with the advice and assistance of their Chief Librarian. Members may revise their curriculum vita at any time.

  • Trunk Group Architecture and Traffic Routing The Parties shall jointly engineer and configure Local/IntraLATA Trunks over the physical Interconnection arrangements as follows:

  • Mastectomy Services Inpatient This plan provides coverage for a minimum of forty-eight (48) hours in a hospital following a mastectomy and a minimum of twenty-four (24) hours in a hospital following an axillary node dissection. Any decision to shorten these minimum coverages shall be made by the attending physician in consultation with and upon agreement with you. If you participate in an early discharge, defined as inpatient care following a mastectomy that is less than forty-eight (48) hours and inpatient care following an axillary node dissection that is less than twenty-four (24) hours, coverage shall include a minimum of one (1) home visit conducted by a physician or registered nurse.

  • Anesthesia Services This plan covers general and local anesthesia services received from an anesthesiologist when the surgical procedure is a covered healthcare service. This plan covers office visits or office consultations with an anesthesiologist when provided prior to a scheduled covered surgical procedure.

  • Infrastructure Vulnerability Scanning Supplier will scan its internal environments (e.g., servers, network devices, etc.) related to Deliverables monthly and external environments related to Deliverables weekly. Supplier will have a defined process to address any findings but will ensure that any high-risk vulnerabilities are addressed within 30 days.

  • Drug and Alcohol Testing – Safety-Sensitive Functions A. Employees required to have a Commercial Driver’s License (CDL) are subject to pre-employment, post-accident, random and reasonable suspicion testing in accordance with the U.S. Department of Transportation rules, Coast Guard Regulations (46 CFR Part 16) or the Federal Omnibus Transportation Employee Testing Act of 1991. The testing will be conducted in accordance with current Employer policy.

  • Background Screening VENDOR shall comply with all requirements of Sections 1012.32 and 1012.465, Florida Statutes, and all of its personnel who (1) are to be permitted access to school grounds when students are present, (2) will have direct contact with students, or (3) have access or control of school funds, will successfully complete the background screening required by the referenced statutes and meet the standards established by the statutes. This background screening will be conducted by SBBC in advance of VENDOR or its personnel providing any services under the conditions described in the previous sentence. VENDOR shall bear the cost of acquiring the background screening required by Section 1012.32, Florida Statutes, and any fee imposed by the Florida Department of Law Enforcement to maintain the fingerprints provided with respect to VENDOR and its personnel. The parties agree that the failure of VENDOR to perform any of the duties described in this section shall constitute a material breach of this Agreement entitling SBBC to terminate immediately with no further responsibilities or duties to perform under this Agreement. VENDOR agrees to indemnify and hold harmless SBBC, its officers and employees from any liability in the form of physical or mental injury, death or property damage resulting from VENDOR’s failure to comply with the requirements of this section or with Sections 1012.32 and 1012.465, Florida Statutes.

  • Contract Database Metadata Elements Title: Whitesville Central School District and Whitesville Central School Educational Support Staff Association (2003) Employer Name: Whitesville Central School District Union: Whitesville Central School Educational Support Staff Association Local: Effective Date: 07/01/2003 Expiration Date: 06/30/2006 PERB ID Number: 10699 Unit Size: Number of Pages: 23 For additional research information and assistance, please visit the Research page of the Catherwood website - xxxx://xxx.xxx.xxxxxxx.xxx/library/research/ For additional information on the ILR School - xxxx://xxx.xxx.xxxxxxx.xxx/ AGREEMENT BETWEEN WHITESVILLE CENTRAL SCHOOL EDUCATIONAL SUPPORT STAFF ASSOCIATION AND THE WHITESVILLE CENTRAL SCHOOL DISTRICT JULY 1, 2003 THROUGH JUNE 30, 2006 TABLE OF CONTENTS ARTICLE TITLE PAGE Preamble 1 I Recognition 1 II Collective Bargaining U n i t 1 III Dues/Agency Fee Ckoffand Payroll Deduction 1 IV Rights of Employees 2 V Rights of Employer ------------- 2 VI Personnel F i l e 2 VII Employee Definitions 3 VIII Permanent Status/Seniority 4 IX Wages 5 X Overtime 7 XI Vacation 7 XII Holidays 8 XIII Sick Leave and Leavesof A b s e n c e 8 XIV Conference, Workshops,Required Courses 10 XV Meal Allowance and M i l e a g e 11 XVI Retirement 11 XVII Insurance 12 XVIII Cafeteria P l a n 14 .XIX Uniform Allowance------------------ 14 XX Hours of W o r k 14 XXI Transfers/Promotions 15 XXII Job Descriptions 15 XXIII Grievance Procedure 15 XIV Copies of the Contract 18 XV Zipper C x x x x x 18 XXVI Legislative Clause 18 XXVII Duration 19 SIGNATURES 19 APPENDIX A Grievance F o r m 20 APPENDIX B Dues Authorization F o r m 21

Time is Money Join Law Insider Premium to draft better contracts faster.