Many applications have one or more important modules that are written in a language other than conventional procedural or object oriented languages. These languages are often tran...
– There has been a recent shift in design paradigms, with many turning towards yield-driven approaches to synthesize and design systems. A major cause of this shift is the contin...
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
This paper describes the implementation of a demo that will be shown at the conference site. The demo of “softfinger grasping of physically based quasi-rigid objects” will pr...
Maurizio de Pascale, Gabriele Sarcuni, Domenico Pr...
A software defined radio (SDR) receiver architecture is proposed in this paper for ultra-wideband (UWB) applications. Both UWB data communication and positioning functions are imp...