6020 search results - page 976 / 1204 » A New Approach to Model Counting |
202
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
227
click to vote
DILS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
204
click to vote
CPAIOR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
224
click to vote
JAVACARD
2000
15 years 10 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
171
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
A new approach for power analysis of microprocessorshas recently been proposed [1]. The idea is to look at the power consumption in a microprocessor from the point of view of the ...