1347 search results - page 116 / 270 » On the Structure of the Minimum Time Function |
126
click to vote
ASIACRYPT
2003
Springer
15 years 9 months ago
2003
Springer
HAVAL is a cryptographic hash function proposed in 1992 by Zheng, Pieprzyk and Seberry. Its has a structure that is quite similar to other well-known hash functions such as MD4 and...
131
click to vote
AUTOMATICA
2005
15 years 3 months ago
2005
This paper presents a computational approach for the frequency-domain identification of multivariable, discrete-time transfer function models based on a cost function minimization...
120
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
157
click to vote
GLVLSI
2000
IEEE
15 years 8 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
170
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
Typically there is a high coherence in data values between neighboring time steps in an iterative scientific software simulation; this characteristic similarly contributes to a co...