780 search results - page 10 / 156 » Compositional Quantitative Reasoning |
QEST
2010
IEEE
13 years 5 months 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...
AISC
2004
Springer
14 years 23 days 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...
CONCUR
2009
Springer
14 years 1 months ago
2009
Springer
KBSE
2005
IEEE
14 years 28 days ago
2005
IEEE
COMPOS
1997
Springer
13 years 11 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...