Dining Philosophers Sample Clauses

Dining Philosophers. ‌ BRIC This case study is the asymmetric dining philosophers. In this case study, philosophers try to acquire a pair of shared forks in order to eat. The philoso- phers are sat in a table and there is a fork between each pair of philosophers. The random acquisition of the forks by the philosophers might lead to a deadlock, but in the asymmetric version, the order of acquisition of forks prevents deadlocks. In this section, we introduce a CML model for the forks and philosophers, and we demonstrate how to use to compose these components so as to create the asymmetric dining philosophers settings. Firstly, we introduce some global variable, or, as the CML terminology de- fines, values, that are useful for parametrising our model. The value N gives the number of philosophers, or forks, in our model. Hence, if N = 3 then we have three forks and three philosophers in our model. The value RANGE_SET gives a set of natural numbers that distinguishes the philosophers one from the other. The same set is used for distinguishing forks. values N : nat = 3 RANGE_SET : set of nat = {0,...,(N-1)} Next, we introduce the types used in our model. The RANGE type consists of the set of natural numbers such that its elements belong to the RANGE_SET value. The enumerated type REQUISITION gives the possible uses of a com- munication channel. The <req> states that an action is being requested by the channel, whereas the <ack> is used to acknowledge that an action has been performed. The enumerated type S_ACTION (S stands for Shared) gives the actions performed by forks and philosophers, which require interaction between them. The enumerated type I_ACTION (I stands for Individual) gives the actions performed by a philosopher that do not require interaction, i. e. individual tasks performed by the philosopher. types RANGE = nat inv n == n in set RANGE_SET REQUISITION = <req> | <ack> S_ACTION = <picksup> | <putsdown> I_ACTION = <eats> | <getsup> | <sitsdown> Moving forward, we introduce the channels used in our model. The channel pfk is used by the philosophers to perform interacting actions with forks. The channel fk is used by the forks to perfom actions that require interaction with philosophers. Lastly, the life channel is used by the philosophers to state which individual action they are doing. channels pfk : RANGE * RANGE * S_ACTION * REQUISITION fk : RANGE * RANGE * S_ACTION * REQUISITION life : RANGE * I_ACTION Additionally, some functions that are useful in the description o...

