Sciweavers

6926 search results - page 248 / 1386
» A More Effective CEFF
Sort
View
VLSI
2007
Springer
16 years 23 days ago
Parametric structure-preserving model order reduction
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...
ICASSP
2007
IEEE
16 years 29 days ago
Distributed Coding of Shifts using the DFT Phase
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...
COMPSAC
2003
IEEE
15 years 12 months ago
Tolerance of Control-Flow Testing Criteria
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...
ICS
1999
Tsinghua U.
15 years 11 months ago
Software trace cache
—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 ...
Alex Ramírez, Josep-Lluis Larriba-Pey, Carl...
AIED
2007
Springer
15 years 10 months ago
Evaluating a Collaborative Constraint-based Tutor for UML Class Diagrams
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...
Nilufar Baghaei, Antonija Mitrovic