This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
The aim of this study is to understand how learners with different personality respond to an e-learning content structure, by which it will help to build an instance of personalit...
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
Touch based interfaces are commonplace these days. A design approach for touch based user interfaces carried out in the course of developing a digital system for nuclear power pla...
—A critical issue in wireless sensor networks (WSNs) is represented by the network throughput. To meet the throughput requirement, researchers propose multi-channel design in 802...