Related to Dining Philosophers

  • Training and Promotion a. The contractor will assist in locating, qualifying, and increasing the skills of minorities and women who are applicants for employment or current employees. Such efforts should be aimed at developing full journey level status employees in the type of trade or job classification involved. b. Consistent with the contractor's work force requirements and as permissible under Federal and State regulations, the contractor shall make full use of training programs, i.e., apprenticeship, and on-the-job training programs for the geographical area of contract performance. In the event a special provision for training is provided under this contract, this subparagraph will be superseded as indicated in the special provision. The contracting agency may reserve training positions for persons who receive welfare assistance in accordance with 23 U.S.C. 140(a). c. The contractor will advise employees and applicants for employment of available training programs and entrance requirements for each. d. The contractor will periodically review the training and promotion potential of employees who are minorities and women and will encourage eligible employees to apply for such training and promotion.

  • Training Program It is agreed that there shall be an Apprenticeship Training Program, the provisions of which are set forth in Exhibit "D", which is attached hereto and forms part of this Agreement.

  • Training and Professional Development 11.1 The Employer will develop and maintain an employee training and development plan and provide such plan to the Union upon request. Staff training is intended to provide an opportunity for classified staff employees for training sponsored by the University Training and Development and the UW Medical Centers Organizational Development and Training. Education/Professional Leave is intended to facilitate employee access to continuing education opportunities. Training and educational/professional leave may be used for the purpose of improving job performance, maintaining and increasing proficiency, preparing staff for greater responsibility, or increasing promotional opportunities within the framework of staff positions available at the University. 11.2 Any release time for training for employees accepted for such classes shall be in accordance with the Executive Order (currently No. 52) governing this matter. In the event that two or more employees request the same training period and supervision must limit the number of persons who may participate at one time due to work requirements, the selection will be made on a mutually agreeable basis within the department. 11.3 The training program is a proper subject for discussion by either departmental or University-wide Joint Union/Management Committees. 11.4 If the Employer requires an employee to receive training, reimbursement will be provided in accordance with the University travel rules. Employee attendance at Employer required training, either during or outside working hours, will be considered time worked and compensated in accordance with the provisions of this Agreement. 11.5 Employee attendance at training not required by the Employer and not covered by Executive Order 52, either on approved leave from or outside of working hours, will be voluntary and not considered time worked.

  • Training Programs All employees shall successfully complete all necessary training prior to being assigned work (e.g., all employees will complete health and safety training prior to being assigned to task). Nothing in this Article or provision shall constitute a waiver of either party’s bargaining obligations or defenses. The Employer still has an obligation to notify and bargain changes in terms and conditions of employment with the exclusive representative.

  • 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.

  • Business Continuity Planning Supplier shall prepare and maintain at no additional cost to Buyer a Business Continuity Plan (“BCP”). Upon written request of Buyer, Supplier shall provide a copy of Supplier’s BCP. The BCP shall be designed to ensure that Supplier can continue to provide the goods and/or services in accordance with this Order in the event of a disaster or other BCP-triggering event (as such events are defined in the applicable BCP). Supplier’s BCP shall, at a minimum, provide for: (a) the retention and retrieval of data and files; (b) obtaining resources necessary for recovery, (c) appropriate continuity plans to maintain adequate levels of staffing required to provide the goods and services during a disruptive event; (d) procedures to activate an immediate, orderly response to emergency situations; (e) procedures to address potential disruptions to Supplier’s supply chain; (f) a defined escalation process for notification of Buyer, within two (2) business days, in the event of a BCP-triggering event; and (g) training for key Supplier Personnel who are responsible for monitoring and maintaining Supplier’s continuity plans and records. Supplier shall maintain the BCP and test it at least annually or whenever there are material changes in Supplier’s operations, risks or business practices. Upon Xxxxx’s written and reasonable request, Supplier shall provide Buyer an executive summary of test results and a report of corrective actions (including the timing for implementation) to be taken to remedy any deficiencies identified by such testing. Upon Xxxxx’s request and with reasonable advance notice and conducted in such a manner as not to unduly interfere with Supplier’s operations, Supplier shall give Buyer and its designated agents access to Supplier’s designated representative(s) with detailed functional knowledge of Supplier’s BCP and relevant subject matter.

  • Procurement Planning Prior to the issuance of any invitations to bid for contracts, the proposed procurement plan for the Project shall be furnished to the Association for its review and approval, in accordance with the provisions of paragraph 1 of Appendix 1 to the Guidelines. Procurement of all goods and works shall be undertaken in accordance with such procurement plan as shall have been approved by the Association, and with the provisions of said paragraph 1.

  • 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.

  • Condominiums/Planned Unit Developments If the Mortgaged Property is a condominium unit or a planned unit development (other than a de minimis planned unit development) such condominium or planned unit development project such Mortgage Loan was originated in accordance with, and the Mortgaged Property meets the guidelines set forth in the Originator's Underwriting Guidelines;

  • Training Opportunities The requirements of Section 3 of the Housing and Urban Development Act of 1968, as amended, 12 U.S.C. 1701u ("Section 3"), requiring that to the greatest extent feasible opportunities for training and employment be given to lower income residents of the project area and agreements for work in connection with the project be awarded to business concerns which are located in, or owned in substantial part by persons residing in, the areas of the project. Borrower agrees to include the following language in all subcontracts executed under this HOME/HOPWA Regulatory Agreement: (1) The work to be performed under this contract is subject to the requirements of Section 3 of the Housing and Urban Development Act of 1968, as amended, 12 U.S.C. 1701u. The purpose of Section 3 is to ensure that employment and other economic opportunities generated by HUD assistance or HUD-assisted projects covered by Section 3, shall, to the greatest extent feasible, be directed to low- and very low-income persons, particularly persons who are recipients of HUD assistance for housing. (2) The parties to this contract agree to comply with HUD's regulations in 24 C.F.R. Part 135, which implement Section 3. As evidenced by their execution of this contract, the parties to this contract certify that they are under no contractual or other impediment that would prevent them from complying with the Part 135 regulations. (3) The contractor agrees to send to each labor organization or representative of workers with which the contractor has a collective bargaining agreement or other understanding, if any, a notice advising the labor organization or workers' representative of the contractor's commitments under this Section 3 clause; and will post copies of the notice in conspicuous places at the work site where both employees and applicants for training and employment positions can see the notice. The notice shall describe the Section 3 preference; shall set forth minimum number and job titles subject to hire; availability of apprenticeship and training positions; the qualifications for each; the name and location of the person(s) taking applications for each of the positions; and the anticipated date the work shall begin. (4) The contractor agrees to include this Section 3 clause in every subcontract subject to compliance with regulations in 24 C.F.R. Part 135, and agrees to take appropriate action, as provided in an applicable provision of the subcontract or in this Section 3 clause, upon a finding that the subcontractor is in violation of the regulations in 24 C.F.R. Part 135. The contractor will not subcontract with any subcontractor where the contractor has notice or knowledge that the subcontractor has been found in violation of the regulations in 24 C.F.R. Part 135. (5) The contractor will certify that any vacant employment positions, including training positions, that are filled (A) after the contractor is selected but before the contract is executed, and (B) with persons other than those to whom the regulations of 24 C.F.R. Part 135 require employment opportunities to be directed, were not filled to circumvent the contractor's obligations under 24 C.F.R. Part 135. (6) Noncompliance with HUD's regulations in 24 C.F.R. Part 135 may result in sanctions, termination of this contract for default, and debarment or suspension from future HUD assisted contracts. (7) With respect to work performed in connection with Section 3 covered Indian housing assistance, section 7(b) of the Indian Self-Determination and Education Assistance Act (25 U.S.C. 450e) also applies to the work to be performed under this contract. Section 7(b) requires that to the greatest extent feasible (i) preference and opportunities for training and employment shall be given to Indians, and (ii) preference in the award of contracts and subcontracts shall be given to Indian organizations and Indian-owned Economic Enterprises. Parties to this contract that are subject to the provisions of Section 3 and section 7(b) agree to comply with Section 3 to the maximum extent feasible, but not in derogation of compliance with section 7(b).