Verification of Cell Programs Sample Clauses

Verification of Cell Programs. The Cell Broadband Engine processor [72] is a heterogeneous multicore architecture (see Section 3.1.1) consisting of a host processor, the power processor element (PPE) and eight accelerator processors, the synergistic processor elements (SPEs). The system has segmented memory (see Section 3.2.5): each SPE has its own portion of scratch-pad memory which can be accessed without contention. A thread running on an SPE must explicitly copy data to/from main memory from/to its scratch-pad memory using direct memory access (DMA) operations. In order to hide latency, an SPE thread can launch many DMA operations simultaneously, and must ensure that concurrent DMA operations do not race: if two DMA operations are simultaneously pending, either issued by the same or different threads, and if these operations access overlapping regions of memory, then neither operation can modify this overlapping region of memory, otherwise undefined results will be computed. A static technique for detecting races between DMA operations issued by a single SPE thread has been proposed, based on bounded model checking [48, 49]. In this approach, DMA operations are tracked by instrumentation variables, and assertions are added to the program under analysis such that a failed assertion indicates a DMA race. This work also shows that the k-induction method [118, 46] can be used to prove absence of DMA races in programs that use multi-buffering as a latency hiding technique. This DMA race analysis technique is implemented in the SCRATCH tool [50], which builds on the bounded model checker CBMC [33]. Another technique for static verification of programs that use DMA operations, based on separation logic [20, 19], is discussed in Section 6.3.1.
Sample 1

