Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
Nicolas Coste, Holger Hermanns, Etienne Lantreibec...
This paper proposes a new visual modeling environment for embedded component systems that improves the productivity of application developers. This embedded component system decre...
— Neuronal activities related to context-dependent recall have been found in the monkey inferotemporal cortex. If we set the same task for an artificial neural network, however,...
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
AI and psychological approaches to context are contrasted and the dynamic and automatic nature of the continuous context change in human cognition is emphasized. A dynamic theory o...