6129 search results - page 849 / 1226 » A parallel LLL algorithm |
215
click to vote
ISORC
2006
IEEE
16 years 1 months ago
2006
IEEE
Service overlays that support distributed stream processing applications are increasingly being deployed in wide-area environments. The inherent heterogeneous, dynamic and large-s...
195
click to vote
APGV
2006
ACM
16 years 1 months ago
2006
ACM
This paper describes a new technique to visualize 2D flow fields with a sparse collection of dots. A cognitive model proposed by Kent Stevens describes how spatially local con...
188
click to vote
CSFW
2005
IEEE
16 years 1 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
185
click to vote
FCCM
2005
IEEE
16 years 1 months ago
2005
IEEE
In many image processing applications, fast convolution of an image with a large 2D filter is required. Field Programable Gate Arrays (FPGAs) are often used to achieve this goal ...
172
click to vote
ICDCSW
2005
IEEE
16 years 1 months ago
2005
IEEE
The decoupling of producers and consumers in the publish/subscribe paradigm lends itself well to the support of mobile users who roam about the environment with intermittent netwo...