334 search results - page 42 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
107
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The paper proposes two automatic voltage controllers for the South Korean power system. Simulation results from detailed Korean power-flow models show that the controllers can pro...
145
Voted
GLVLSI
2008
IEEE
15 years 5 months ago
2008
IEEE
The main contribution of this work is an analytical model for finding the upper bound on the temperature difference among various locations on the die. The proposed model can be u...
158
click to vote
PAMI
2002
15 years 3 months ago
2002
The product of experts learning procedure [1] can discover a set of stochastic binary features that constitute a nonlinear generative model of handwritten images of digits. The qua...
118
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
128
click to vote
JMLR
2010
14 years 10 months ago
2010
Virtually all methods of learning dynamic systems from data start from the same basic assumption: the learning algorithm will be given a sequence of data generated from the dynami...