1288 search results - page 62 / 258 » On Analysis of Design Component Contracts: A Case Study |
ENDM
2000
14 years 11 months ago
2000
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
112
click to vote
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
Transient Signal Analysis (TSA) is a parametric device testing technique based on the analysis of dynamic (transient) current (iDDT) drawn by the core logic from the power supply ...
PDP
1996
IEEE
15 years 4 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
124
click to vote
IJCV
2000
14 years 11 months ago
2000
Linear parameterized models of optical flow, particularly affine models, have become widespread in image motion analysis. The linear model coefficients are straightforward to estim...
BMCBI
2008
14 years 12 months ago
2008
Background: Proteomic profiling using mass spectrometry (MS) is one of the most promising methods for the analysis of complex biological samples such as urine, serum and tissue fo...