10159 search results - page 243 / 2032 » System Design Validation Using Formal Models |
SCAM
2007
IEEE
15 years 9 months ago
2007
IEEE
In the current demonstration we present a new tool which increases the level of understanding and the accuracy of design quality assessment within enterprise systems. This is perf...
126
click to vote
CIKM
2005
Springer
15 years 8 months ago
2005
Springer
The paper presents a contribution to image indexing consisting in a weighting model for visible objects – or image objects – in home photographs. To improve its effectiveness ...
VLSID
2010
IEEE
15 years 7 months ago
2010
IEEE
—We propose a compact model for small signal non quasi static analysis of long channel symmetric double gate MOSFET. The model is based on the EKV formalism and is valid in all r...
115
click to vote
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
114
click to vote
WCE
2007
15 years 4 months ago
2007
—In this paper, a fuzzy estimator based on the Smith predictor for a time-delayed system is proposed. The purpose of this work is to predict the unknown plant time-delay by using...