8125 search results - page 1245 / 1625 » Parallelism and evolutionary algorithms |
174
click to vote
CSFW
2005
IEEE
16 years 10 days 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 ...
161
click to vote
FCCM
2005
IEEE
16 years 10 days 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 ...
157
click to vote
ICDCSW
2005
IEEE
16 years 10 days 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...
196
click to vote
ISCAS
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract— 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...
171
click to vote
SKG
2005
IEEE
16 years 9 days ago
2005
IEEE
Most existing Peer-to-peer (P2P) systems support only title-based searches, which can not satisfy the content searches. In this paper, we proposed a semantic correlativity model wh...