34170 search results - page 322 / 6834 » Optimization |
131
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a SAT-based approach to the task and message allocation problem of distributed real-time systems with hierarchical architectures. In contrast to the heuristic approache...
122
click to vote
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
We propose a methodology for optimal k-way partitioning with replication of directed hypergraphs via Boolean satisfiability. We begin by leveraging the power of existing and emerg...
135
Voted
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
135
click to vote
AVSS
2005
IEEE
15 years 10 months ago
2005
IEEE
The performance of computer vision systems for measurement, surveillance, reconstruction, gait recognition, and many other applications, depends heavily on the placement of camera...
140
click to vote
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
—In this paper, the performance of dynamic multi-swarm particle swarm optimizer (DMS-PSO) on the set of benchmark functions provided for the CEC2008 Special Session on Large Scal...