6894 search results - page 1106 / 1379 » Generation Problems |
138
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
This paper tackles the problem of providing correct information about program variable values in a software-pipelined loop through a non-transparent debugging approach. Since mode...
147
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- This study points out some weaknesses of existing Quantum-Inspired Evolutionary Algorithms (QEA) and explains in particular how hitchhiking phenomenons can slow down the...
159
click to vote
DASFAA
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we address the problems of adaptive schema mappings between different peers in peer-to-peer network and searching for interesting data residing at different peers ba...
172
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
187
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
—Discrete gate sizing is one of the most commonly used, flexible, and powerful techniques for digital circuit optimization. The underlying problem has been proven to be NP-hard ...