3820 search results - page 424 / 764 » Bounded Model Debugging |
127
Voted
PET
2009
Springer
15 years 10 months ago
2009
Springer
There exist well established models for anonymity focusing on traffic analysis, i. e., analysing properties of single messages as, e. g., timing. However there is only little work ...
134
click to vote
RR
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
112
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
In response to the increasing variations in integrated-circuit manufacturing, the current trend is to create designs that take these variations into account statistically. In this...
129
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— Modeling robot motion planning with uncertainty in a Bayesian framework leads to a computationally intractable stochastic control problem. We seek hypotheses that can justify a...
162
click to vote
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...