3902 search results - page 350 / 781 » Hardware Synthesis from C C Models |
168
click to vote
EMNLP
2010
15 years 4 months ago
2010
Syntax-based translation models should in principle be efficient with polynomially-sized search space, but in practice they are often embarassingly slow, partly due to the cost of...
177
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Attackers take advantage of any security breach to penetrate an organisation perimeter and exploit hosts as stepping stones to reach valuable assets, deeper in the network. The exp...
187
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
–In this paper we present an analytical model for delay tolerant message propagation in a dynamic vehicular network. The analysis provides upper and lower bounds for message prop...
154
click to vote
APGV
2005
ACM
16 years 9 days ago
2005
ACM
How different are two images when viewed by a human observer? Such knowledge is needed in many situations including when one has to judge the degree to which a graphics representa...
176
click to vote
CSFW
1998
IEEE
15 years 11 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....