Sciweavers

9267 search results - page 1527 / 1854
» Expectation-Oriented Analysis and Design
Sort
View
VAMOS
2007
Springer
16 years 1 months ago
Exploring the Dimensions of Variability: a Requirements Engineering Perspective
Goal models have been found to be effective for representing and analyzing variability at the early requirements level, by comprehensibly representing all alternative ways by whic...
Sotirios Liaskos, Lei Jiang, Alexei Lapouchnian, Y...
VLSI
2007
Springer
16 years 1 months 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...
WEBI
2007
Springer
16 years 1 months ago
Improving Performance of Web Services Query Matchmaking with Automated Knowledge Acquisition
There is a critical need to design and develop tools tract away the fundamental complexity of XML-based Web services specifications and toolkits, and provide an elegant, intuitive...
Chaitali Gupta, Rajdeep Bhowmik, Michael R. Head, ...
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
16 years 28 days ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
GLOBECOM
2006
IEEE
16 years 28 days ago
Non-Linear Precoding for OFDM Systems in Spatially-Correlated Frequency-Selective Fading MIMO Channels
— This paper presents non-linear precoding design in closed-loop multiple-input multiple-output (MIMO) orthogonal frequency-division multiplexing (OFDM) over spatiallycorrelated,...
Yu Fu, Witold A. Krzymien, Chintha Tellambura
« Prev « First page 1527 / 1854 Last » Next »