To solve the problem that software testing cannot meet the verification needs of process scheduling over multi-core computer system, a model checking approach with MSVL is adapted to verify the correctness of process scheduling. Firstly, the grammar of MSVL is briefly introduced; further, a general model supporting the most commonly used scheduling algorithms for multi-core computer is formaliz...

The increasing dependence of human beings on technology has not only made ICT a growing power consumer, but also a rising contributor to the adverse effects of global climate change. In light of the growing power consumption by ICT, accurate measurement techniques are required since leaders cannot manage what cannot be measured. One of the emerging power measurement techniques is via the use of...

What type of computer is the human mind/brain? The answer we propose is this: the mind is a symbol manipulating computer, an abstract virtual machine realized in a brain performing connectionist computation. This characterizes the core of higher cognition, the particularly challenging and important realm of cognitive faculties operating in domains like abstract reasoning and language — facultie...

since we cannot manage what we cannot control, and we cannot control what we do not measure, the measurement of knowledge management (km) effectiveness is a very important issue. this study aims at developing a methodology to evaluate the km effectiveness under fuzziness in research organizations. in order to develop such a methodology and to define measures of km effectiveness, first the relev...

The article presents preliminary results of the conceptual analysis mechanistic profile computer metaphor. Mechanic reductionism is a special direction metaphor rooted in various historical forms word usage. Here we trace stages formation principles transferring properties mechanical to human body and mind. We are also trying identify basic semantic transfer, which have survived this day discour...

What type of computer is the human mind/brain? The answer we propose is this: the mind is a symbol-manipulating computer, an abstract virtual machine realized in a brain performing connectionist computation. This characterizes the core of higher cognition, the particularly challenging and important realm of cognitive faculties operating in domains like abstract reasoning and language—faculties ...