164 search results - page 19 / 33 » Implementation of a SliM Array Processor |
CAV
2003
Springer
14 years 18 days ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
FPGA
2010
ACM
13 years 10 months ago
2010
ACM
Various multimedia communication systems based on 3DAudio algorithms have been proposed by researchers from the acoustic data processing domain. However, all systems reported in t...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Diffusion Tensor Imaging (DTI) tractography in Magnetic Resonance Imaging (MRI) is a computationally intensive procedure, requiring on the order of tens of minutes to complete tr...
ISCA
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper describes the radix-64 folded-Clos network of the Cray BlackWidow scalable vector multiprocessor. We describe the BlackWidow network which scales to 32K processors with...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
In this work we consider battery powered portable systems which either have Field Programmable Gate Arrays (FPGA) or voltage and frequency scalable processors as their main proces...