Sciweavers

12265 search results - page 110 / 2453
» Knuth-Morris-Pratt Algorithm: An Analysis
Sort
View
CRYPTO
2007
Springer
102views Cryptology» more  CRYPTO 2007»
15 years 10 months ago
Improved Analysis of Kannan's Shortest Lattice Vector Algorithm
Guillaume Hanrot, Damien Stehlé
FMCAD
2007
Springer
15 years 10 months ago
Algorithmic Analysis of Piecewise FIFO Systems
Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Ri...
SAFECOMP
2007
Springer
15 years 10 months ago
Formal Specification and Analysis of AFDX Redundancy Management Algorithms
Jan Täubrich, Reinhard von Hanxleden