604 search results - page 58 / 121 » Efficient Computation of Multiplicative Inverses for Cryptog... |
SIGMOD
2004
ACM
14 years 9 months ago
2004
ACM
We present new algorithms on commodity graphics processors to perform fast computation of several common database operations. Specifically, we consider operations such as conjunct...
GG
2010
Springer
13 years 10 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
SIROCCO
2000
13 years 10 months ago
2000
ABSTRACT: This work considers the problem of performing a set of N tasks on a set of P cooperating message-passing processors (P N). The processors use a group communication servi...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Many techniques have been proposed to scale web applications. However, the data interdependencies between the database queries and transactions issued by the applications limit th...
TIP
2008
13 years 8 months ago
2008
We introduce a novel synthetic-aperture imaging method for radar systems that rely on sources of opportunity. We consider receivers that fly along arbitrary, but known, flight traj...