8874 search results - page 113 / 1775 » A New Implementation of Automath |
131
Voted
SACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
The Feedback with Carry Shift Registers (FCSRs) have been proposed as an alternative to Linear Feedback Shift Registers (LFSRs) for the design of stream ciphers. FCSRs have good st...
115
Voted
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
The Boyer-Moore algorithm uses two pre-computed tables for searching a string: skip, which utilizes the occurrence heuristic of symbols in a pattern, and shift, which utilizes the...
117
Voted
AH
2006
Springer
15 years 7 months ago
2006
Springer
Advances in technological support for augmented personal memories make possible new ways of enhancing the process of product recommendation. Instead of simply analyzing information...
134
Voted
ISICT
2003
15 years 5 months ago
2003
Historically, a typical avionics system architecture has been designed as a federated architecture of black-boxes with well-defined functions and implemented on fully dedicated co...
111
Voted
WSC
2004
15 years 5 months ago
2004
Exactly computing network reliability measures is an NPhard problem. Therefore, Monte Carlo simulation has been frequently used by network designers to obtain accurate estimates. ...