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.
2018
2018
Analog networks on function data streams
Most of the physical processes arising in nature are modeled by differential equations, either ordinary (example: the spring/mass… 
2018
2018
The water quality of streams located in large urban agglomeration, case study of the SłuŻewiecki Stream
The quality assessment of watercourse, located in a highly urbanized area was the goal of research. The SluŻewiecki Stream, which… 
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… 
2012
2012
Sediment dynamics in a sand bed stream with riparian vegetation
The characteristic bed morphology of streams results from the action of various sediment fluxes. Sediment fluxes are difficult to… 
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… 
2005
2005
Crystal Structure of the D 94 S / G 98 E Variant of Rat R-Parvalbumin . An Explanation for the Reduced Divalent Ion Affinity †
Simultaneous replacement of Asp-94 with serine and Gly-98 with glutamate in rat R-parvalbumin creates a CD-site ligand array in… 
2005
2005
Functional characteristics of wilderness streams twenty years following wildfire
We compared functional attributes of streams draining catchments burned by wildfire 20 years previously to those of streams in… 
2005
2005
Complete Testing from a Stream X-Machine Specification
One of the strengths of using a stream X-machine to specify a system is that, under certain well defined conditions, it is… 
2001
2001
The geomorphology of palaeo-ice streams : identification, characterisation and implications for ice stream functioning
Ice streams are the dominant drainage pathways of contemporary ice sheets and their location and behaviour are viewed as key… 
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)