780 search results - page 10 / 156 » Compositional Quantitative Reasoning |
142
click to vote
QEST
2010
IEEE
15 years 5 days ago
2010
IEEE
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
99
Voted
AISC
2004
Springer
15 years 7 months ago
2004
Springer
Qualitative Reasoning is characterised by making knowledge explicit in order to arrive at efficient reasoning techniques. It contrasts with often intractable quantitative models. W...
90
Voted
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
144
click to vote
COMPOS
1997
Springer
15 years 6 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...