1992 search results - page 311 / 399 » Model Based Testing with Labelled Transition Systems |
159
click to vote
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
163
click to vote
SIAMSC
2011
14 years 9 months ago
2011
We develop an algebraic multigrid (AMG) setup scheme based on the bootstrap framework for multiscale scientific computation. Our approach uses a weighted least squares definition...
143
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...
123
click to vote
WSC
1997
15 years 4 months ago
1997
The problem of selecting the best system from a finite set of alternatives is considered from a Bayesian decision-theoretic perspective. The framework presented is quite general,...
180
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
We study the problem of object classification when training
and test classes are disjoint, i.e. no training examples of
the target classes are available. This setup has hardly be...