Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
Jorge Fernandez Villena, Wil H. A. Schilders, L. M...
In this paper we consider the problem of image encoding with side information at the decoder, where the side information is an integer shifted version of the image at the encoder....
Marco Dalai, Riccardo Leonardi, Pier Luigi Dragott...
Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...
Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bo...
—This paper explores the use of compiler optimizations which optimize the layout of instructions in memory. The target is to enable the code to make better use of the underlying ...
COLLECT-UML is a collaborative constraint-based tutor for teaching object-oriented analysis and design using Unified Modelling Language. It is the first system in the family of con...