2214 search results - page 304 / 443 » Complexity of Reasoning |
151
click to vote
CEC
2008
IEEE
15 years 10 months ago
2008
IEEE
—Ant Colony Optimization (ACO) algorithm is a novel meta-heuristic algorithm for the approximate solution of combinatorial optimization problems that has been inspired by the for...
182
click to vote
FCCM
2008
IEEE
15 years 10 months ago
2008
IEEE
With a multitude of technological innovations, one emerging trend in image processing, and medical image processing, in particular, is custom hardware implementation of computatio...
124
click to vote
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
Given the complexity of parallel programs, developers often must rely on performance analysis tools to help them improve the performance of their code. While many tools support th...
119
Voted
SBACPAD
2008
IEEE
15 years 9 months ago
2008
IEEE
Numerous studies have shown that Operating System (OS) noise is one of the reasons for significant performance degradation in clustered architectures. Although many studies exami...
128
Voted
TOOLS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...