1753 search results - page 126 / 351 » State Machines |
144
click to vote
SOSP
2003
ACM
16 years 1 months ago
2003
ACM
We describe a new architecture for Byzantine fault tolerant state machine replication that separates agreement that orders requests from execution that processes requests. This se...
147
click to vote
AAAI
1997
15 years 5 months ago
1997
Many stochastic planning problems can be represented using Markov Decision Processes (MDPs). A difficulty with using these MDP representations is that the common algorithms for so...
151
click to vote
CONNECTION
2004
15 years 4 months ago
2004
In autonomous agent systems, internal memory can be an important element to overcome the limitations of purely reactive agent behaviour. This paper presents an analysis of memory r...
133
click to vote
ICTAC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
132
click to vote
DSD
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper proposes a methodology and a basic structure for the design of wrappers used to adapt cores for use as bus masters. The AMBA AHB protocol is used as a case study in thi...