We propose an approach for specifying and verifying full functional (partial) correctness of modules of multithreaded imperative programs that implement or use lock-free data structures for interthread communication. The approach extends separation logic with simple atomic spaces, which are regions of memory that may be accessed concurrently using atomic operations. A fixed invariant is associa...

in this paper, we introduce the dual notion of strongly top modules and study some of the basic properties of this class of modules.

one of the fields of creation and practice expansion is an attempt to diversify and multiply melodic modules which can increase practical potentials in a musical system. the most fundamental element of a sonic- musical atmosphere (mode) is ambits of tone; in other words, it is a sequence of tones with specific frequency. therefore, melodic modules combination depends on acoustical features and ...

Let R be an associative ring with identity, C(R) be the category of com-plexes of R-modules and Flat(C(R)) be the class of all at complexes of R-modules. We show that the at cotorsion theory (Flat(C(R)); Flat(C(R))−)have enough injectives in C(R). As an application, we prove that for each atcomplex F and each complex Y of R-modules, Exti (F,X)= 0, whenever Ris n-perfect and i > n.

We show that every semi-artinian module which is contained in a direct sum of finitely presented modules in $si[M]$, is weakly co-semisimple if and only if it is regular in $si[M]$. As a consequence, we observe that every semi-artinian ring is regular in the sense of von Neumann if and only if its simple modules are $FP$-injective.

In this paper, we introduce a generalization of Hilbert $C^*$-modules which are pre-Finsler modules, namely, $C^{*}$-semi-inner product spaces. Some properties and results of such spaces are investigated, specially the orthogonality in these spaces will be considered. We then study bounded linear operators on $C^{*}$-semi-inner product spaces.

et  be a commutative Noetherian ring,  and  two ideals of  and  a finite -module. In this paper, we have studied the vanishing and relative Cohen-Macaulyness of the functor for relative Cohen-Macauly filtered modules with respect to the ideal  (RCMF). We have shown that the for relative Cohen-Macaulay modules holds for any relative Cohen-Macauly module with respect to  with ........

Let  be a commutative ring and  be a unitary  module. We define a semi prime sub module of a module and consider various properties of it. Also we define semi-radical of a sub module of a module and give a number of its properties. We define modules which satisfy the semi-radical formula and present the existence of such a module.

Two generic mechanisms are proposed that facilitate the efficient integration of audio content analysis algorithms. The first mechanism, priorityrule based interleaving of algorithms, allows the simultaneous interoperation of several bottom-up analysis modules by interleaving their atomic steps. It aims at increased accuracy through controlled manipulation of common data. The second mechanism, ...