Related to Verification of Cell Programs

  • Verification of Coverage Prior to beginning any work under this Agreement, Consultant shall furnish City with certificates of insurance and with original endorsements effecting coverage required herein. The certificates and endorsements for each insurance policy are to be signed by a person authorized by that insurer to bind coverage on its behalf. The City reserves the right to require complete, certified copies of all required insurance policies at any time.

  • 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. a. The contractor shall notify all potential subcontractors and suppliers and lessors of their EEO obligations under this contract. b. The contractor will use good faith efforts to ensure subcontractor compliance with their EEO obligations.

  • Verification Bank may, from time to time, verify directly with the respective Account Debtors the validity, amount and other matters relating to the Accounts, either in the name of Borrower or Bank or such other name as Bank may choose.

  • Electronic Visit Verification ("EVV A. To ensure: 1. the EVV system is used to verify the provision of services governed under 40 TAC, Chapter 68 or its successor; 2. only authorized people access the Contractor's EVV account; 3. all data elements required by HHSC or HHSC's designee are uploaded or entered and maintained in the EVV system completely, accurately, and prior to submitting the claim; 4. that each time services governed by 40 TAC Chapter 68 or its successor are delivered to an individual, the Contractor's staff uses an HHSC-approved EVV system; and 5. service delivery documentation is immediately available for review by HHSC when requested. B. Equipment provided to Contractor by HHSC, HHSC’s designee, or an HHSC-approved EVV vendor, must be returned in good condition when the equipment is no longer needed under this Contract. In the context of this agreement, “good condition” means Contractor must not place any marks or identifying information on the equipment and may not alter information on the equipment including logos and serial numbers. If the equipment is lost, stolen, marked, altered or damaged by Contractor, Contractor may be required to pay the replacement cost for each piece of equipment that is lost, stolen, marked or damaged. Replacement costs for lost, stolen, marked or damaged equipment may be assessed periodically. If Contractor recovers previously lost or stolen equipment for which Contractor paid the replacement cost in the prior 12 months, Contractor may return the equipment and be reimbursed for the replacement costs within 12 months of the date HHSC, HHSC’s designee or an HHSC-approved EVV vendor (as applicable) received payment in full from the Contractor. This is provided the equipment is returned in good condition as specified above. C. HHSC may perform EVV compliance oversight reviews to determine if Contractor has complied with EVV compliance requirements as outlined in 40 TAC Chapter 68 or its successor, EVV Policy posted on the HHSC EVV website or EVV Policy Handbook. D. If the Contractor determines an electronic record in the EVV system needs to be adjusted at any time, the Contractor will make the adjustment in the EVV system using the most appropriate EVV reason code number(s), EVV reason code description(s) and enter any required free text when completing visit maintenance in the EVV system, if applicable. E. Contractor must begin using an HHSC-approved EVV system prior to submitting an EVV relevant claim. F. All claims for services required to use EVV (EVV claims) must match to an accepted EVV visit transaction in the EVV Aggregator (the state’s centralized EVV database) prior to reimbursement of an EVV claim. Without a matching accepted EVV visit transaction, the claim will be denied. G. Contractor must submit all EVV related claims through the Texas Medicaid Claims Administrator, or as otherwise described in the EVV Policy posted on the HHSC EVV website or in the EVV Policy Handbook. H. Contractor must complete all required EVV training as outlined in the EVV Policy posted on the HHSC EVV website or EVV Policy Handbook: • Prior to using either an EVV vendor system or an EVV proprietary system and • Yearly thereafter. I. Contractor and, if applicable, the Contractor’s appointed EVV system administrator, must complete, sign and date the EVV Onboarding Form as outlined in 40 TAC Chapter 68 or its successor, EVV Policy posted on the HHSC website or EVV Policy Handbook.

  • Medical Verification The Town may require medical verification of an employee’s absence if the Town perceives the employee is abusing sick leave or has used an excessive amount of sick leave. The Town may require medical verification of an employee’s absence to verify that the employee is able to return to work with or without restrictions.

  • Application of Funding Techniques to Programs 6.3.1 The State shall apply the following funding techniques when requesting Federal funds for the component cash flows of the programs listed in sections 4.2 and 4.3 of this Agreement. 6.3.2 Programs Below are programs listed in Section 4.2 and Section 4.3.

  • Eligibility Verification (a) HHSC will verify Medicaid eligibility for Dual Eligible Members by the fifth business day of the month following the receipt of the MA Dual SNP’s monthly enrollment file, in accordance with Section 3.02(b). (b) To verify Medicaid eligibility of an individual Member, HHSC agrees to provide the MA Dual SNP with real-time access to HHSC’s claims administrator’s Medicaid eligibility verification system.

  • Distribution of UDP and TCP queries DNS probes will send UDP or TCP “DNS test” approximating the distribution of these queries.

  • MEASUREMENT AND VERIFICATION The goal of this task is to report the benefits resulting from this project. • Enter into agreement with M&V subcontractor per Task 1.9 • Coordinate site visits with the M&V subcontractor at the demonstration site • Develop M&V protocol for pre-installation measurement and calculations following Section II.B.2 of the grant solicitation manual3: o Electric, natural gas and/or other fossil fuel consumption and greenhouse gas emissions (use appropriate emissions factor from Attachment 8 of the grant solicitation manual) of the equipment/process/system(s)/sub-system(s) that are be upgraded and/or replaced and/or modified; and o If necessary, ensure installation of sub-metering equipment and data loggers for pre/post data analysis. • Prepare and provide a detailed Measurement and Verification Plan to include but not be limited to: o A description of the monitoring equipment and instrumentation which will be used; o A description of the key input parameters and output metrics which will be measured; o A description of the M&V protocol and analysis methods to be employed; and o A description of the independent, third-party measurement and verification services to be employed. • Perform three months (or shorter period as approved in writing by the CAM) of pre- installation measurements and calculations, based on the M&V protocol for pre-install • Prepare and provide a Pre-Installation Measurement and Verification Findings Report which includes M&V protocol, pre-install measurements (and calculations), analysis, and results performed in this task. • Develop M&V protocol for post-installation measurements (and calculations) of: o Electric, natural gas and/or other fossil fuel consumption and greenhouse gas emissions (use appropriate emissions factor from Attachment 8 of the grant solicitation manual) of the equipment/process/system(s)/sub-system(s) that will be upgraded and/or replaced and/or modified  Perform 12 months (or shorter period as approved in writing by the CAM) of post- installation measurements based on M&V protocol for post-installation. • Provide a summary of post-installation M&V progress in Progress Report(s) (see subtask 1.5) which shall include but not be limited to: o A narrative on operational highlights from the reporting period, including any stoppages in operation and why; and o A summary of M&V findings from the reporting period. • Analyze post-installation electrical, natural gas and/or other fossil fuel consumption and greenhouse gas emissions. • Prepare and provide a Post-Installation Measurement and Verification Findings Report that includes M&V protocol, pre and post install measurements and calculations, analysis, and results performed in this task. Results should at a minimum report on the reduction of electricity, natural gas and/or other fossil fuel usage and reductions of greenhouse gas emissions that directly result from this project.

  • Verification Procedure (1) The signature file of each processed file is validated. (2) If processed files are pieces of a bigger file, the latter is put together. (3) Each file obtained in the previous step is then decrypted and uncompressed. (4) Each data file contained in the previous step is then validated against the format defined in Part A, Section 9, reference 1 of this Specification. (5) If Part A, Section 9, reference 1 of this Specification includes a verification process, that will be applied at this step. If any discrepancy is found in any of the steps, the Deposit will be considered incomplete.