Various other improvements Sample Clauses

Various other improvements. Mainly inspired by the Siemens and Bosch applications mentioned above, various improvements to the ProB kernel were undertaken. • Improved algorithms for large sets and relations (such computing the domain of a relation), optimised support for more B operators on relations, functions, and sequences. • Record support: automatic detection of records described by a bijection between a cartesian product and a carrier set. These axioms can either be entered manually, such as in the Bosch models of the Cruise Control, or generated automatically by the Records plug-in. In both cases, ProB detects that a record is being used, and sets the carrier set to the cartesian product and sets the bijection to the identity function. • Detection and treatment of certain infinite sets, in particular complement sets such as INTEGER \ {x}. Such sets are being used in some of the Siemens models. Similarly, infinite identity functions are also never expanded and always treated symbolically. • Partitioning of predicates into connected sub-components (was useful for Siemens application, to be able to pinpoint location of an inconsistency in the axioms; it turned out useful for constraint-based deadlock checking as well) • Improved constraint solving in particular: • better use of Prolog's CLP(FD) constraint solver for arithmetic constraints as well as for elements of carrier sets. For example, x:{a,b,d} will attach a finite-domain constraint to x, even without enumeration. • improved boolean constraint solver; deals with well-definedness and propagates known boolean values through complicated predicates. Can also solve SAT problems expressed in B (up to around 600 variables and 2000 clauses). • Reification of constraints inside the boolean constraint solver. In particular, given x:1..10, the ProB boolean constraint solver will know that, e.g., x:{12,13,14} must be false. • detection of common sub-predicates inside larger formulas. This is to improve performance and overcome possible precision problems of the constraint solver. The main motivation here is deadlock checking (where the same predicate often appear multiple times, sometimes in negated form). • General performance improvments, such as in the typchecker and other parts of the kernel when loading larger B models.
Sample 1Sample 2
AutoNDA by SimpleDocs

Related to Various other improvements

  • ALTERATIONS & IMPROVEMENTS Tenant shall not make any alterations, additions or improvements or do any type of construction to the Property without first obtaining Landlord's written consent. Unless prior written agreement is reached between Tenant and Landlord, any such alterations, additions, improvements or construction shall become part of the Property and shall remain at the expiration of Tenant's Lease term. If Landlord approves of alterations, additions, improvements or construction in writing and Tenant intends to use contractors to undertake such work, the contractors must first be approved in writing by Landlord. Tenant must also place any funds to cover the amount of any alterations, additions, improvements or construction in an escrow account approved by Landlord before the commencement of the work. Landlord shall designate the times and manner of the work being done, exclusively.

  • Disbursements for Site Improvements All payments made by the OPWC for site improvements or other work shall be made directly to the Contractor that performed the work and originated the invoice, unless the request is for disbursement to the Recipient.

  • CONSTRUCTION AND IMPROVEMENTS Concessionaire shall not affix, alter, or erect any permanent or temporary equipment, structures, buildings, or additions to the Concession Premises without first obtaining the prior written approval of Department.

  • Improvements The buildings, structures, fixtures, additions, enlargements, extensions, modifications, repairs, replacements and improvements now or hereafter erected or located on the Land (collectively, the “Improvements”);

  • Maintenance of Improvements All improvements on the property, including, but not limited to, buildings, trees or other improvements now on the premises, or hereafter made or placed thereon, shall be a part of the security for the performance of this contract and shall not be removed therefrom. Purchaser shall not commit, or suffer any other person to commit, any waste or damage to said premises or the appurtenances and shall keep the premises and all improvements in as good condition as they are now.

  • Construction of Improvements (A) Lessee warrants and agrees that the Building will be constructed on the Leased Premises, and all other improvements to the land, including the parking lot, approaches, and service areas, will be constructed in all material respects by Lessee substantially in accordance with the plot, plans, and specifications heretofore submitted to Lessor.

  • Infrastructure Improvements The design, redevelopment and construction and completion of certain infrastructure improvements, including sewer, stormwater, electrical and water main improvements, along with other similar improvements.

  • PROJECT 3.01. The Recipient declares its commitment to the objectives of the Project. To this end, the Recipient shall carry out the Project in accordance with the provisions of Article IV of the General Conditions.

  • Completion of Improvements Within 90 days of completion of any construction herein permitted, Company will cause to be prepared and delivered to Authority record documents as required under the Tenant Work Permit process, including but not limited to as-builts, legal descriptions, boundary surveys, and certified final cost of construction. The submission of record document electronic media will be in accordance with Authority’s Standard Procedure for computer aided design and drafting and drawings, as may be revised from time to time.

  • Construction Activities Please list all major construction activities, both planned and completed, to be performed by Seller or the EPC Contractor. Activity EPC Contractor / Subcontractor Completion Date __/__/____ (expected / actual) __/__/____ (expected / actual)

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