The Energy-Aware Symbolic Sample Clauses

The Energy-Aware Symbolic. Execution Semantics We now study the algorithm that computes all possible executions of SECA programs, together with their corresponding skylines. The algorithm records skylines of each function separately. This results in one skyline for each function call, for each execution path on which the call lies. The algorithm is defined by case distinction on the abstract syntax. We present the whole algorithm in Figs. 7 and 8, but provide a detailed description only for a few clauses. A complete description of the algorithm, as well as a formal definition of the semantics in the style common in programming language research, can be found in the technical report [19]. An implementation is available online [3].
Sample 1Sample 2
AutoNDA by SimpleDocs

Related to The Energy-Aware Symbolic

  • PayPal’s Buyer Protection Program When you buy something from a seller who accepts PayPal, you may be eligible for a refund under PayPal’s Buyer Protection program. When applicable, PayPal’s Buyer Protection program entitles you to reimbursement for the full purchase price of the item plus the original shipping costs you paid, if any. PayPal determines, in its sole discretion, whether your claim is eligible for PayPal’s Buyer Protection program. PayPal’s original determination is considered final, but you may be able to file an appeal of the decision with PayPal if you have new or compelling information not available at the time of the original determination or you believe there was an error in the decision-making process. The program terms and conditions are set out in PayPal’s Buyer Protection program page and form part of this user agreement.

  • PayPal's Seller Protection Program If you sell a good or service to a buyer, you may be eligible for PayPal's Seller Protection program. When it applies, PayPal's Seller Protection program entitles you to retain the full purchase amount. PayPal determines, in its sole discretion, whether your claim is eligible for PayPal’s Seller Protection Program. There is no limit on the number of payments eligible for PayPal's Seller Protection program. By accessing the transaction details page in your PayPal account you can see transactions that may be eligible for protection under this program. The Seller Protection Program terms and conditions are set out in the PayPal’s Seller Protection Program page and form part of this User Agreement.

  • Xxxxx Disaster Protection In accordance with the requirements of the Flood Disaster Protection Act of 1973 (42 U.S.C. 4001), the Subrecipient shall assure that for activities located in an area identified by the Federal Emergency Management Agency (FEMA) as having special flood hazards, flood insurance under the National Flood Insurance Program is obtained and maintained as a condition of financial assistance for acquisition or construction purposes (including rehabilitation).

  • ENERGY POLICY AND CONSERVATION ACT COMPLIANCE To the extent applicable, Supplier must comply with the mandatory standards and policies relating to energy efficiency which are contained in the state energy conservation plan issued in compliance with the Energy Policy and Conservation Act.

  • Disaster Recovery and Business Continuity The Parties shall comply with the provisions of Schedule 5 (Disaster Recovery and Business Continuity).

  • Energy Policy and Conservation Act Both parties hereby agree to comply with all mandatory standards and policies relating to energy efficiency, which are contained in the state energy conservation plan issued in compliance with the Energy Policy and Conservation Act (Pub. L. 94-163, 89 Stat. 871).

  • CLEAN AIR AND WATER POLLUTION CONTROL ACT Customer Purchase Orders using federal funds must contain a provision that requires the Contractor to agree to comply with all applicable standards, orders or regulations issued pursuant to the Clean Air Act (42 U.S.C. 7401-7671q) and the Federal Water Pollution Control Act as amended (33 U.S.C. 1251-1387). Violations must be reported to the Federal awarding agency and the Regional Office of the Environmental Protection Agency (EPA). Pursuant to the Federal Rule above, Contractor certifies that it is in compliance with all applicable provisions of the Clean Air Act (42 U.S.C. 7401-7671q) and the Federal Water Pollution Control Act as amended (33 U.S.C. 1251-1387) and will remain in compliance during the term of the Contract.

  • Human and Financial Resources to Implement Safeguards Requirements 10. The Borrower shall make available or cause the State and the DISCOMs to make available necessary budgetary and human resources to fully implement the EMP, the RP and any IPP.

  • Hatch Act The Subrecipient agrees that no funds provided, nor personnel employed under this Agreement, shall be in any way or to any extent engaged in the conduct of political activities in violation of Chapter 15 of Title V of the U.S.C.

  • National Environmental Policy Act All subrecipients must comply with the requirements of the National Environmental Policy Act (NEPA) 42 U.S.C. 4321 et seq., and the Council on Environmental Quality (CEQ) Regulations (40 C.F.R. Parts 1500-1508) for Implementing the Procedural Provisions of NEPA, which requires Subrecipients to use all practicable means within their authority, and consistent with other essential considerations of national policy, to create and maintain conditions under which people and nature can exist in productive harmony and fulfill the social, economic, and other needs of present and future generations of Americans.

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