— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
In this paper, the methodology for automated design of checker for communication protocol testing is presented. Based on the level of checking, different design strategies can be ...
In this paper we deal with knowledge representation in the area of learning design and adaptive learning. Specification of concrete instances is usually context-dependent and does...
This paper presents a reconfigurable resource support mechanism to address scheduling issues in distributed embedded environment. A configurable object architecture is employed to...
-- In this paper the results of evolution on the task performance of a robot colony are discussed. The cognitive architecture of individual robots of a colony are modified, using g...