242 search results - page 18 / 49 » Using Abstract State Machines at Microsoft: A Case Study |
144
Voted
SOSP
2003
ACM
16 years 12 days 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 ...
123
click to vote
ICTAC
2009
Springer
15 years 8 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...
122
Voted
DSD
2003
IEEE
15 years 8 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...
148
click to vote
CLOUD
2010
ACM
15 years 8 months 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...
207
Voted
KESAMSTA
2011
Springer
14 years 6 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...