7992 search results - page 1381 / 1599 » Communication Abstractions for Distributed Systems |
132
click to vote
IJPP
2010
15 years 3 months ago
2010
Abstract. We show how computations such as those involved in American or European-style option price valuations with the explicit finite difference method can be performed in par...
165
click to vote
TCOS
2010
14 years 11 months ago
2010
Abstract. In [24] Raddum and Semaev propose a technique to solve systems of polynomial equations over F2 as occurring in algebraic attacks on block ciphers. This approach is known ...
135
click to vote
TSP
2010
14 years 11 months ago
2010
Abstract--The performance of existing moments-based nondata-aided (NDA) estimators of signal-to-noise ratio (SNR) in digital communication systems substantially degrades with multi...
139
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
132
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
We study the fifo and causal multicast problem, two group-communication abstractions that deliver messages in an order consistent with their context. With fifo multicast, the co...