2020 search results - page 282 / 404 » Scalable Instruction-Level Parallelism. |
195
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
State-of-the-art molecular dynamics (MD) simulations generate massive datasets involving billion-vertex chemical bond networks, which makes data mining based on graph algorithms s...
144
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
182
click to vote
FGCS
2006
15 years 6 months ago
2006
The hypre software library is being developed with the aim of providing scalable solvers for the solution of large, sparse linear systems on massively parallel computers. To this e...
132
click to vote
TROB
2008
15 years 6 months ago
2008
The exquisite tactile sensing ability of biological whiskers has recently increasing interest in constructing robotic versions with similar capabilities. Tactile extraction of thre...
152
click to vote
TVLSI
2008
15 years 6 months ago
2008
This paper describes a reconfigurable architecture based on field-programmable gate-array (FPGA) technology for monitoring and analyzing network traffic at increasingly high networ...