1249 search results - page 40 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
112
click to vote
ERSHOV
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...
APIN
1999
14 years 11 months ago
1999
We present a method for mapping a given Bayesian network to a Boltzmann machine architecture, in the sense that the the updating process of the resulting Boltzmann machine model pr...
ICML
2009
IEEE
16 years 18 days ago
2009
IEEE
We propose a new neural network architecture, called Simple Recurrent Temporal-Difference Networks (SR-TDNs), that learns to predict future observations in partially observable en...
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
DSN
2000
IEEE
15 years 4 months ago
2000
IEEE
Distributed applications can fail in subtle ways that depend on the state of multiple parts of a system. This complicates the validation of such systems via fault injection, since...