5855 search results - page 960 / 1171 » Test generation and minimization with |
CASES
2007
ACM
15 years 5 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...
CEC
2007
IEEE
15 years 5 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...
122
Voted
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present the design and implementation of a new inexact Newton type algorithm for solving large-scale bundle adjustment problems with tens of thousands of images. We ex...
117
click to vote
CAV
2010
Springer
15 years 5 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...
132
click to vote
ICCAD
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper addresses the design of multi-mode architectures for digital signal processing applications. We present a dedicated design flow and its associated high-level synthesis t...