8125 search results - page 1224 / 1625 » Parallelism and evolutionary algorithms |
143
click to vote
FPL
2007
Springer
16 years 28 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...
225
click to vote
LPAR
2007
Springer
16 years 27 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 26 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...
164
Voted
SPIN
2007
Springer
16 years 26 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...
166
click to vote
ICDCSW
2006
IEEE
16 years 24 days ago
2006
IEEE
We explore the idea of using relay nodes with controllable mobility as intermediate hops for reducing the power consumption in a mobile ad hoc network (MANET). We formulate the re...