Symbolic cost models are an important performance engineering tool because of their diagnostic value and their very low solution cost when the computation features regularity. However, especially for parallel applications their derivation, including the symbolic simplifications essential for low solution cost, is an effort-intensive and error-prone process. We present a tool that automatically ...

In Cognitive Radio Ad-Hoc Networks the design of suitable routing solutions is a focal issue to fully unleash the potentials of this networking paradigm. The main challenge is exploiting spectrum holes to build up network paths that remain stable and that achieve specific network performance in terms of delay and percentage of delivered data, even if an opportunistic spectrum access is implemen...

This paper presents a general computational cognitive model of the way a summary is assessed by teachers. It is based on models of two subprocesses: determining the importance of sentences and guessing the cognitive rules that the student may have used. All models are based on Latent Semantic Analysis, a computational model of the representation of the meaning of words and sentences. Models' pe...

In this paper, we propose a model of mobile cognitive radio network after fully considering the analysis method of network connectivity based on random way-point (RWP) mobility scheme. The closed-form solution of connectivity probability has been derived to evaluate the network performance in this model. And it shows that the network connectivity is related to the size of mobile cognitive radio...