Sciweavers

8978 search results - page 1378 / 1796
» Parallel Genetic Algorithms
Sort
View
FPL
2007
Springer
142views Hardware» more  FPL 2007»
16 years 1 months ago
DWARV: DelftWorkBench Automated Reconfigurable VHDL Generator
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...
Yana Yankova, Koen Bertels, Georgi Kuzmanov, Georg...
LPAR
2007
Springer
16 years 1 months ago
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
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...
Roberto Maieli
PPAM
2007
Springer
16 years 1 months ago
Applying SIMD Approach to Whole Genome Comparison on Commodity Hardware
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...
Arpith C. Jacob, Marcin Paprzycki, Maria Ganzha, S...
SPIN
2007
Springer
16 years 1 months ago
Scalable Multi-core LTL Model-Checking
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...
Jiri Barnat, Lubos Brim, Petr Rockai
ICDCSW
2006
IEEE
16 years 28 days ago
On the Use of Nodes with Controllable Mobility for Conserving Power in MANETs
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...
Eashwar R. Chittimalla, Aravindhan Venkateswaran, ...
« Prev « First page 1378 / 1796 Last » Next »