1138 search results - page 196 / 228 » Parallel Implementation of Constraint Solving |
FPL
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Hardware realization of kernel loops holds the promise of accelerating the overall application performance and is therefore an important part of the synthesis process. In...
DAC
2009
ACM
14 years 1 months ago
2009
ACM
Stream processing represents an important class of applications that spans telecommunications, multimedia and the Internet. The implementation of streaming programs in FPGAs has a...
HYBRID
2001
Springer
14 years 1 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...
ASPLOS
1992
ACM
14 years 27 days ago
1992
ACM
The foremost goal of superscalar processor design is to increase performance through the exploitation of instruction-level parallelism (ILP). Previous studies have shown that spec...
BIOADIT
2004
Springer
14 years 16 days ago
2004
Springer
We present a detailed account of the processing that occurs within a biologically-inspired model for visual homing. The Corner Gradient Snapshot Model (CGSM) initially presented in...