Sciweavers

3850 search results - page 532 / 770
» Optimal Linear Broadcast
Sort
View
AE
2005
Springer
16 years 5 days ago
Memetic Algorithms for the MinLA Problem
This paper presents a new Memetic Algorithm designed to compute near optimal solutions for the MinLA problem. It incorporates a highly specialized crossover operator, a fast MinLA ...
Eduardo Rodriguez-Tello, Jin-Kao Hao, Jose Torres-...
ASM
2005
ASM
16 years 4 days ago
State Exploration with Multiple State Groupings
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
Colin Campbell, Margus Veanes
CC
2005
Springer
115views System Software» more  CC 2005»
16 years 4 days ago
Experiences with Enumeration of Integer Projections of Parametric Polytopes
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
Sven Verdoolaege, Kristof Beyls, Maurice Bruynoogh...
FPGA
2005
ACM
174views FPGA» more  FPGA 2005»
16 years 4 days ago
64-bit floating-point FPGA matrix multiplication
We introduce a 64-bit ANSI/IEEE Std 754-1985 floating point design of a hardware matrix multiplier optimized for FPGA implementations. A general block matrix multiplication algor...
Yong Dou, Stamatis Vassiliadis, Georgi Kuzmanov, G...
ISRR
2005
Springer
211views Robotics» more  ISRR 2005»
16 years 3 days ago
Field D*: An Interpolation-Based Path Planner and Replanner
Abstract. We present an interpolation-based planning and replanning algorithm for generating smooth paths through non-uniform cost grids. Most grid-based path planners use discrete...
Dave Ferguson, Anthony Stentz