Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Stream X-Machine

Known as: SXM, SXM (computational model) 
The Stream X-machine (SXM) is a model of computation introduced by Gilbert Laycock in his 1993 PhD thesis, The Theory and Practice of Specification… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
X-Stream is a system for processing both in-memory and out-of-core graphs on a single shared-memory machine. While retaining the… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
2010
2010
Stream X-machines are a state based formalism that has associated with it a particular development process in which a system is… Expand
  • figure 1
Is this relevant?
2008
2008
To generate test cases for the unit testing of business process written in BPEL, developers have to prepare input data for the… Expand
  • figure 2
  • figure 1
  • figure 4
  • figure 6
  • figure 5
Is this relevant?
2008
2008
To generate test cases for the unit testing of business process written in BPEL, developers have to prepare input data for the… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2004
2004
Abstract.One of the strengths of using stream X-machines to specify a system is that, under certain well defined conditions, it… Expand
  • figure 1
  • figure 2
Is this relevant?
2004
2004
Community respiration in hyporheic sediments (HCR) was studied in a characteristic riffle-pool-sequence of a mountain stream. HCR… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
2003
2003
One approach to formally specifying a system is to use a form of extended finite-state machine called a stream X-machine. A… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2002
2002
Abstract. X-machines were proposed by Holcombe as a possible specification language and since then a number of further… Expand
  • figure 1
  • figure 2
Is this relevant?
2002
2002
The aim of this paper is to show how the P systems with replicated rewriting can be modeled by X-machines (also called Eilenberg… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1999
Highly Cited
1999
A version of the communicating stream X-machine model is proposed, which gives a precise representation of the operation of… Expand
  • figure 3
Is this relevant?