Sciweavers

6960 search results - page 48 / 1392
» Continuity Analysis of Programs
Sort
View
IFIP
2010
Springer
15 years 25 days ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi
ALGORITHMICA
1998
90views more  ALGORITHMICA 1998»
15 years 5 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
15 years 27 days 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