3342 search results - page 211 / 669 » Symbolic Robustness Analysis |
185
click to vote
JMIV
2006
15 years 6 months ago
2006
In image motion analysis as well as for several application fields like daily pluviometry data modeling, observations contain two components of different nature. A first part is ma...
168
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
244
click to vote
CCE
2011
15 years 1 months ago
2011
The robustness of a system is a property that pervades all aspects of Nature. The ability of a system to adapt itself to perturbations due to internal and external agents, to agin...
166
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...
174
click to vote
TREC
2003
15 years 7 months ago
2003
Our participation in TREC 2003 aims to adapt the use of the DFR (Divergence From Randomness) models with Query Expansion (QE) to the robust track and the topic distillation task o...