22 search results - page 5 / 5 » Mixed data and task parallelism with HPF and PVM |
HYBRID
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
ERSA
2007
13 years 7 months ago
2007
- Even though state-of-the-art FPGAs present new opportunities in exploring low-cost high-performance architectures for floating-point scientific applications, they also pose serio...