This tutorial introduces several methods of formal hardware verication that could potentially have a practical impact on the design process. The measure of success in integrating...
Abstract. Learning Design offers the possibility of capturing the process, activities, user organization and resources used in a learning experience. But a wider set of scenarios a...
Near Field Communication (NFC) can facilitate mobile interaction with everyday objects, associated digital information and ubiquitous services. Despite the simplicity of the touch...
This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...
Laura Vanzago, Bishnupriya Bhattacharya, Joel Camb...
Combinational multipliers represent a class of circuits that is usually considered to be hard to design by means of the evolutionary techniques. However, experiments conducted unde...