1493 search results - page 50 / 299 » Petascale computing with accelerators |
CAV
2006
Springer
14 years 20 days ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
ISBI
2011
IEEE
13 years 18 days ago
2011
IEEE
Much progress has been made in the design of efficient acquisition trajectories for high spatial and temporal resolution in magnetic resonance imaging (MRI). Additionally, signifi...
GECCO
2007
Springer
14 years 24 days ago
2007
Springer
A large and reliable DNA codeword library is key to the success of DNA based computing. Searching for sets of reliable DNA codewords is an NP-hard problem, which can take days on ...
VIS
2004
IEEE
14 years 10 months ago
2004
IEEE
We present a hardware-accelerated adaptive EWA volume splatting algorithm. EWA splatting combines a Gaussian reconstruction kernel with a low-pass image filter for high image qual...
HPCA
2008
IEEE
14 years 9 months ago
2008
IEEE
This paper presents FlexiTaint, a hardware accelerator for dynamic taint propagation. FlexiTaint is implemented as an in-order addition to the back-end of the processor pipeline, ...