Sciweavers

3838 search results - page 182 / 768
» Techniques for Optimization of Net Algorithms
Sort
View
DATE
2008
IEEE
142views Hardware» more  DATE 2008»
15 years 5 months ago
Algorithms for Maximum Satisfiability using Unsatisfiable Cores
Many decision and optimization problems in Electronic Design Automation (EDA) can be solved with Boolean Satisfiability (SAT). Moreover, well-known extensions of SAT also find app...
João Marques-Silva, Jordi Planes
CCS
2006
ACM
15 years 6 months ago
Dynamic rule-ordering optimization for high-speed firewall filtering
Packet filtering plays a critical role in many of the current high speed network technologies such as firewalls and IPSec devices. The optimization of firewall policies is critica...
Hazem Hamed, Ehab Al-Shaer
ICCD
2001
IEEE
110views Hardware» more  ICCD 2001»
16 years 1 months ago
Low-Energy DSP Code Generation Using a Genetic Algorithm
This paper deals with low-energy code generation for a highly optimized digital signal processor designed for mobile communication applications. We present a genetic algorithm bas...
Markus Lorenz, Rainer Leupers, Peter Marwedel, Tho...
SOCO
2010
Springer
15 years 2 months ago
Automatic circle detection on digital images with an adaptive bacterial foraging algorithm
This article presents an algorithm for the automatic detection of circular shapes from complicated and noisy images without using the conventional Hough transform methods. The prop...
Sambarta Dasgupta, Swagatam Das, Arijit Biswas, Aj...
IROS
2006
IEEE
105views Robotics» more  IROS 2006»
15 years 10 months ago
Combinatorial Optimization of Sensing for Rule-Based Planar Distributed Assembly
Abstract— We describe a model for planar distributed assembly, in which agents move randomly and independently on a twodimensional grid, joining square blocks together to form a ...
Jonathan Kelly, Hong Zhang