Sciweavers

6960 search results - page 48 / 1392
» Continuity Analysis of Programs
Sort
View
IFIP
2010
Springer
14 years 4 months ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi
ALGORITHMICA
1998
90views more  ALGORITHMICA 1998»
14 years 9 months ago
Dynamics of the Binary Euclidean Algorithm: Functional Analysis and Operators
We provide here a complete average-case analysis of the binary continued fraction representation of a random rational whose numerator and denominator are odd and less than N. We an...
Brigitte Vallée
AUTOMATICA
2011
14 years 4 months ago
Timing and liveness in continuous Petri nets
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
Carlos Renato Vázquez, Manuel Silva