Aspects of Code Generating Distribution Support Sample Clauses

Aspects of Code Generating Distribution Support. Following the discussion above, the entire system architecture, with respect to distribution especially, is captured inside the system definition in a VDM-RT model. Based on this, we describe here the general principles for generating support for distribution in a VDM-RT model. Three different implementa- tion aspects for these VDM-RT constructs are highlighted: the CPU class, the BUS class and distribution of calls. The CPU class is used to model independent processor units or computation nodes and deploy objects to them. For this reason each CPU instance corre- sponds to an individual processor or computation node (e.g. in a networked cluster) in the implementation of a VDM-RT model. As a consequence, all objects local to a given CPU must be instantiated. On the same CPU, remote objects are represented, abstractly, as references. Furthermore, a CPU in a VDM-RT model can be created with both speed and scheduler information. However, in the current approach these aspects are not supported, and each CPU is assumed to allow only sequential (though arbitrarily interleaved) execution without scheduling. The BUS class is used to model a communication channel between CPUs. But in VDM-RT a BUS is an abstract representation of a communication bus, supporting abstract protocols. It does not specify a hardware bus type. As a consequence, the target distributed execution platform is assumed to provide a corresponding hardware communication bus, for example a UART (Universal Asynchronous Receiver/Transmitter) or CAN (Controller Area Network) bus together with a possible protocol. Distribution of method calls must be handled explicitly in the implementation of a distributed system. As discussed above, a VDM-RT model hides whether an invocation is local or remote with respect to a CPU. However, supporting this in the implementation requires dispatching between local and remote calls for a given CPU with respect to object deployment and the system architecture as modelled in the system class. In the following section we use these three main concepts to describe the basic principles for code generation support for distribution.
Sample 1
AutoNDA by SimpleDocs

Related to Aspects of Code Generating Distribution Support

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

  • Demographic, Classification and Wage Information XXXXXX agrees to coordinate the accumulation and distribution of demographic, classification and wage data, as specified in the Letter of Understanding dated December 14, 2011, to CUPE on behalf of Boards of Education. The data currently housed in the Employment Data and Analysis Systems (EDAS) will be the source of the requested information.

  • Distribution of Literature FSFSA representatives may, during non-working hours or during any breaks, distribute employee organization literature. The FSFSA agrees that nothing of a libelous, racist, sexist, obscene, or partisan political nature shall be so distributed.

  • Information Supplementation Prior to the Trial Operation date, the Parties shall supplement their information submissions described above in this Article 24 with any and all “as-built” Electric Generating Unit information or “as-tested” performance information that differs from the initial submissions or, alternatively, written confirmation that no such differences exist. The Interconnection Customer shall conduct tests on the Electric Generating Unit as required by Good Utility Practice such as an open circuit “step voltage” test on the Electric Generating Unit to verify proper operation of the Electric Generating Unit's automatic voltage regulator. Unless otherwise agreed, the test conditions shall include: (1) Electric Generating Unit at synchronous speed; (2) automatic voltage regulator on and in voltage control mode; and (3) a five percent (5 percent) change in Electric Generating Unit terminal voltage initiated by a change in the voltage regulators reference voltage. The Interconnection Customer shall provide validated test recordings showing the responses of Electric Generating Unit terminal and field voltages. In the event that direct recordings of these voltages is impractical, recordings of other voltages or currents that mirror the response of the Electric Generating Unit’s terminal or field voltage are acceptable if information necessary to translate these alternate quantities to actual Electric Generating Unit terminal or field voltages is provided. Electric Generating Unit testing shall be conducted and results provided to the Participating TO and the CAISO for each individual Electric Generating Unit in a station. Subsequent to the Commercial Operation Date, the Interconnection Customer shall provide the Participating TO and the CAISO any information changes due to equipment replacement, repair, or adjustment. The Participating TO shall provide the Interconnection Customer any information changes due to equipment replacement, repair or adjustment in the directly connected substation or any adjacent Participating TO-owned substation that may affect the Interconnection Customer’s Interconnection Facilities equipment ratings, protection or operating requirements. The Parties shall provide such information pursuant to Article 5.19.

  • Distribution Protocol (1) At a time wholly within the discretion of Class Counsel, but on notice to the Settling Defendants, Class Counsel will bring motions seeking orders from the Courts approving the Distribution Protocol. The motions can be brought before the Effective Date, but the orders approving the Distribution Protocol shall be conditional on the Effective Date occurring.

  • Coronavirus-Related Distributions (CRDs If you qualify, you may withdraw up to $100,000 in aggregate from your IRAs and eligible retirement plans as a CRD, without paying the 10 percent early distribution penalty tax. You are a qualified individual if you (or your spouse or dependent) is diagnosed with the COVID-19 disease or the SARS-CoV-2 virus in an approved test; or if you have experienced adverse financial consequences as a result of being quarantined, being furloughed or laid off or having work hours reduced due to such virus or disease, being unable to work due to lack of child care due to such virus or disease, closing or reduced hours of a business owned or operated by you due to such virus or disease, or other factors as determined by the IRS. A CRD must be made on or after January 1, 2020, and before December 31, 2020. CRDs will be taxed ratably over a three-year period, unless you elect otherwise, and may be repaid over three years beginning with the day following the day a CRD is made. Repayments may be made to an eligible retirement plan or IRA. An eligible retirement plan is defined as a qualified retirement plan, 403(a) annuity, 403(b) tax-sheltered annuity, 457(b) eligible governmental deferred compensation plan, or an IRA. FINANCIAL DISCLOSURE

  • Distribution of Materials You will keep an accurate record of the names and addresses of all persons to whom you give copies of the Registration Statement, the Prospectus, any Preliminary Prospectus (or any amendment or supplement thereto) or any Offering Circular or any Preliminary Offering Circular and, when furnished with any subsequent amendment to the Registration Statement, any subsequent Prospectus, any subsequent Offering Circular or any memorandum outlining changes in the Registration Statement or any Prospectus or Offering Circular, you will, upon request of the Manager, promptly forward copies thereof to such persons.

  • Escrow Agent Not Responsible for Furnished Information The Escrow Agent will have no responsibility for seeking, obtaining, compiling, preparing or determining the accuracy of any information or document, including the representative capacity in which a party purports to act, that the Escrow Agent receives as a condition to a release from escrow or a transfer of escrow securities within escrow under this Agreement.

  • Unbundled Sub-Loop Distribution Intrabuilding Network Cable (USLD-INC) is the distribution facility owned or controlled by BellSouth inside a building or between buildings on the same property that is not separated by a public street or road. USLD-INC includes the facility from the cross connect device in the building equipment room up to and including the point of demarcation at the End User’s premises.

  • DEFENSE FEDERAL ACQUISITION REGULATION SUPPLEMENT CONTRACT CLAUSES 252.246-7000 MATERIAL INSPECTION AND RECEIVING REPORT (MAR 2008)

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