6437 search results - page 882 / 1288 » Parallel Algorithms for Arrangements |
228
click to vote
EUROGP
2007
Springer
16 years 29 days ago
2007
Springer
As is typical in evolutionary algorithms, fitness evaluation in GP takes the majority of the computational effort. In this paper we demonstrate the use of the Graphics Processing...
144
click to vote
FPL
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we present the DWARV C-to-VHDL generation toolset. The toolset provides support for broad range of application domains. It exploits the operation parallelism, avail...
226
click to vote
LPAR
2007
Springer
16 years 28 days ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
171
click to vote
PPAM
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Whole genome comparison compares (aligns) two genome sequences assuming that analogous characteristics may be found. In this paper, we present an SIMD version of the Smit...
166
click to vote
SPIN
2007
Springer
16 years 27 days ago
2007
Springer
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...