114 search results - page 16 / 23 » Factoring large numbers with programmable hardware |
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
ct,. In this paper we study the delay associated with transmission of data through busses. Previous work in this area has presented models for delay assuming a distributed wire mqd...
CHARME
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
We present the results of gravitational direct N-body simulations using the commercial graphics processing units (GPU) NVIDIA Quadro FX1400 and GeForce 8800GTX, and compare the re...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Predicting software quality as perceived by a customer may allow an organization to adjust deployment to meet the quality expectations of its customers, to allocate the appropriat...
MICRO
2008
IEEE
14 years 2 months ago
2008
IEEE
Higher level of resource integration and the addition of new features in modern multi-processors put a significant pressure on their verification. Although a large amount of res...