460 search results - page 53 / 92 » RTL-Datapath Verification using Integer Linear Programming |
110
click to vote
VLSID
2007
IEEE
16 years 1 months ago
2007
IEEE
We introduce a novel method of test generation for microprocessors at the RTL using spectral methods. Test vectors are generated for RTL faults, which are the stuck-at faults on i...
105
click to vote
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
This paper proposes several operational approaches for solving fair allocation problems in the context of multiagent optimization. These problems arise in various contexts such as ...
TC
2002
15 years 11 days ago
2002
We present novel grid coverage strategies for effective surveillance and target location in distributed sensor networks. We represent the sensor field as a grid (two or three-dimen...
115
click to vote
SPEECH
2010
14 years 7 months ago
2010
act 11 We analyze and compare two different methods for unsupervised extractive spontaneous speech summarization in the meeting 12 domain. Based on utterance comparison, we introdu...
124
click to vote
ORL
2006
15 years 20 days ago
2006
The strategic safety stock placement problem is a constrained separable concave minimization problem and so is solvable, in principle, as a sequence of mixed-integer programming p...