1249 search results - page 40 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
ERSHOV
2009
Springer
14 years 2 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
13 years 7 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
14 years 8 months 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
14 years 1 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
14 years 4 days 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...