662 search results - page 82 / 133 » Model Checking Procedures for Infinite State Systems |
128
click to vote
NIPS
1998
15 years 4 months ago
1998
The Expectation Maximization EM algorithm is an iterative procedure for maximum likelihood parameter estimation from data sets with missing or hidden variables 2 . It has been app...
140
click to vote
ECBS
2007
IEEE
15 years 6 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
105
click to vote
IEEEARES
2006
IEEE
15 years 9 months ago
2006
IEEE
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...
129
click to vote
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
107
Voted
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...