5525 search results - page 216 / 1105 » Verification of Model Transformations |
171
click to vote
IEEEIAS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present the Dynamic Injection Model (DIM) and its variant the Static Injection Model (SIM). DIM is a model that allows any iterative block cipher to accept a var...
195
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
192
click to vote
VLSISP
1998
15 years 6 months ago
1998
In this paper, we present preliminary results comparing the nature of the errors introduced by the mixture of principal components (MPC) model with a wavelet transform and the Karh...
149
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
A new model-order reduction technique for linear dynamic systems is presented. The idea behind this technique is to transform the dynamic system function from the s-domain into th...
184
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...