8874 search results - page 283 / 1775 » A New Implementation of Automath |
152
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper we present algorithmic and architectural methodology for building Particle Filters in hardware. Particle filtering is a new paradigm for filtering in presence of n...
160
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
Prior work has shown dramatic acceleration for various database operations on GPUs, but only using primitives that are not part of conventional database languages such as SQL. Thi...
161
click to vote
ARITH
2009
IEEE
16 years 1 months ago
2009
IEEE
Interest in decimal arithmetic increased considerably in recent years. This paper presents new designs for decimal floating point (DFP) addition, multiplication, fused multiplyad...
148
click to vote
ARC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents implementation results of a reconfigurable elliptic curve processor defined over prime fields GF(p). We use this processor to compare a new algorit...
165
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—The Host Identity Protocol (HIP) has been specified by the IETF as a new solution for secure host mobility and multihoming in the Internet. HIP uses self-certifying publicpriva...