3820 search results - page 630 / 764 » Bounded Model Debugging |
103
click to vote
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
In the integrity checking context of multimedia contents, a malicious user aims at devising a forged content in order to fool a watermarker by making him use as a genuine content....
130
Voted
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
— We address the problem of placing a sensor network so as to minimize the uncertainty in estimating the position of targets. The novelty of our formulation is in the sensing mod...
112
Voted
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— We consider a mobile ad hoc network consisting of three types of nodes: source, destination, and relay nodes. All the nodes are moving over a bounded region with possibly diffe...
142
Voted
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
137
click to vote
MICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
The superblock is a scheduling region which exposes instruction level parallelism beyond the basic block through speculative execution of instructions. In general, scheduling supe...