Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Communicating X-MachineComputational biologyComputational economicsFunctional testing

Broader (1)

Theory of computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Clustering of robotic environment using image data stream
Mobile robots are being used in various applications like space shuttles, intelligent home security, military applications or… 
2013
2013
Scale-up graph processing: a storage-centric view
The determinant of performance in scale-up graph processing on a single system is the speed at which the graph can be fetched… 
2012
2012
Temperature dynamics of a proglacial stream: Identifying dominant energy balance components and inferring spatially integrated hydraulic geometry
Proglacial fields typically have complex topography and heterogeneous sediments, resulting in highly variable flow and… 
2012
2012
The seismic signatures of the surge wave from the 2009 Xiaolin landslide‐dam breach in Taiwan
The catastrophic Xiaolin landslide occurred on 9 August 2009, after Typhoon Morakot struck Taiwan. This landslide formed a dam… 
2008
2008
Testing BPEL with Stream X-Machine
To generate test cases for the unit testing of business process written in BPEL, developers have to prepare input data for the… 
2008
2008
Automatic Test Case Generation for BPEL Using Stream X-Machine
To generate test cases for the unit testing of business process written in BPEL, developers have to prepare input data for the… 
2004
2004
Complete deterministic stream X-machine testing
Abstract.One of the strengths of using stream X-machines to specify a system is that, under certain well defined conditions, it… 
Highly Cited
2003
Highly Cited
2003
Response of subglacial sediments to basal freeze-on. 2. Application in numerical modeling of the recent stoppage of Ice Stream C, West Antarctica
[1] Ross ice streams supply over 90% of the ice volume flowing out of the Ross sector of the West Antarctic ice sheet (WAIS… 
2002
2002
Testing Conditions for Communicating Stream X-machine Systems
Abstract. X-machines were proposed by Holcombe as a possible specification language and since then a number of further… 
Highly Cited
1996
Highly Cited
1996
The metabolism of organic matter in the hyporheic zone of a mountain stream, and its spatial distribution
Community respiration in hyporheic sediments (HCR) was studied in a characteristic riffle-pool-sequence of a mountain stream. HCR… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)