In the database theory and logic literature, different notions of locality of queries have been studied, the most prominent being Hanf locality [6, 4, 12] and Gaifman locality [5, 8]. These notions are designed so that, in order to evaluate a local query in a given database, it suffices to look only at small neighbourhoods around tuples of elements that belong to the database. In this talk I wa...

A parallel Lattice Boltzmann Method (pLBM), which is based on hierarchical spatial decomposition, is designed to perform large-scale flow simulations. The algorithm uses critical section-free, dual representation in order to expose maximal concurrency and data locality. Performances of emerging multi-core platforms—PlayStation3 (Cell Broadband Engine) and Compute Unified Device Architecture (CU...

Pistachio is one of the most important agricultural crops of Iran. It is a nut from Anacardiacea family and its domesticated species is called Pistacia vera L. Regarding to pistachio importance and usage and by the expanding of pistachio cultivate, it is necessary to improve agricultural situation and by establishing well equipped processing and packaging units near the farms, it is possible to...

Cache memories have a dual objective: bridging the gap between memory and CPU speeds and reducing the demand bandwidth on the main memory. These related objectives are achieved by exploiting the locality of access inherent in programs. Locality can be either temporal (when the same location is accessed repeatedly within the a window of references) or spatial (when contiguous locations are acces...

We present a new approach for preprocessing Quantified Boolean Formulas (QBF ) in conjunctive normal form (CNF ) by expanding a selection of universally quantified variables with bounded expansion costs. We describe a suitable selection strategy which exploits locality of universals and combines cost estimates with goal orientation by taking into account unit literals which might be obtained. F...