242 search results - page 18 / 49 » Using Abstract State Machines at Microsoft: A Case Study |
SOSP
2003
ACM
14 years 4 months ago
2003
ACM
Numerous systems have been designed which use virtualization to subdivide the ample resources of a modern computer. Some require specialized hardware, or cannot support commodity ...
ICTAC
2009
Springer
14 years 4 days 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...
DSD
2003
IEEE
14 years 25 days 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...
CLOUD
2010
ACM
14 years 18 days ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
KESAMSTA
2011
Springer
12 years 10 months ago
2011
Springer
Creating modular behaviours in JADE using a traditional method such as the FSM (Finite State Machine) can be a difficult task to achieve. The first issue with FSMs is that they do...