Abs t r ac t . Recent research into the implementation of logic programming languages has demonstrated that global program analysis can be used to speed up execution by an order of magnitude. However, currently such global program analysis requires the program to be analysed as a whole: sepárate compilation of modules is not supported. We describe and empirically evalúate a simple model for ext...

In wireless sensor networks (WSNs), an efficient allocation of application modules on sensors can reduce application’s execution time, thereby saving energy and extending WSN lifetime. This poster presents a general framework for optimal module allocation in heterogeneous WSNs. The framework relies on an analytical model for the execution time of applications and considers stochastic processing...

After the paper [1] was published, following information about D-extending modules pointed out by Adnan Tercan. Let $r$ be a left exact preradical in category of right $R$-modules and let $M$ $R$-module. A submodule $N$ is called provided $r(M/N)=0$. module an ES-module every direct summand $M$. ES-modules introduced A. Tercan [2]. Since socle preradical, coincide with for $r=Soc$.The author wh...

In this paper, we define the notion of Hopf crossed squares for cocommutative algebras extending notions groups and Lie algebras. We prove equivalence between category double internal groupoids in The turn out to be modules

in this errata, we reconsider and modify two propositions and their corollaries which were written on epi-retractable and co-epi-retractable modules.

The configuration management of a sensor network composed of tens or up to thousands of nodes is difficult due to the limit of memory space and energy consumption. This paper presents an approach for dynamic reconfiguration of application modules in sensor networks based on Nano-Qplus. The version information from proposed methods is registered into NVSync (Nano-Qplus Version Synchronization), ...

In this paper we study totally projective QTAG-modules and the extensions of bounded QTAG-modules. In the first section we study totally projective modules M/N and M ′/N ′ where N , N ′ are isomorphic nice submodules of M and M ′ respectively. In fact the height preserving isomorphism between nice submodules is extented to the isomorphism from M onto M ′ with the help of Ulm-Kaplansky invariant...

We introduce the notion of E-depth graded modules over polynomial rings to measure depth certain Ext modules. First, we characterize with (sufficiently) large as those whose partial general initial submodules preserve Hilbert function local cohomology supported at irrelevant maximal ideal, extending a result Herzog and Sbarra on sequentially Cohen-Macaulay Second, describe cone tables sufficien...