2583 search results - page 331 / 517 » Compiling for stream processing |
176
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We investigate the bit-search type irregular decimation algorithms that are used within LFSR-based stream ciphers. In particular, we concentrate on BSG and ABSG, and consider two ...
203
click to vote
JALC
2006
15 years 6 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
190
click to vote
PAMI
2008
15 years 6 months ago
2008
The amount of captured video is growing with the increased numbers of video cameras, especially the increase of millions of surveillance cameras that operate 24 hours/day. Since vi...
142
click to vote
CN
1999
15 years 6 months ago
1999
A Partial Order and partial reliable Connection (POC) is an end-to-end transport connection authorized to deliver objects in an order that can differ from the transmitted one. Such...
157
click to vote
JOLLI
2002
15 years 6 months ago
2002
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...