3384 search results - page 102 / 677 » More Testable Properties |
IEEEICCI
2006
IEEE
14 years 2 months ago
2006
IEEE
The original rough set model is concerned primarily with the approximation of sets described by single binary relation on universe. In the view of granular computing, classical ro...
ISCAS
2006
IEEE
14 years 2 months ago
2006
IEEE
— The paper explains the basic ideas of how to model the dynamical properties of switched DC-DC converters by means of the so-called generalized transfer functions (GTFs). Switch...
ASPDAC
2006
ACM
14 years 2 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
VRST
2006
ACM
14 years 2 months ago
2006
ACM
This paper presents an approach to help speed up and unify the exploration and analysis of time-dependent, volumetric data sets by easily incorporating new qualitative and quantit...
DSN
2005
IEEE
14 years 2 months ago
2005
IEEE
1 In sub-micron technology circuits high integration levels coupled with the increased sensitivity to soft errors even at ground level make the task of guaranteeing systems’ depe...