Static Verification of Concurrent Programs. We give an overview of techniques used to statically verify concurrent programs. We discuss both techniques based on Hoare logic and model checking techniques.
Static Verification of Concurrent Programs Sample Clauses
Related to Static Verification of Concurrent Programs
Distribution of UDP and TCP queries DNS probes will send UDP or TCP “DNS test” approximating the distribution of these queries.
REQUIRED FOR PART 2 JOC - PRICING OF Regular Hours Coefficient What is your regular hours coefficient for the RS Means Price Book? (FAILURE TO RESPOND PROHIBITS PART 2 JOC EVALUATION)
JOC - PRICING OF Regular Hours Coefficient What is your regular hours coefficient for the RS Means Price Book? (FAILURE TO RESPOND PROHIBITS PART 2 JOC EVALUATION)
What Forms of Distribution Are Available from a Xxxxxxxxx Education Savings Account Distributions may be made as a lump sum of the entire account, or distributions of a portion of the account may be made as requested.
Payments Following a Sequential Pay Event Payments of interest and principal shall be made to the Noteholders in accordance with Section 3 of this Agreement; provided, if a Sequential Pay Event, as determined by the applicable Servicer in accordance with the Servicing Standard and as set forth in the Servicing Agreement, shall have occurred and be continuing, all amounts tendered by the Mortgage Loan Borrower or otherwise available for payment on or with respect to or in connection with the Mortgage Loan or the Mortgaged Property or REO Property or amounts realized as proceeds thereof (including without limitation amounts received by the Master Servicer or Special Servicer pursuant to the Servicing Agreement as reimbursements on account of recoveries in respect of Advances), whether received in the form of monthly payments, any operating income from or any proceeds from the sale or distribution of any REO Property, the Balloon Payment, Liquidation Proceeds, proceeds under any guaranty, letter of credit or other collateral or instrument securing the Mortgage Loan or Insurance and Condemnation Proceeds (other than proceeds, awards or settlements to be applied to the restoration or repair of the Mortgaged Property or released to the Mortgage Loan Borrower in accordance with the terms of the Mortgage Loan Documents, to the extent permitted by the REMIC Provisions), but excluding (x) all amounts for required reserves or escrows required by the Mortgage Loan Documents to continue to be held as reserves or escrows or received as reimbursements on account of recoveries in respect of Advances then due and payable or reimbursable to the Servicer under the Servicing Agreement and (y) all amounts that are then due, payable or reimbursable to any Servicer, Operating Advisor, Certificate Administrator or Trustee with respect to the Mortgage Loan pursuant to the Servicing Agreement, shall be applied by the Lead Securitization Note Holder (or its designee) and distributed by the Servicer for payment in the following order of priority without duplication (and payments shall be made at such times as are set forth in the Servicing Agreement): (a) first, to the Senior Noteholders, pro rata, in an amount equal to the accrued and unpaid interest on the aggregate Principal Balance of the Senior Notes at the Net Note A Rate; (b) second, to the Senior Noteholders, pro rata based on their respective outstanding Principal Balances, until their respective Principal Balances have been reduced to zero; (c) third, to the Senior Noteholders that have paid any unreimbursed costs and expenses, on a Pro rata and Pari Passu Basis up to the amount of such unreimbursed costs and expenses paid by such Noteholders including any Recovered Costs not previously reimbursed to such Noteholders (or paid or advanced by any Servicer on any such Noteholder’s behalf and not previously paid or reimbursed) with respect to the Mortgage Loan pursuant to this Agreement or the Servicing Agreement; (d) fourth, to the Senior Noteholders on a Pro rata and Pari Passu Basis, in an aggregate amount equal to the product of (i) the sum of the Percentage Interests of the Senior Notes, multiplied by (ii) the Note A Relative Spread, multiplied by (iii) any Prepayment Premium paid by the Mortgage Loan Borrower; (e) fifth, if the proceeds of any foreclosure sale or any liquidation of the Mortgage Loan or the Mortgaged Property exceed the amounts required to be applied in accordance with the foregoing clauses (a)-(d), such excess amount shall be paid to the Senior Noteholders, on a Pro rata and Pari Passu Basis in an amount up to the aggregate of unreimbursed Realized Principal Losses previously allocated to the Senior Noteholders in accordance with the terms of Section 5, plus interest on such amount at the Note A Net Rate; (f) sixth, to the Note B Holder in an amount equal to the accrued and unpaid interest on the Note B Principal Balance at the Net Note B Rate, (g) seventh, to the Note B Holder, until the Note B Principal Balance has been reduced to zero; (h) eighth, to the Note B Holder in an amount equal to the product of (i) the Percentage Interest of such Note, multiplied by (ii) the Note B Relative Spread, multiplied by (iii) any Prepayment Premium paid by the Mortgage Loan Borrower; (i) ninth, to the extent the Note B Holder has made any payments or advances to cure defaults pursuant to Section 11, to reimburse the Note B Holder for all such amounts; (j) tenth, if the proceeds of any foreclosure sale or any liquidation of a Mortgage Loan or the Mortgaged Property exceed the amounts required to be applied in accordance with the foregoing clauses (a)-(i), such excess amount shall be paid to the Note B Holder in an amount up to the aggregate of unreimbursed Realized Principal Losses previously allocated to the Note B Holder in accordance with the terms of Section 5, plus interest on such amount at the related Note B Rate; (k) eleventh, to the extent assumption or transfer fees actually paid by the Mortgage Loan Borrower are not required to be otherwise applied under the Servicing Agreement, including, without limitation, to provide reimbursement for interest on any Advances, to pay any Additional Servicing Expenses or to compensate a Servicer (in each case provided that such reimbursements or payments relate to the Mortgage Loan), any such assumption or transfer fees, to the extent actually paid by the Mortgage Loan Borrower, shall be paid to the Noteholders, pro rata based on their respective Percentage Interests; and (l) twelfth, if any excess amount is available to be distributed in respect of the Mortgage Loan, and not otherwise applied in accordance with the foregoing clauses (a)-(k), any remaining amount shall be paid pro rata to the Noteholders in accordance with their respective initial Percentage Interests. Penalty Charges paid on the Senior Notes pursuant to Section 3 or Section 4 hereunder, shall be allocated to each Senior Noteholder on a Pro rata and Pari Passu Basis and applied first, to reduce, on a pro rata basis, the amounts payable on the Senior Notes by the amount necessary to pay the Master Servicer, the Trustee or the Special Servicer for any interest accrued on any Servicing Advances and reimbursement of any Servicing Advances in accordance with the terms of the Securitization Servicing Agreement, second, to reduce, on a pro rata basis, the respective amounts payable on Senior Notes by the amount necessary to pay the Master Servicer, Trustee, Non-Lead Master Servicer or Non-Lead Trustee for any interest accrued on any P&I Advance made with respect to such Notes by such party (if and as specified in the Securitization Servicing Agreement or any Non-Lead Servicing Agreement, as applicable), third, to reduce, on a pro rata basis, the amounts payable on the Senior Notes by the amount necessary to pay additional trust fund expenses (other than Special Servicing Fees, unpaid Workout Fees and Liquidation Fees) incurred with respect to the Mortgage Loan (as specified in the Securitization Servicing Agreement) and finally, in the case of the remaining amount of Penalty Charges allocable pursuant to Section 3 or Section 4 hereunder, to be paid to the Master Servicer and/or the Special Servicer as additional servicing compensation as provided in the Securitization Servicing Agreement.
Application of Net Liquidation Proceeds For all purposes under this agreement, Net Liquidation Proceeds received from a Servicer shall be allocated first to accrued and unpaid interest on the related Mortgage Loan and then to the unpaid principal balance thereof.
Requirements Pertaining Only to Federal Grants and Subrecipient Agreements If this Agreement is a grant that is funded in whole or in part by Federal funds:
Please see the current Washtenaw Community College catalog for up-to-date program requirements Conditions & Requirements
Distributions; Xxxxxx Xxx Guaranty On or before each Determination Date (or as soon thereafter as is reasonably practicable), Xxxxxx Mae shall calculate the Lower Tier Distribution Amount for the current calendar month. On each Distribution Date, Xxxxxx Xxx shall withdraw from the Certificate Account the portion of the Lower Tier Distribution Amount distributable thereon and shall make the distributions to the Holders of the related Lower Tier Regular Classes in the respective amounts and in the applicable manner determined pursuant to Section 2.02. In the event that the amount on deposit in the Certificate Account on any Distribution Date shall be less than the applicable portion of the Lower Tier Distribution Amount distributable thereon, Xxxxxx Mae shall provide from its own funds the amount of any such insufficiency. In addition, in the event that (i) the applicable portion of the Lower Tier Distribution Amount shall be insufficient to pay all interest due and payable on the related Lower Tier Regular Classes on such Distribution Date or (ii) such Distribution Date is a Final Distribution Date for any Class and the distribution on such Distribution Date of the applicable portion of the Lower Tier Distribution Amount will not be sufficient to reduce the Class Balance of such Class to zero on such Final Distribution Date, then Xxxxxx Xxx shall (a) withdraw from the Certificate Account, such amount as shall be necessary to remedy such insufficiency and (b) to the extent that funds in the Certificate Account shall be insufficient therefor, apply its own funds towards remedying the same.
JOC - PRICING OF After Hours Coefficient What is your after hours coefficient for the RS Means Price Book for work performed after normal working hours? (FAILURE TO RESPOND PROHIBITS PART 2 JOC EVALUATION)
